DocumentCode :
549495
Title :
Test-case generation for embedded simulink via formal concept analysis
Author :
He, Nannan ; Rümmer, Philipp ; Kroening, Daniel
Author_Institution :
Oxford Univ., Oxford, OH, USA
fYear :
2011
fDate :
5-9 June 2011
Firstpage :
224
Lastpage :
229
Abstract :
Mutation testing suffers from the high computational cost of automated test-vector generation, due to the large number of mutants that can be derived from programs and the cost of generating test-cases in a white-box manner. We propose a novel algorithm for mutation-based test-case generation for Simulink models that combines white-box testing with formal concept analysis. By exploiting similarity measures on mutants, we are able to effectively generate small sets of short test-cases that achieve high coverage on a collection of Simulink models from the automotive domain. Experiments show that our algorithm performs significantly better than random testing or simpler mutation-testing approaches.
Keywords :
formal concept analysis; program testing; automated test-vector generation; embedded simulink; formal concept analysis; mutation testing; white-box manner; Analytical models; Benchmark testing; Computational modeling; Context; Lattices; Software; Mutation testing; Simulink; embedded systems; formal concept analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE
Conference_Location :
New York, NY
ISSN :
0738-100x
Print_ISBN :
978-1-4503-0636-2
Type :
conf
Filename :
5981757
Link To Document :
بازگشت