10.3969/j.issn.1000-3428.2005.22.037
软件体系结构测试覆盖准则研究
基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题.SA层的测试是软件测试领域的热点和难点.在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具.这一结论是进一步研究SA测试的基础.
软件体系结构、测试覆盖准则、形式化测试
31
TP311.56(计算技术、计算机技术)
国防科技预研基金;国家重点实验室基金SKL4020
2006-01-19(万方平台首次上网日期,不代表论文的发表时间)
共3页
107-109