第239贴【2005－06－02】：基于规格说明的测试生成

天网

在规格可以被形式化说明并可被工具分析的前提下，基于规格说明的测试工具可以生成测试输入及期望输出。规格说明可以包括结构化的自然语言，如商业规则，也可以包含技术数据。如果面向对象规格说明足够严格的话，这种工具还可以进行面向对象规格说明的测试。例如，如果一个输入域的允许范围被严格定义，那么工具就可以产生边界值以及有效等价类和无效等价类的样值。
    基于规格说明的测试生成能测试检查软件应该做什么，而不是它做了什么。从规格说明中推导测试用例越枯燥，使用这类工具的潜力就越大。
    如果期望输出也可以表达在规格说明中，那么也可以自动生成期望输出。

ljftgg

没听过有这样的工具啊~关注

mcj_pc

现在有这样的工具吗？
可是现存的问题是规格说明书很不完善。