软件是信息产业的灵魂,随着人们对功能需求的提高,软件系统的规模日趋庞大,缺陷和漏洞难以避免。软件的可信性是指软件系统的动态行为及结果总是符合预期目标,能适应一定环境和需求因素的变化,具有抵御异常情况的能力,不受偶然的或恶意的原因而破坏,以至遭遇外界干扰时系统仍然能够保持安全可靠地运行,信息服务不中断。然而,由于软件时常发生故障或失效,给人们的工作和生活带来不便,甚至造成巨大的经济损失。准确地评价软件是否可信是软件系统推广应用的先决条件。软件的可信性主要表现在行为可信上,即运行行为可监测、行为结果可评估、异常行为可控制。目前,软件可信性的评价只限于静态流的度量,并不能保证软件在实际运行也具有同样的可信性。由于可信性度量及其评价方法存在严重的缺陷,使得软件产品含有一些已知的或未知的缺陷。为了评价一个软件的可信性,必须对软件的运行行为进行监测和形式化描述,通过行为信息的细微变化来判别软件是否是可信的。为了更加准确地评价软件行为的可信性,本文提出了一种基于行为属性距离的软件行为可信评价方法。首先利用传感器实时地监测软件的运行,对监测到的行为信息进行形式化表示,分别获取软件的预期行为轨迹和实际行为轨迹。然后利用软件属性的概念描述软件行为轨迹,同时对轨迹中节点的属性进行量化处理。通过由定点评价、纵向评价及横向评价组成的评价流程依据行为属性距离对软件的实际行为轨迹和预期行为轨迹进行一致性评价,由此判定软件行为的可信性。最后,通过仿真实验对该评价方法的效率和准确性进行了验证。