基于CVSA的无虚拟机主机端编译器验证适配设计与实现  

Adapting Design and Implementation of Testing Compiler on Host without Virtual Machine

作　　者：魏国 麦先根[1] 张旻[1] 

机构地区：[1]西安航空计算技术研究所

出　　处：《信息通信》2019年第5期129-130,共2页Information & Communications

摘　　要：编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查。CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时具有用况约束。提供一种适配CVSA的设计和实现,以扩展CVSA的使用范围。Compiler venders continually provide new nonuniform extensions to compiler, but whether these extensions will lead to program problem, this needs some tool to check out. CVSA is internationally confirmed to be a conformance validate tool,but it has constraints in practical use. Provide a design and implementation to adapt CVSA, to extend its use range.

关 键 词：CVSA 交叉编译器 验证 适配 

分 类 号：TP232[自动化与计算机技术—检测技术与自动化装置]