Title :
How to cope with the evolution of classic software during the test generation based on CPN
Author :
He, Nan ; Li, Hua ; Pang, Bin ; Xie, Hui ; Yang, Hongji
Author_Institution :
Coll. of Comput. Sci., Inner Mongolia Univ., Hohhot, China
Abstract :
Software evolution is the process to meet the market requirements. The software after evolution has many new features worth of research. In this paper, we analyze the evolution of Linux, Windows, and Minix in detail, and analyzes from OSPF-v2 to OSPFv3 by RFC. The kernel call and system call of Minix3 and OSPF protocol are modeled with Colored Petri Net (CPN) Tools. Fork, as an example of system call, its CPN model is given. Reachable graph can be generated automatically from model with CPN. Then there is an algorithm for test generation based on reachable graph.
Keywords :
Linux; Petri nets; program testing; software maintenance; CPN; Linux; Minix; OSPF-v2; OSPFv3; RFC; Windows; colored Petri net; kernel call; reachable graph; software evolution; system call; test generation; Educational institutions; Kernel; Linux; Protocols; Software systems; MINIX; OSPF; evolution; software; test;
Conference_Titel :
Systems and Informatics (ICSAI), 2012 International Conference on
Conference_Location :
Yantai
Print_ISBN :
978-1-4673-0198-5
DOI :
10.1109/ICSAI.2012.6223232