51Testing软件测试论坛

标题: 第219贴【2005-04-19】:需求的形式化描述 [打印本页]

作者: 天网    时间: 2005-4-19 23:12
标题: 第219贴【2005-04-19】:需求的形式化描述
把需求描述成形式化规格,可以使需求具有形式化的优点——严格。并且一旦需求被形式化之后,对需求的测试也会变得简单,因为形式化语义本身就具有很强的可验证性,很容易实现测试设计的自动化。然而这种方法的使用范围非常狭窄,它要求分析人员有深厚的数学基础和形式化语义经验。并且对于一个及其复杂的系统来说,要把其需求完全转成形式化语言的工作量是及其庞大,且繁琐的工作。一般只会对安全级别非常高的软件产品才有可能使用这种方法,例如:航天工业或医疗仪器等。在理论领域,还在不断进行这方面的研究。
作者: fzx    时间: 2005-9-7 09:53
标题: MDA
如果到那一天,所有需求都是形式化的,那么,就不会有编码人员和测试人员了。需求形式化了,就自然能做到模型形式化,通过正向工程,代码是自动生成的,测试用例是自动生成的,测试执行也是自动的......太美好了,呵呵
作者: testerli    时间: 2005-9-8 16:21
那测试员就该失业了!




欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/) Powered by Discuz! X3.2