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...

Celý popis

Podrobná bibliografia

Vydané v:	Software testing, verification & reliability Ročník 24; číslo 2; s. 155 - 180
Hlavní autori:	Mohalik, Swarup, Gadkari, Ambar A., Yeolekar, Anand, Shashidhar, K.C., Ramesh, S.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Chichester Blackwell Publishing Ltd 01.03.2014 Wiley Subscription Services, Inc
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!