什么是“规范导出法”？

yg_82

在性能测试设计测试用例的时候有种方法叫“规范导出法”，这是种什么方法，我在google上怎么搜不到？
望高手指点一下。谢谢

yg_82

根据相应的规范描述来设计测试用例。每个测试用例被用来测试一个或多个规范陈述句。基本上是根据陈述规范所用语句的顺序来相应地为被测断垣设计测试用例。
这个方法在用例和规范陈述之间做到了很好的对应。加强了规范的可读性和可维护性。
是一种正向的测试技术，需要逆向的测试技术对测试用例进行补充。
当规范中的某种情形需要不同的处理的时候，每个陈述句可能需要多个用例

yg_82

例子: 计算平方根的函数的规范（1）
输入：实数；输出：实数
规范：当输入一个0或比0大的数的时候，返回其正平方根；当输入一个小于0的数时，显示错误信息“平方根非法-输入值小于0”并返回0；库函数Print-Line可以用来输出错误信息。
由规范的3个陈述，可以得到两个用例
用例1：输入4，输出应该为2。
对应于第一个陈述(当输入一个0或比0大的数时…)
用例2：输入-1，输出0，并显示错误提示信息。
对应于第二，第三个陈述（当输入一个小于0的数时，显示错误信息“平方根非法-输入值小于0”并返回0；库函数Print-Line可以用来输出错误信息。）