Testing data processing-oriented systems from stream X-machine models

DOI10.1016/J.TCS.2008.02.045MaRDI QIDQ944368zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Mike Holcombe

Publication date 16 September 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.02.045

zbMATH Keywords

finite state machinesformal specificationsspecification based testingstream X-machinestest generation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Testing against a non-controllable stream X-machine using state counting
• scientific article; zbMATH DE number 2182430
• Complete deterministic stream X-machine testing
• A unified integration and component testing approach from deterministic stream X-machine specifications
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

Cites work

• A method for refining and testing generalised machine specifications
• A structured way to use channels for communication in X-machine systems
• An integrated refinement and testing method for stream X-machines
• An integration testing method that is proved to find all faults
• Complete deterministic stream X-machine testing
• Generalised stream X-machines with output delimited type
• Generating test sets from non-deterministic stream X-machines
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1200754 (Why is no real title available?)
• scientific article; zbMATH DE number 1735632 (Why is no real title available?)
• scientific article; zbMATH DE number 1951574 (Why is no real title available?)
• scientific article; zbMATH DE number 1543314 (Why is no real title available?)
• scientific article; zbMATH DE number 1543360 (Why is no real title available?)
• scientific article; zbMATH DE number 1900817 (Why is no real title available?)
• On the Minimality of Stream X-machines
• PX systems = P systems + X machines
• Symbolic execution and program testing
• Testing against a non-controllable stream X-machine using state counting
• Testing conditions for communicating stream \(X\)-machine systems
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing conformance to a quasi-non-deterministic stream X-machine
• Testing methods for X-machines: a review
• Testing Software Design Modeled by Finite-State Machines

Cited in

(9)

• Testing (stream) X-machines
• Testing conditions for communicating stream \(X\)-machine systems
• Testing and spot-checking of data streams
• Fundamental results for learning deterministic extended finite state machines from queries
• Testing based on identifiable P systems using cover automata and X-machines
• Testing against a non-controllable stream X-machine using state counting
• A unified integration and component testing approach from deterministic stream X-machine specifications
• Testing non-deterministic stream X-machine models and P systems
• Checking experiments for stream X-machines

This page was built for publication: Testing data processing-oriented systems from stream X-machine models

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