NDLI: Colored Petri nets model based conformance test generation

Content Provider	IEEE Xplore Digital Library
Author	Jing Liu Xinming Ye Jun Li
Copyright Year	2011
Description	Author affiliation: Inner Mongolia University, Hohhot, China (Xinming Ye) \|\| Institute of Computing Technology, Chinese Academy of Sciences (Jing Liu; Jun Li)
Abstract	A novel Colored Petri Nets (CP-nets) model based test case generation approach is proposed to makes the best of advantages of the ioco testing theory and the CP-nets modeling, where the Conformance Testing orientated CP-nets (CT-CPN) is proposed for modeling certain software systems, and PN-ioco relation is defined as a new conformance relation, and finally test cases are generated through simulating the system CT-CPN models. CP-nets model simulation based test generation approach reflects the data-dependent control flow of the system behaviors, so all test cases are completely feasible for the actual test executions. Besides, better formal modeling and analytic capabilities in CP-nets modeling quite facilitate validating the accuracy of the system CT-CPN model. For effectively extending the applicability of the Petri nets based testing technologies, our novel CT-CPN model based test generation approach may well become a competent choice.
Starting Page	967
Ending Page	970
File Size	143855
Page Count	4
File Format	PDF
ISBN	9781457706806
ISSN	15301346
e-ISBN	9781457706813
e-ISBN	9781457706783
DOI	10.1109/ISCC.2011.5983967
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-06-28
Publisher Place	Greece
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Testing Suspensions Data models Petri nets Analytical models Software Fires model simulation test case generation colored Petri nets ioco conformance
Content Type	Text
Resource Type	Article
Subject	Signal Processing Mathematics Computer Networks and Communications Computer Science Applications Software

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

Transforming UML models to colored petri nets models using graph grammars

Integrating functional verification and performance analysis for network protocols using CP-nets

Unfolding-based test selection for concurrent conformance.

Testing robustness of communicating systems using ioco-based approach

On Testing 1-Safe Petri Nets

Model based testing for concurrent systems with labeled event structures (2013).

A Methodology for Building Effective Test Models with Function Nets

Towards Automated Test Sequence Generation

Modeling and analysis of inventory system by using Colored Petri nets

Colored Petri nets model based conformance test generation

Similar Documents

Transforming UML models to colored petri nets models using graph grammars

Integrating functional verification and performance analysis for network protocols using CP-nets

Unfolding-based test selection for concurrent conformance.

Testing robustness of communicating systems using ioco-based approach

On Testing 1-Safe Petri Nets

Model based testing for concurrent systems with labeled event structures (2013).

A Methodology for Building Effective Test Models with Function Nets

Towards Automated Test Sequence Generation

Modeling and analysis of inventory system by using Colored Petri nets

Colored Petri nets model based conformance test generation