TY - GEN
T1 - SimCoTest
T2 - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
AU - Matinnejad, Reza
AU - Nejati, Shiva
AU - Briand, Lionel C.
AU - Bruckmann, Thomas
N1 - Publisher Copyright:
© 2016 ACM.
PY - 2016/5/14
Y1 - 2016/5/14
N2 - We present SimCoTest, a tool to generate small test suites with high fault revealing ability for Simulink/Stateflow controllers. SimCoTest uses meta-heuristic search to (1) maximize the likelihood of presence of specific failure patterns in output signals (failure-based test generation), and to (2) maximize diversity of output signal shapes (output diversity test generation). SimCoTest has been evaluated on industrial Simulink models and has been systematically compared with Simuilnk Design Verifier (SLDV), an alternative commercial Simulink testing tool. Our results show that the fault revealing ability of SimCoTest outperforms that of SLDV. Further, in contrast to SLDV, SimCoTest is applicable to Simulink/Stateflow models in their entirety.
AB - We present SimCoTest, a tool to generate small test suites with high fault revealing ability for Simulink/Stateflow controllers. SimCoTest uses meta-heuristic search to (1) maximize the likelihood of presence of specific failure patterns in output signals (failure-based test generation), and to (2) maximize diversity of output signal shapes (output diversity test generation). SimCoTest has been evaluated on industrial Simulink models and has been systematically compared with Simuilnk Design Verifier (SLDV), an alternative commercial Simulink testing tool. Our results show that the fault revealing ability of SimCoTest outperforms that of SLDV. Further, in contrast to SLDV, SimCoTest is applicable to Simulink/Stateflow models in their entirety.
KW - Failure-based test generation
KW - Output diversity
KW - Search-based software testing
KW - Simulink design verifier (SLDV)
KW - Simulink/stateflow models
KW - Software testing
UR - http://www.scopus.com/inward/record.url?scp=85010983946&partnerID=8YFLogxK
U2 - 10.1145/2889160.2889162
DO - 10.1145/2889160.2889162
M3 - Conference contribution
AN - SCOPUS:85010983946
T3 - Proceedings - International Conference on Software Engineering
SP - 585
EP - 588
BT - Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016
PB - IEEE Computer Society
Y2 - 14 May 2016 through 22 May 2016
ER -