Automatic test case generation from Simulink/Stateflow models using model checking

SUMMARYModel‐based test generation techniques based on random input generation and guided simulation do not satisfy the demands of high test coverage and completeness guarantees as required by safety‐critical applications. Recently, test generation techniques based on model checking have been report...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software testing, verification & reliability Jg. 24; H. 2; S. 155 - 180
Hauptverfasser:	Mohalik, Swarup, Gadkari, Ambar A., Yeolekar, Anand, Shashidhar, K.C., Ramesh, S.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Chichester Blackwell Publishing Ltd 01.03.2014 Wiley Subscription Services, Inc
Schlagworte:	automatic test generation Automotive components Automotive engineering Complement Computer simulation Debugging model checking model translation model-based testing Proving Simulink/Stateflow Software reliability test coverage
ISSN:	0960-0833, 1099-1689
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!