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á bibliografie

Vydáno v:	Software testing, verification & reliability Ročník 24; číslo 2; s. 155 - 180
Hlavní autoři:	Mohalik, Swarup, Gadkari, Ambar A., Yeolekar, Anand, Shashidhar, K.C., Ramesh, S.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Chichester Blackwell Publishing Ltd 01.03.2014 Wiley Subscription Services, Inc
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!