如何验证代码生成和基于模型的设计

发布的赛斯Popinchalk,2011年2月12日

(30天)| 18视图0喜欢|4评论

基于模型设计的一个重要好处是做的早期验证您的模型和使用你学会验证最终产品软件。随着你的设计生产的一个关键问题如何验证生成的代码?在这篇文章中我想提供一个高水平的回答这个问题。这个问题是与一组明确定义的流程详细回答做资格工具包(- 178)和IEC资格工具包(IEC 61508和ISO 26262)。

从一个模型能够满足需求

整个代码验证和确认过程取决于您的模型完全满足您的需求和代表你的设计。

工作流的特定于应用程序的验证和确认生成的代码。

验证您的设计满足需求在通过运行仿真模型开发。功能模型中应可追溯回模型的要求。您可以使用评论、分析模型,基于需求的测试,以证明你的原始需求得到满足设计和设计不包含意想不到的功能。这些模拟的测试向量稍后将用于验证生成的代码。

测试您的代码在一个环境尽可能接近真实的东西

验证生成的代码可以在主机上运行独立的应用程序,通过使用软件在循环中的循环(SIL)测试或处理器(公益诉讼)测试。每一种模式的测试提供了额外的验证使用的环境是越来越类似于最终的目标环境。

验证该模型生成的代码相当于

等价的测试使用的测试向量模型生成的代码。

测试向量用于验证模型是否满足要求提供一个基线生成的代码的行为。一旦你练习与测试向量生成的代码比较基线结果生成的代码的结果。如果你发现任何差异测试结果他们应该调查和了解。一些差异可能归因于实现更改(将从一种解释模型转换为一个可执行的实现),或者可能是一个错误的迹象。所有差异都应该理解为了证实系统的行为错误是免费的。

验证没有意想不到的功能

为等效测试之后,你可能会认为你做的,但是,如果有代码路径你没有运动,可能会有错误隐藏在这部分代码。意想不到的功能测试需要执行可追溯性审查和/或测量代码覆盖率。

可追溯性检查

测量生成的代码的可追溯性要求您确认所有的代码生成的最终应用程序要追溯到原始模型的一部分,它代表了你的设计。任何non-traceable元素的代码需要审查。

代码覆盖率

测量代码覆盖率可以给你一个全面的测试用例是如何的想法。当然是伟大的有100%的代码覆盖率从运行基线等价测试,但是当你没有完全覆盖你需要添加额外的测试向量增加覆盖范围。审查代码的任何部分还没有完全测试。

工具来帮助验证和确认