Title :
A New Specification-based Test Data Generation Strategy for OSEK OS
Author :
Zhou, Lin ; Yao, Min ; Li, Yongjun ; Zhang, Chengshuo ; Yao, Liujie
Author_Institution :
Coll. of Comput. Sci., Zhejiang Univ., Hangzhou, China
fDate :
June 29 2010-July 1 2010
Abstract :
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.
Keywords :
formal specification; genetic algorithms; operating systems (computers); program testing; real-time systems; resource allocation; Kuhn-Munkres maximum weighted algorithm; OSEK OS; design specification; genetic algorithms; real-time operating system; resource management mechanism; software application testing; specification-based test data generation strategy; Algorithm design and analysis; Bipartite graph; Generators; Optimization; Real time systems; Switches; Testing; Genetic Algorithms; Kuhn-Munkres Algorithms; OSEK OS; Specification-based Test;
Conference_Titel :
Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
Conference_Location :
Bradford
Print_ISBN :
978-1-4244-7547-6
DOI :
10.1109/CIT.2010.398
