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

Full description

Bibliographic Details

Published in:	Software testing, verification & reliability Vol. 24; no. 2; pp. 155 - 180
Main Authors:	Mohalik, Swarup, Gadkari, Ambar A., Yeolekar, Anand, Shashidhar, K.C., Ramesh, S.
Format:	Journal Article
Language:	English
Published:	Chichester Blackwell Publishing Ltd 01.03.2014 Wiley Subscription Services, Inc
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!