Scenario-based test case generation for state-based embedded systems

State Transition Based Test Model and Test Case Generation Technique for Embedded System: An Empirical Approach

“…al., [6], Jim Heumann [7], and Tasi et. al., [15]. The test case generation technique presented in this study, however, does not generate a test case directly in the context of a scenario as in the cases of Nicha Kosindrdecha et.…”

“…Tasi et. al., [15] established the state/event tree as a test model in a different manner from UML, but in this study, SysML is used to establish a test model and to model the system's behaviors. In the process, rules are applied to gain information necessary for the test case generation from the products of each step.…”

“…al., [15] suggested a method to generate a test case for a state-based embedded system. This extracts state/event trees based on scenario specification and analyzes the integrity, consistency, dependency, and relation.…”

Developing Scheduler Test Cases to Verify Scheduler Implementations In Time-Triggered Embedded Systems

“…Lots of studies have therefore demonstrated that test process automation holds the promise to reduce time, effort and costs (e.g. [47]- [49]). As mentioned in the introduction, the focus in our paper is on a form of test cases.…”

“…In [51], it is argued that the most challenging phase in the test process is the selection and execution of test cases. Many studies have, therefore, proposed techniques for automatic test-case generation (see for instance, [43], [47], [49], [51]). Test cases may be created directly from the source code, or other sources such as control flow graphs, design representations and specifications [52].…”