622 基于模型的系统的测试 代码生成程序Ingo Stu rmer, Mirko Conrad, Heiko Do rr, and Peter Pepper,，成员，IEEE 摘要：不象常见命令式程序语言(如C或者ADA) 编译器，维护了基于模型的代码生成器生成的构件没有既定的方法存在尽管在形式验证领域取得进展。几种测试方法在工程实践中处于支配地位。 这篇文章为使用在基于模型开发的代码生成器描述一个通用和工具独立的测试体系。我们通过测试TargetLink代码生成程序执行的最优化评价我们的方法的有效性。TargetLink代码生成器在基于模型自动化开发中是一个被广泛地接受和复杂开发工具。索引术语 测试和调试。 1 绪论汽车的嵌入软件被开发方式已经改变。 可执行的模型现在被使用在开发的全部阶段，从起初设计到到实现(基于模型的发展)。用大众流行图形建模语言进行模型设计，象来自MathWorks 1的Simulink/Stateflow。新的方法允许通过所谓
