Testing (stream) X-machines

DOI10.1007/S00200-003-0132-6MaRDI QIDQ1413646zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Marian Gheorghe, Mike Holcombe

Publication date 17 November 2003

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-003-0132-6

zbMATH Keywords

formal specificationgeneral X-machinesstream X-machinestesting

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• Complete deterministic stream X-machine testing
• Checking experiments for stream X-machines
• An integrated refinement and testing method for stream X-machines
• Testing data processing-oriented systems from stream X-machine models
• Testing conditions for communicating stream \(X\)-machine systems
• Testing conformance to a quasi-non-deterministic stream X-machine
• Testing methods for X-machines: a review
• Generating test sets from non-deterministic stream X-machines
• scientific article; zbMATH DE number 2182430

Cited in

(12)

• An integrated refinement and testing method for stream X-machines
• Complete deterministic stream X-machine testing
• Testing conditions for communicating stream \(X\)-machine systems
• Testing methods for X-machines: a review
• scientific article; zbMATH DE number 2182430 (Why is no real title available?)
• Model checking safety-critical systems specified as X-machines
• A method for refining and testing generalised machine specifications
• scientific article; zbMATH DE number 1200754 (Why is no real title available?)
• TESTING USING X-MACHINE TRANSLATIONS
• Generating test sets from non-deterministic stream X-machines
• Generalised stream X-machines with output delimited type
• Checking experiments for stream X-machines

This page was built for publication: Testing (stream) X-machines

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