A tool for automated test code generation from high-level petri nets

Authors:
Dianxiang Xu
Affiliations:
National Center for the Protection of the Financial Infrastructure, Dakota State University, Madison, SD
Venue:
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Year:
2011

Citing 4
Cited 2

Predicate/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets

IEEE Transactions on Software Engineering

A model-based approach to automated testing of access control policies

Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers

Proceeding of the 44th ACM technical symposium on Computer science education

Quantified Score

Hi-index	0.00

Visualization

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.