基于目标可信性的可信软件测试过程
Software Testing Process Based on Trustworthiness Target Model
-
摘要: 为满足不同软件的可信度需求,提高软件测试过程效率和准确性,提出了一种基于软件目标可信度模型的软件测试过程管理框架.对软件目标可信度进行建模,在此基础上采用形式化方法对软件测试需求进行分析,以需求为出发点来管理软件测试过程.实验结果证明了该框架比之一般过程更加有效.Abstract: In order to satisfy different trustworthy requirements of different software and to improve the efficiency and accuracy of software test process. This paper proposed a framework of software test process based on software target trustworthiness model. Formal method is used to analysis software testing requirement. A software target trustworthiness model is built according to the requirement. Software testing process management framework is built with requirement as the starting point. The experimental results proved the effectiveness of the framework.