Test Case Generation for Context Testing of Embedded Systems

The context of a modular system through which its embedded components interact with the user is the main development target of the modular system because developers usually purchase embedded components on the market. Therefore, context testing is necessary for the development of a reliable modular system. Test case generation for context testing may be complicated as the tester cannot directly control the interfaces between the context and the embedded components. This paper first shows a basic solution approach and its incompleteness. Then it investigates the conditions for avoiding nondeterminism in context testing. A graph conversion algorithm is also proposed which constructs safer context specifications for test generation of context testing without nondeterminism.