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

• 作者: 王环环 詹永照 陈锦富
• 来源期刊: 计算机应用研究
• 关键词: 可信软件 可信软件特征 软件分析 软件测试 验证
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 综述评论
• 页码范围: 2401-2406,2423
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.07.001

摘要

以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	詹永照	江苏大学计算机科学与通信工程学院	189	1744	21.0	31.0
2	陈锦富	江苏大学计算机科学与通信工程学院	17	78	4.0	8.0
3	王环环	江苏大学计算机科学与通信工程学院	3	32	3.0	3.0