21世纪是一个信息高速发展的时代，信息技术日益发达，信息产业空前繁荣，同时，信息安全问题也层出不穷。近年来，随着计算模式的多样化以及应用环境的复杂化，软件的可信性成为人们广泛关注的问题。由于软件自身存在的设计缺陷或来自软件外部的恶意攻击可能导致软件产生故障，最终给人们的学习、工作和生活带来消极影响甚至造成巨大损失。因此，对软件的可信性研究具有重要意义。软件可信评估已成为信息安全领域研究的一个热点问题，本文在充分体现软件运行过程的基础上，提出了一种基于马尔可夫的软件可信评估模型。如果软件运行时可以满足两个条件，即按照预期的计划运行和达到设定的目标，那么认为此时该软件是可信的。软件可信性能够从软件行为上反映出来，具体的说，软件的执行过程就是程序从开始到结束的运行过程，软件行为可信体现在程序的运行过程符合预期的计划和目标。本文通过将若干检查点织入软件行为轨迹中来反映软件运行的行为表现，然后对检查点可信程度进行等级划分，通过马尔可夫模型反映检查点可信情况，并根据软件运行情况对检查点进行权重的界定，最后综合每个检查点的可信情况反映软件整体的可信性。仿真实验结果表明，该模型能够有效反映软件中各部分的可信情况，验证了模型的合理性和有效性。