Construction of global finite state machine for testing task interactions written in message sequence charts

Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
Integration testing of embedded software is difficult because such software tends to be large and complex; it is often structured as a set of tasks whose interaction patterns can be arbitrary and nondeterministic; it is subject to frequent changes while being tested; and testing period must be minimized since the product's life-time is short. In order to conduct integration testing in a cost-effective manner, it is essential that requirements are captured in precise notation and that test cases
more » ... are automatically generated and executed whenever possible.
doi:10.1145/568823.568825 fatcat:jryf6el5n5bllkxtlfuauwfhgy