How to cope with the evolution of classic software during the test generation based on CPN

Nan He,Bin Pang,Hongji Yang,Hui Xie,Hua Li

doi:10.1109/icsai.2012.6223232

How to cope with the evolution of classic software during the test generation based on CPN

Nan He, Bin Pang + Show 3 more

https://doi.org/10.1109/icsai.2012.6223232

Copy DOI

Publication Date: May 1, 2012

Affiliation: Inner Mongolia University, De Montfort University

#Colored Petri Net #Reachable Graph + Show 8 more

Abstract
Full-Text PDF
Similar Papers

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.

Full Text