【摘要】在安全领域,软件完整性提供了一个不同于以往的角度对软件当前的运行状态进行评估。软件完整性代表着软件的可信赖程度(trustworthiness)。而软件从文件系统上载入到内存时,软件程序文件的完整代表软件的初始运行状态是可信赖的,而在软件的运行中,如何将这种信赖传递下去,是目前研究的一大挑战。一般的认为,在运行状态下的软件完整性包含两部.分：(1)软件的运行状态的完整；(2)软件的控制流的 […]

【摘要】随着计算机应用的快速发展,软件已经渗透到各行各业,人们高度关注软件的正确性、可靠性、安全性、完整性、可用性等可信性质。而并发程序的出现,使其对正确性测试越发的困难,由于并发程序运行时的不确定性,很难检测到错误；许多并发错误到了用户使用阶段才被发现,再修复这些错误需要付出昂贵的费用。并发正确性测试是可信软件测试过程中最重要的一部分,如何检测出并发错误并采取有效的措施来保证可信软件的并发正确性 […]

【摘要】可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可信性是实现可信软件生产及演化的一个有效途径。在软件过程建模领域,软件演化过程建模方法已经有效地解决了软件开发及演化的通用流程架构,是一种提高软件开发与演化质量以及效率的重要 […]

【摘要】摘要：计算机的广泛应用及网络技术的飞速发展,软件已经渗透到国民经济乃至国防建设的各个领域,成为影响人们生产、生活的重要组成部分。随着软件规模的日益增大,复杂程度越来越高,软件的风险也变得越来越难以控制,各种由于软件缺陷或故障所引起的事件频繁发生。发展高可信软件,已经成为当前国际软件技术发展的战略制高点,引起了全社会的普遍关注。基于多维质量属性的可信软件评价是实现软件可信、开展可信软件管理的 […]