可信软件分析与测试研究进展

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

（ｃｏｌｆＣｍｕｅＳｉｃＳｈｏｏｏｐｔｃｎｅ＆ＴｌｏｎｃｔｎＥｇｎｅｉＪａｇｕＵｉｒｔ，ｈｎｉｎｉｎｓ１０３ｈｎ）ｒｅｅＣｍｍｕｉｉｎｉｅｒｇ，ｉｎｓｎｖｓｙＺｅｊｇＪａｇｕ２２１，Ｃｉａｅａｏｎｅｉａ
Ｒｅｅｒｈｏｒｓｗｃｔｙｓｆｗａｅａａｙｉｎｅｔｎｓａｃｎｔｕｔｒｈｏｔｒｎｌｓｓａｄｔｓｉｇ
—
ＷＡＮＨｕｎｈａＺＧａ —ｕｎ，ＨＡＮＹｏｇｚａ，ＣＮＪｎｆｎ－ｈｏＨＥｉ — ｕ
赖。然而，软件的生产现状并不令人十分满意。Ｃａｓ的报ｈｏ告… 对美国８８０个软件项目的统计中，３仅有１％的项目按时６
扰的环境下仍能提供连续服务。广义地讲，件可信性包Ｊ软
含的特征属性有可用性（ｖｉｂｌｙ、ａａａｉｔ）可靠性（ｅａｉｔ）安ｌｉｒｌｂｌｙ、ｉｉ全性（ｅｕｔ）可维护（ａｔｉａｉｔ）完整性（ｎｅｒｙ等。ｓｃｒｙ、ｉｍｉａｂｉ、ｎｎｌｙｉｔｉ）ｇｔ
展望。
关键词：可信软件；可信软件特征；软件分析；软件测试；验证
中图分类号：Ｔ３１５Ｐ１．文献标志码：Ａ文章编号：１０ —６５２１）７２０－６０１３９（０１０ — ４１０
ｄｉ１．９９ｊｉｓ．０１３９．０１０．０ｏ：０３６／．ｓｎ１０ —６５２１．７０１
ｔｙｓｆｒ．ａｙｉｍｅｈｄ，ｅｔｇｔｃｎｌｇｅｎｅｔｔｐｆｒｓｗｒｏｔｒｅｅｓｍｍａｚｄａｄｃｍｐｒｔｅｙａ — ｈｏｔｅＡｎｌｓｔｏｓｔｓｎｈｏｏｉｓａｄｔｓｓｅｓｕｔｏｔｓｆｗａｓｉｅｏｔｙｗａｅｗｒｕｉｒｅｎｏａａｉｌｎｖａｙｅａｄｐｉｔｄｏｔｔｅａｖｎａｅｎｉｄａｇｓｏｈｏｔｒｅｔＴｅｒｐｓｄｔｅｖｒｃｔｎｍｅｈｄ．ｉａｌｌｚｄ，ｎｏｎｅｕｈｄａｔｇｓａｄｄｓｖｎｅｆｔｅｓｆａｗａｅｎｘ．ｈｎｐｏｏｅｈｅｆａｉｔｏｓＦｎｌｉｉｏｙ，ｓｍｍａｉｅｏｃｕｉｎｎｔｒｅｅｒｈｗｒｎｕｏｋｄｔｅｒｓａｃｒｓｅｔｏｅｔｓｏｔｏｔａｅａａｙｉｎｕｒｄｃｎｌｓｏｓａｄｆｕｅｒｓａｃｏｋａｄｏｆｏｅｈｅｅｒｈｐｏｐｃｓｆｔｍｔｒｙｓｆｒｎｌｓｓａｄｚｕｌｈｗｗ
件系统的运行行为及其结果总是符合人们的预期结果，在受干
０引言
在信息社会中随着计算机应用的不断发展，软件已渗透到国民经济和国防建设的各个领域，同时也发挥着不可替代的重要作用。一方面，软件为人们提供了新的生活和新的工作方式，并且正在逐步成为信息基础设施的关键部分；另一方面，软件不仅在逐步代替传统硬件和物理设备的地位，而且在系统中担任了重要的集成作用的角色。所以人们对软件也越来越依
ｔｓｉ．ｅｔｎｇ
Ｋｅｒｓｔｓｄｓｆａｅｒｓｅｏｔｒｈｒｃｅｉｉｓｏｔｒｎｌｓ；ｓｆｒｅｔｅｆａｉｎｙｗｏｄ：ｒｔｏｔｒ；ｔｔｄｓｆｕｅｗｕｗａｅｃａａｔｒｓｃ；ｓｆｔｗａｅａａｙｉｓｏｔｅｔｓ；ｖｒｃｔｗａｉｉｏ
第２卷第７８期
２１０１年７月
计算机应用研究
ＡｐｌａｉｎＲｅｅｒｈｏｍｐｔｒｐｉｔｓａｃｆＣｏｕｅｓｃｏ
Ｖ１２．ｏ．８Ｎｏ７
Ｊ１０ｌｕ．２１
ቤተ መጻሕፍቲ ባይዱ
可信软件分析与测试研究进展术
Ａｓａｔｓｈａｂｃｉｒａｉｉｔｐｏｌ，ｉｐｐｒｒｌｄｓｒｅｅｖａｈｒｃｒｔｓｆｈｕｔｏ— ｂｔｃ：Ａｅｍｉｏｊｔｅｅｄｂｌｙｒｂｅｔｓａｅｆｓｙｅｃｉｄｔｅｍｉｃａａｔｓｃｅｒｓｒｒｔｎｅｖｃｉｍｓｈｔｉｂｈｆｉｎｅｉｏｔｔｗｉ
王环环，詹永照，陈锦富
（江苏大学计算机科学与通信工程学院，江苏镇江２２１）１０３
摘要：以软件可信性问题为主攻目标，首先阐述了可信软件的五大主要特征，出了可信软件分析方法、给测试
方法和步骤，并总结了各个方法的缺点，重点对可信软件测试方法进行了分类总结和对比分析，同时给出了相应方法的测试工具；次论述了可信软件的验证方法；其最后进行了总结，并对今后可信软件分析和测试研究作出了