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

DOI10.1007/978-3-642-21834-7_17MaRDI QIDQ3011896zbMATH OpenOpenAlexFDO

Authors Dianxiang Xu

Publication date 29 June 2011

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21834-7_17

zbMATH Keywords

model-based testingPetri netspredicate/transition netssecurity testingsoftware testing

Mathematics Subject Classification ID

Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1670803
• Using a Petri net model approach to web applications testing
• scientific article; zbMATH DE number 1956610
• scientific article; zbMATH DE number 2080069
• Automated test case generation for the paxos single-decree protocol using a coloured Petri net model

Cited in

(4)

• Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
• scientific article; zbMATH DE number 1670803 (Why is no real title available?)
• scientific article; zbMATH DE number 1956610 (Why is no real title available?)
• Symbolic observation graph-based generation of test paths

Describes a project that uses

Uses Software

• ISTA

This page was built for publication: A tool for automated test code generation from high-level Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011896)