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

DOI10.1007/s00165-015-0345-zzbMath1335.68021OpenAlexW2200619314MaRDI QIDQ282085

Dimitris Dranidis, Florentin Ipate

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

test generationstream X-machinesformal specificationsextended finite state machinesmodel-based testing

Mathematics Subject Classification ID

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

Related Items (1)

Fundamental results for learning deterministic extended finite state machines from queries

Uses Software

• JSXM

Cites Work

• Testing data processing-oriented systems from stream X-machine models
• Checking experiments for stream X-machines
• PX systems = P systems + 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 conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing against a non-controllable stream X-machine using state counting
• Testing methods for X-machines: a review
• A method for refining and testing generalised machine specifications
• Symbolic execution and program testing
• Testing Software Design Modeled by Finite-State Machines
• An integration testing method that is proved to find all faults
• On the Minimality of Stream X-machines
• Testing conformance to a quasi-non-deterministic stream X-machine
• Generating test sets from non-deterministic stream X-machines
• Generalised stream X-machines and cooperating distributed grammar systems
• A structured way to use channels for communication in X-machine systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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