语义及代码生成程序_CoGenTe：代码生成器测试工具

摘要

作者在本文中介绍了一款面向代码生成器的自动黑盒测试工具——CoGenTe。代码生成器一般将高级建模语言构造的模型作为输入，经过一系列操作后最终输出可以捕获模型行为的程序。由此可知：代码生成器的输入输出都是具有复杂结构的对象，这些对象不仅具有一定的语法结构，同时还具备相应的执行语义。因此，仅考虑语法结构的传统测试方法并不适用于代码生成器的相关测试。

CoGenTe 结合了多种针对语义的覆盖指标(Coverage Criteria)以满足代码生成器的测试需求。通过结合各种语义覆盖指标，CoGenTe 能够生成具有较高测试潜力的测试用例，这些用例往往能够揭示代码生成器中存在的微小语义错误。目前，CoGenTe 已经发现了一些常用的代码生成器，如(1)面向词法分析器的生成器 Flex 和 JFlex，和(2)与 MathWorks 相关的状态流(SF, State Flow)仿真器/代码生成器中潜在的一些问题。

关键词：自动测试生成；黑盒测试；代码生成器；语义覆盖指标

1 引言

​ 代码生成器在基于模型的复杂软件系统的开发过程中起到至关重要的作用。但是由于建模语言的语法和语义的复杂程度较高，代码生成器在具体实现时往往会产生错误。并且，当建模语言更新换代时(大多数领域特定语言通常是这种情况)，与之对应的代码生成器也必须进行相应的更新&#