基于目标可信性的可信软件测试过程

• 作者: 毛志刚 绳伟光 郭晓天
• 来源期刊: 微电子学与计算机
• 关键词: 软件测试过程 可信软件 形式化方法 测试需求分析
• 年，卷（期）: 2015,（7）
• 页码范围: 46-49
• 页数: 4页
• 分类号: TN4
• 语种: 中文

摘要

为满足不同软件的可信度需求，提高软件测试过程效率和准确性，提出了一种基于软件目标可信度模型的软件测试过程管理框架。对软件目标可信度进行建模，在此基础上采用形式化方法对软件测试需求进行分析，以需求为出发点来管理软件测试过程。实验结果证明了该框架比之一般过程更加有效。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛志刚	上海交通大学电子信息学院微纳电子学系	82	249	9.0	12.0
2	绳伟光	上海交通大学电子信息学院微纳电子学系	14	80	3.0	8.0
3	郭晓天	上海交通大学电子信息学院微纳电子学系	1	6	1.0	1.0