A New Specification-based Test Data Generation Strategy for OSEK OS

Specification-based test is used to test a software application to check if it conforms to its design specification. Writing adequate test suites is very challenging and labor-intensive. Producing Specification-based tests for Real-Time Operating System (RTOS) is more challenging than for generic applications since specifications of RTOS only provide resource management mechanisms rather than specific application functionality descriptions. In this paper, we investigate whether Genetic Algorithms (GAs) can generate qualified tests for RTOS, and we present an effective GA approach with an optimization of Kuhn-Munkres maximum weighted algorithm. Experiment results demonstrate the effectiveness of our approach. It is able to generate 100% state coverage tests within 200 generations.