规范导出法

Benjamin

在设计测试用例时有一个规范导出法，请问什么是规范导出法？我没有查到

郝宁

规范导出法

规范导出的测试是根据相关的规范描述来设计测试用例的。每一个测试用例用来测试一个或多个规范陈述语句。一个比较实际的方法，是根据陈述规范所用语句的顺序来相应的为被测单元设计测试用例。例如，考虑一个计算平方根的规范：

输入：实数

输出：实数

规范：当输入一个0或比0 大的数，返回其正的平方根；当输入一个小于0的数时，显示错误信息“平方根非法”，返回0；库函数Print_Line可以输出错误信息。

这个规范可以用以下两个测试用例来对应：

测试用例1：输入4，输出2。

测试用例2：输入-1，输出0。