第219贴【2005－04－19】：需求的形式化描述

天网

把需求描述成形式化规格，可以使需求具有形式化的优点——严格。并且一旦需求被形式化之后，对需求的测试也会变得简单，因为形式化语义本身就具有很强的可验证性，很容易实现测试设计的自动化。然而这种方法的使用范围非常狭窄，它要求分析人员有深厚的数学基础和形式化语义经验。并且对于一个及其复杂的系统来说，要把其需求完全转成形式化语言的工作量是及其庞大，且繁琐的工作。一般只会对安全级别非常高的软件产品才有可能使用这种方法，例如：航天工业或医疗仪器等。在理论领域,还在不断进行这方面的研究。

fzx

如果到那一天，所有需求都是形式化的，那么，就不会有编码人员和测试人员了。需求形式化了，就自然能做到模型形式化，通过正向工程，代码是自动生成的，测试用例是自动生成的，测试执行也是自动的......太美好了，呵呵

testerli

那测试员就该失业了！