A unified integration and component testing approach from deterministic stream X-machine specifications

DOI10.1007/S00165-015-0345-ZMaRDI QIDQ282085zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Dimitris Dranidis

Publication date 12 May 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-015-0345-z

zbMATH Keywords

extended finite state machinesformal specificationsmodel-based testingstream X-machinestest generation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2182430
• Complete deterministic stream X-machine testing
• Testing data processing-oriented systems from stream X-machine models
• Testing against a non-controllable stream X-machine using state counting
• An integrated refinement and testing method for stream X-machines

Cites work

• scientific article; zbMATH DE number 994856 (Why is no real title available?)
• scientific article; zbMATH DE number 5125560 (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 1836407 (Why is no real title available?)
• scientific article; zbMATH DE number 1900817 (Why is no real title available?)
• 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
• Checking experiments for stream X-machines
• Complete deterministic stream X-machine testing
• Generalised stream X-machines and cooperating distributed grammar systems
• Generating test sets from non-deterministic stream X-machines
• On the Minimality of Stream X-machines
• PX systems = P systems + X machines
• Symbolic execution and program testing
• Testing Software Design Modeled by Finite-State Machines
• 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 data processing-oriented systems from stream X-machine models
• Testing methods for X-machines: a review

Cited in

(4)

• Testing data processing-oriented systems from stream X-machine models
• Complete deterministic stream X-machine testing
• Fundamental results for learning deterministic extended finite state machines from queries
• scientific article; zbMATH DE number 2182430 (Why is no real title available?)

Describes a project that uses

Uses Software

• JSXM

This page was built for publication: A unified integration and component testing approach from deterministic stream X-machine specifications

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