测试选择准则代数中的计算
软件工程
2016-08-31 v1
摘要
测试中的关键概念之一是充分测试集。测试选择准则决定哪些测试集是充分的。本文开发了一种用于指定一大类测试选择准则的语言模式；该模式基于从简单准则构建复杂准则的两种运算。推导了这两种运算的基本代数性质。在论文第二部分，详细研究了一种简单语言——通用模式的一个实例，目标是自动生成小型充分测试集。表明该问题的一个版本是难处理的，而另一个版本可由高效算法求解。描述了该算法的实现。
引用
@article{arxiv.cs/9912018,
title = {Computation in an algebra of test selection criteria},
author = {Jan Pachl and Shmuel Zaks},
journal= {arXiv preprint arXiv:cs/9912018},
year = {2016}
}
备注
Unpublished paper dated May 12, 1993. 37 pages, LaTeX