Validation of information system models: Petri nets and test case generation

Desel, Jörg; Oberweis, Andreas; Zimmer, Torsten; Zimmermann, Gabriele

doi:10.1109/icsmc.1997.633178

Cited by 15 publications

(11 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is not concerned with how tests can be generated to meet the adequacy criteria. Desel et al [1] have proposed a technique to generate test inputs (initial markings) for the simulation of high-level Petri nets. Wang et al [6] have proposed class Petri net machines for specifying intermethod interactions within a class and generating method sequences for unit testing.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A Tool for Automated Test Code Generation from High-Level Petri Nets

2011

Applications and Theory of Petri Nets

View full text Add to dashboard Cite

Abstract. Automated software testing has gained much attention because it is expected to improve testing productivity and reduce testing cost. Automated generation and execution of tests, however, are still very limited. This paper presents a tool, ISTA (Integration and System Test Automation), for automated test generation and execution by using high-level Petri nets as finite state test models. ISTA has several unique features. It allows executable test code to be generated automatically from a MID (Model-Implementation Description) specification -including a high-level Petri net as the test model and a mapping from the Petri net elements to implementation constructs. The test code can be executed immediately against the system under test. It supports a variety of languages of test code, including Java, C/C++, C#, VB, and html/Selenium IDE (for web applications). It also supports automated test generation for various coverage criteria of Petri nets. ISTA is useful not only for function testing but also for security testing by using Petri nets as threat models. It has been applied to several industry-strength systems.

show abstract

Section: Related Workmentioning

confidence: 99%

“…To tackle these problems, this paper presents ISTA (Integration and System Test Automation) 1 , a tool for automated generation of executable test code. It uses highlevel Petri nets for specifying test models so that complete tests can be generated automatically.…”

Section: Introductionmentioning

confidence: 99%

A Tool for Automated Test Code Generation from High-Level Petri Nets

2011

Applications and Theory of Petri Nets

View full text Add to dashboard Cite

show abstract

“…Literature [4] gives a relatively simple test case generation method, which directly calculates the state reachable tree of system model and generates test sequences based on traversal of tree; Literature [5] is based on a simple CPN model, constructs a causal relationship net which is made up of key transitions, and extracts test input and output to form a complete test case; Literature [6] shows sequence coverage criteria (branch coverage, edge cover, etc) and parallel coverage criteria (interleaving node or edge coverage, etc), and test sequences are generated from random walk algorithm on the state space of CPN model.…”

Section: Introductionmentioning

confidence: 99%

A Test Sequence Selection Method for Parallel Software Systems

Sun

Liu

2011

2011 Fourth International Symposium on Parallel Architectures, Algorithms and Programming

View full text Add to dashboard Cite

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.

show abstract

“…In case or errors, another iteration of domain engineering can be used for corrections. Another related approach is described in [DOZZ97].…”

Section: Integration Testing Of Content Componentsmentioning

confidence: 99%