Using simulation to empirically investigate test coverage criteria based on statechart

被引:43
|
作者
Briand, LC [1 ]
Labiche, Y [1 ]
Wang, Y [1 ]
机构
[1] Carleton Univ, Software Qual Engn Lab, Ottawa, ON K1S 5B6, Canada
来源
ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS | 2004年
关键词
D O I
10.1109/ICSE.2004.1317431
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:86 / 95
页数:10
相关论文
共 50 条
  • [31] Fault Simulation for Analog Test Coverage
    Sequeira, Jyotsna
    Natarajan, Suriyaprakash
    Goteti, Prashant
    Chaudhary, Nitin
    PROCEEDINGS 2016 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2016,
  • [32] Generating Effective Test Suites by Combining Coverage Criteria
    Gay, Gregory
    SEARCH BASED SOFTWARE ENGINEERING, SSBSE 2017, 2017, 10452 : 65 - 82
  • [33] Comparing logic coverage criteria on test case prioritization
    ChunRong Fang
    ZhenYu Chen
    BaoWen Xu
    Science China Information Sciences, 2012, 55 : 2826 - 2840
  • [34] Comparing logic coverage criteria on test case prioritization
    FANG ChunRong 1
    2 Software Institute
    ScienceChina(InformationSciences), 2012, 55 (12) : 2826 - 2840
  • [35] Structural Test Coverage Criteria for Deep Neural Networks
    Sun, Youcheng
    Huang, Xiaowei
    Kroening, Daniel
    Sharp, James
    Hill, Matthew
    Ashmore, Rob
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 320 - 321
  • [36] Efficient Test Generation Guided by Field Coverage Criteria
    Godio, Ariel
    Bengolea, Valeria
    Ponzio, Pablo
    Aguirre, Nazareno
    Frias, Marcelo F.
    34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 91 - 101
  • [37] Comparing logic coverage criteria on test case prioritization
    Fang ChunRong
    Chen ZhenYu
    Xu BaoWen
    SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (12) : 2826 - 2840
  • [38] Structural Test Coverage Criteria for Deep Neural Networks
    Sun, Youcheng
    Huang, Xiaowei
    Kroening, Daniel
    Sharp, James
    Hill, Matthew
    Ashmore, Rob
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
  • [39] TEST CRITERIA AND COVERAGE MEASURES FOR SOFTWARE INTEGRATION TESTING
    SPILLNER, A
    SOFTWARE QUALITY JOURNAL, 1995, 4 (04) : 275 - 286
  • [40] Comparing finite state machine test coverage criteria
    Simao, A.
    Petrenko, A.
    Maldonado, J. C.
    IET SOFTWARE, 2009, 3 (02) : 91 - 105