NDLI: On Testing 1-Safe Petri Nets

Content Provider	IEEE Xplore Digital Library
Author	Jourdan, G.-V. Bochmann, G.v.
Copyright Year	2009
Abstract	Formal models are often considered for software systems specification, and are helpful for verifying that certain properties are respected, or for automatically generating the implementation code corresponding to the model, or again for conformance testing, for the automatic generation of test cases to check an implementation against the formal specification. Variations of Finite State Machine (FSM) models have been mostly used for conformance testing, while the otherwise very popular formal model of Petri Nets is seldom mentioned in this context. In this paper, we look at the question of conformance testing when the model is provided in the form of a 1-safe Petri Net. We provide a general framework for conformance testing, and give algorithms for deriving test cases under different assumptions: Besides the adaptation of methods originally developed for FSMs which lead to exponentially long test sequences, we have identified cases for which polynomial testing algorithms for free-choice Petri nets can be provided. These results are significant when modeling concurrent systems, as exemplified by workflow modeling.
Starting Page	275
Ending Page	281
File Size	308617
Page Count	7
File Format	PDF
ISBN	9780769537573
DOI	10.1109/TASE.2009.20
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-07-29
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing System testing Petri nets automatic test generation Formal specifications 1-safe Petri nets fault model Automatic testing Automata Software systems Conformance testing free-choice Petri nets Polynomials Context modeling Software engineering
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Testing k-safe petri nets.

Generating Test Cases of Object-Oriented Software Based on EDPN and Its Mutant

Research on Interface Automata Testing

Colored Petri nets model based conformance test generation

Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets

Towards Automated Test Sequence Generation

Timed test cases generation based on test purposes expressed as message sequence charts

An automatic performance testing method based on a formal model for communicating systems

Petri nets, FCCS, and synchronous languages to specify discrete events systems: a comparative synthesis on validation power

On Testing 1-Safe Petri Nets

Similar Documents

Testing k-safe petri nets.

Generating Test Cases of Object-Oriented Software Based on EDPN and Its Mutant

Research on Interface Automata Testing

Colored Petri nets model based conformance test generation

Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets

Towards Automated Test Sequence Generation

Timed test cases generation based on test purposes expressed as message sequence charts

An automatic performance testing method based on a formal model for communicating systems

Petri nets, FCCS, and synchronous languages to specify discrete events systems: a comparative synthesis on validation power

On Testing 1-Safe Petri Nets