软件体系结构测试覆盖准则研究

• 作者: 叶俊民 王振宇 罗景 赵恒 赵良
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件体系结构 测试覆盖准则 形式化测试
• 年，卷（期）: 2005,（22）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 107-109
• 页数: 3页
• 分类号: TP311.56
• 字数: 3612字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.22.037

摘要

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题.SA层的测试是软件测试领域的热点和难点.在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具.这一结论是进一步研究SA测试的基础.