Using simulation to empirically investigate test coverage criteria based on statechart
Using simulation to empirically investigate test coverage criteria based on statechart
复制标题
DOI：
10.1109/icse.2004.1317431
复制
发表时间：
2004-05
期刊：
影响因子：
--
通讯作者：
L. Briand;Y. Labiche;Yihong Wang
中科院分区：
文献类型：
--
作者：
L. Briand;Y. Labiche;Yihong Wang
已经提出了一些测试策略，使用状态机和状态图作为测试模型，以获得测试序列和验证类或类簇。虽然这些标准具有系统性的优点，但人们对它们的成本效益以及它们之间的比较知之甚少。本文提出了一个精确的模拟和分析过程来分析基于状态图的测试技术的成本效益。然后，我们调查，使用这个程序，成本和故障检测的有效性，足够的测试集的最参考的覆盖标准，状态图上三个不同的代表性案例研究。通过分析研究的共同结果和差异，我们试图得出更一般的结论，使用调查中的标准的成本和效益。
A number of testing strategies have been proposed using state machines and statecharts as test models in order to derive test sequences and validate classes or class clusters. Though such criteria have the advantage of being systematic, little is known on how cost effective they are and how they compare to each other. This article presents a precise simulation and analysis procedure to analyze the cost-effectiveness of statechart-based testing techniques. We then investigate, using this procedure, the cost and fault detection effectiveness of adequate test sets for the most referenced coverage criteria for statecharts on three different representative case studies. Through the analysis of common results and differences across studies, we attempt to draw more general conclusions regarding the costs and benefits of using the criteria under investigation.