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

testingstream X-machinesformal specificationgeneral X-machines

Mathematics Subject Classification ID

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

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

(11)

• TESTING USING X-MACHINE TRANSLATIONS
• Model checking safety-critical systems specified as X-machines
• Generating test sets from non-deterministic stream X-machines
• Checking experiments for stream X-machines
• 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
• Generalised stream X-machines with output delimited type
• scientific article; zbMATH DE number 2182430 (Why is no real title available?)
• A method for refining and testing generalised machine specifications

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)