English 联系我们

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

背景

  从1986年开始,Perennial公司开发了完整的商用编译器和操作系统测试套件,是全球首家提供C和C++编译器、UNIX和BSD操作系统商用测试套件的公司。测试套件为一个通用目标测试程序的集合,由于采用验证(Validation)测试技术,因此称之为Perennial验证套件(PERENNIAL Validation Suites?)。

   PERENNIAL Validation Suites 诞生后,在全球范围内得到了那些致力于将高质量产品推向市场的各个企业和组织的广泛应用。我们根据不同的产品,在6至12个月内向新用户提供免费的技术支持和升级,并在一年后提供续约服务。

   PERENNIAL验证套件可针对C、C-Freestanding、C++、Embedded C++和Java?等语言按照语言规范对编译器(compilers)、翻译器(translators)和解释器(interpreters)进行一致性测试。C、C-Freestanding和C++的标准由ANSI and/or ISO定义,Embedded C++的标准由Embeded C++技术委员会开发在ISO C++标准基础上进行裁减。Java的标准由Sun Microsystems公司开发,包括Java语言的规范、APIs等等。

目前PERENNIAL Validation Suites的产品有:
  ACVS - ANSI/ISO/FIPS 160 C 验证序列
  CVSA – 最新 ISO C验证序列
  CVSA-Freestanding – Freestanding/embedded环境下最新的ISO C验证序列
  C++VS - ISO C++验证序列
  EC++VS - Embedded C++验证序列
  JETS – Java环境下的验证序列
  所有PERENNIAL Validation Suites 的产品都遵循通用设计的原则,具有类似的特性和开发方法。

 

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

备案序号:沪ICP备05030702号