Model-driven test generation for system level validation
Model-driven test generation for system level validation
复制标题
用于系统级验证的模型驱动测试生成
DOI：
10.1109/hldvt.2007.4392792
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
S. Shukla
中科院分区：
文献类型：
--
作者：
D. Mathaikutty;Sumit Ahuja;A. Dingankar;S. Shukla
系统级模型（例如使用 SystemC 建模的模型）的功能验证是一个重要且复杂的问题。功能验证中的问题之一是测试用例的生成具有良好的覆盖率和更高的潜力来发现设计中的错误。我们通过将同步语言 ESTEREL 及其高级验证功能与基于 C++ 的系统级语言 SystemC 相结合，提出了一种用于系统级设计验证的覆盖范围导向的测试生成框架。本文的主要贡献是（i）结合 ESTEREL 和 SystemC 的模型驱动开发和系统级设计验证的集成框架； (ii) 测试生成框架，用于生成测试套件以满足传统的覆盖度量（例如语句和分支）以及复杂的度量（例如在安全关键软件系统的验证中使用的修改条件/决策覆盖（MCDC））。该框架还生成使用时态语言和基于断言的验证（即 PSL）中指定的属性来实现功能覆盖的测试。我们通过开发和验证嵌入式系统中用于电源管理的关键电源状态机组件来通过案例研究来演示该方法。
Functional validation of System Level Models, such as those modeled with SystemC, is an important and complex problem. One of the problems in their functional validation is the test case generation with good coverage and higher potential to find faults in the design. We propose a coverage-directed test generation framework for system level design validation by combining the synchronous language ESTEREL, and its advanced verification capability, with C++ based system level language SystemC. The main contributions of this paper are (i) the integrated framework for model-driven development and validation of system-level designs with a combination of ESTEREL, and SystemC; and (ii) the test generation framework for generating test suites to satisfy traditional coverage metrics such as the statement and branch as well as a complex metric such as modified condition/decision coverage (MCDC) employed in the validation of safety-critical software systems. The framework also generates tests that attain functional coverage using properties specified in a temporal language and assertion-based verification (namely PSL). We demonstrate the methodology with a case study by developing and validating a critical power state machine component that is used for power management in embedded systems.