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