|
PERENNIAL
Validation Suites 利用基于断言的方法在“净室”环境下开发。
断言是在识别语言中所有规范的一致性需求的基础上产生,做到这一点必须仔细阅读所有的规范,并对语言及其术语有深刻的理解。断言的开发者必须明确shall,
can, may, should, implementation defined, undefined, unspecified等等的确切含义和它们之间的区别,还要考虑某一部分的一致性需求对另一部分的影响。断言是在一致性需求的基础上为每一小部分规范开发的。另外,还有一部分测试用例是从通过断言延伸出来的,每个测试用例都与某个断言或一致性规范相关联。
“净室”环境是指测试用例的开发是基于语言所定义的规范,而不是根据某一个特殊的编译器。
PERENNIAL Validation Suites开发应用了标准的、并通过许多国际或国内致力于商标认证的组织长期实践检验的方法。
|