DocumentCode :
2390832
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
fYear :
2012
fDate :
19-20 May 2012
Firstpage :
1126
Lastpage :
1130
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems and Informatics (ICSAI), 2012 International Conference on
Conference_Location :
Yantai
Print_ISBN :
978-1-4673-0198-5
Type :
conf
DOI :
10.1109/ICSAI.2012.6223232
Filename :
6223232
Link To Document :
بازگشت