基于模型的若干逻辑边界覆盖测试准则

摘要：

鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则.结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况.

关键词：软件测试、测试准则、逻辑表达式、边界测试、测试用例

所属期刊栏目：40

分类号：J(艺术)

资助基金：国家自然科学基金项目71271191

在线出版日期：2014-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：109-114