首页
  English 联系我们

Perennial编译器验证工具
背景
设计
特点
开发方法
  当前位置:首页>解决方案>Perennial编译器验证工具

开发方法

  PERENNIAL Validation Suites 利用基于断言的方法在“净室”环境下开发。

  断言是在识别语言中所有规范的一致性需求的基础上产生,做到这一点必须仔细阅读所有的规范,并对语言及其术语有深刻的理解。断言的开发者必须明确shall, can, may, should, implementation defined, undefined, unspecified等等的确切含义和它们之间的区别,还要考虑某一部分的一致性需求对另一部分的影响。断言是在一致性需求的基础上为每一小部分规范开发的。另外,还有一部分测试用例是从通过断言延伸出来的,每个测试用例都与某个断言或一致性规范相关联。

  “净室”环境是指测试用例的开发是基于语言所定义的规范,而不是根据某一个特殊的编译器。
  PERENNIAL Validation Suites开发应用了标准的、并通过许多国际或国内致力于商标认证的组织长期实践检验的方法。

 

 


 

©2007版权所有 上海创景计算机系统有限公司

备案序号:沪ICP备05030702号