This paper is presenting a tool called SIMOTEST. It allows the user to conduct Model Based Testing of MatLab/Simulink models. In particular it allows automatically running and evaluating test cases which got generated from a test model. Test cases which get run from SIMOTEST can be used for testing hybrid realtime systems i.e. systems which have continuous and discrete inputs/outputs which need to fulfill timing requirements. This is achieved by using the IEEE Standard for Signal and Test Definition (IEEE 1641)
This paper focuses on the introduction of time durations to Model Based Statistical Testing. The concepts presented allow specifying durations of inputs and outputs within the test model. Three basic time restrictions are introduced:A stimulus must be shorter than a certain time, a stimulus must be longer than a certain time and a stimulus must have a duration within a given interval. The approach allows the generation of oracle information considering the introduced time information. This is necessary to test embedded real-time systems. However, as far as known to the author nothing has been published concerning the duration of stimuli and responses with respect to Model Based Statistical Testing.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.