Paper Info
Title
A Test Sequence Selection Method for Parallel Software Systems
Abstract
Modeling and testing for a parallel software system is very difficult, because parallel behaviors leads to system state explosion. Many testing methods are testing with a large number of redundancies. In this paper, a test sequence selection method for parallel software systems is shown. The method is based on linear behavior sequences which is preparing for testing, called LBSPT. Firstly, a formal model for software system specification is constructed based on Coloured Petri Net (CPN), called system model, and LBSPT is also modeled based on CPN, called LBSPT model. A test sequence selection method is defined on these models. The method could select all of test sequences related to LBSPT, and does not contain any redundancy. The state explode problem in software testing is solved to a certain extent. Practices show that the effect of this method is better than other methods such as random walk.
Year
DOI
Venue
2011
10.1109/PAAP.2011.27
PAAP
Keywords
Field
DocType
coloured petri net,lbspt model,program testing,test sequence selection method,petri nets,parallel programming,testing method,parallel software system,linear behavior sequences,system model,parallel behavior,system state explosion,software system specification,sequences,software testing,redundancy,cpn,parallel software systems,program verification,formal model,random walk,silicon,system modeling,computer model,software systems,computational modeling,test methods,testing
Coloured Petri net,Petri net,Computer science,Orthogonal array testing,Algorithm,Software system,Theoretical computer science,White-box testing,Model-based testing,Data-driven testing,Test data generation
Conference
ISBN
Citations 
PageRank 
978-1-4577-1808-3
2
0.39
References 
Authors
4
3
Name
Order
Citations
PageRank
Tao Sun112015.48
Xinming Ye25211.62
Jing Liu318757.41