Towards a method for combined model-based testing and analysis
Towards a method for combined model-based testing and analysis
复制标题
寻求一种基于模型的测试和分析相结合的方法
DOI：
10.5220/0004873106090618
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
B. Nielsen
中科院分区：
文献类型：
--
作者：
B. Nielsen
复杂嵌入式系统的高效验证和验证具有挑战性，需要使用各种工具和技术，如基于模型的测试和分析。本文的目的是设计一种分析和测试相结合的总体方法，以提高嵌入式系统的质量，降低开发成本。该方法以共同的验证计划为中心，迭代地利用已建立的结果来加强验证活动。我们的结论是，所提出的方法足够通用，可以捕获最有趣的组合和工作流，但更具体的组合模式的制定将有助于鼓励未来的工具协作。
Efficient and effective verification and validation of complex embedded systems is challenging, and requires the use of various tools and techniques, such as model-based testing and analysis. The aim of this paper is to devise an overall method for how analysis and testing may be used in combination to increase the quality of embedded systems, and reduce development cost. The method is centered on a common verification planning and iteratively exploiting the established results to strengthen the verification activities. We conclude that the proposed method is general enough to capture most interesting combinations and workflows, but also that formulation of more specific combination patterns will be useful to encourage future tool collaborations.