郭晓天, 绳伟光, 毛志刚. 基于目标可信性的可信软件测试过程[J]. 微电子学与计算机, 2015, 32(7): 46-49. DOI: 10.19304/j.cnki.issn1000-7180.2015.07.011
引用本文: 郭晓天, 绳伟光, 毛志刚. 基于目标可信性的可信软件测试过程[J]. 微电子学与计算机, 2015, 32(7): 46-49. DOI: 10.19304/j.cnki.issn1000-7180.2015.07.011
GUO Xiao-tian, SHENG Wei-guang, MAO Zhi-gang. Software Testing Process Based on Trustworthiness Target Model[J]. Microelectronics & Computer, 2015, 32(7): 46-49. DOI: 10.19304/j.cnki.issn1000-7180.2015.07.011
Citation: GUO Xiao-tian, SHENG Wei-guang, MAO Zhi-gang. Software Testing Process Based on Trustworthiness Target Model[J]. Microelectronics & Computer, 2015, 32(7): 46-49. DOI: 10.19304/j.cnki.issn1000-7180.2015.07.011

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

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.

     

/

返回文章
返回