Checking experiments for stream X-machines

DOI10.1016/J.TCS.2010.05.014zbMATH Open1214.68215OpenAlexW2111194527MaRDI QIDQ987982FDOQ987982

Authors: Robert M. Hierons 

Publication date: 24 August 2010

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

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

Recommendations

• Testing (stream) X-machines
• Testing conformance to a quasi-non-deterministic stream X-machine
• Complete deterministic stream X-machine testing
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing conditions for communicating stream \(X\)-machine systems
• An integrated refinement and testing method for stream X-machines
• Testing non-deterministic stream X-machine models and P systems
• Testing non-deterministic stream X-machine models and P systems
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• Testing data processing-oriented systems from stream X-machine models

zbMATH Keywords

stream X-machinestest generationchecking experiment

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• PX systems = P systems + X machines
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing against a non-controllable stream X-machine using state counting
• A method for refining and testing generalised machine specifications
• Testing Software Design Modeled by Finite-State Machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• An integration testing method that is proved to find all faults
• Title not available (Why is that?)
• Testing can be formal, too
• Testing conformance to a quasi-non-deterministic stream X-machine
• Generating test sets from non-deterministic stream X-machines
• Title not available (Why is that?)
• A Method for the Design of Fault Detection Experiments
• On minimizing the lengths of checking sequences
• Reduced length checking sequences
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Testing algebraic data types and processes: A unifying theory
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• Title not available (Why is that?)
• Membrane Computing

Cited In (6)

• On the Minimality of Stream X-machines
• Testing based on identifiable P systems using cover automata and X-machines
• A unified integration and component testing approach from deterministic stream X-machine specifications
• Testing (stream) X-machines
• Testing conditions for communicating stream \(X\)-machine systems
• Fundamental results for learning deterministic extended finite state machines from queries

This page was built for publication: Checking experiments for stream X-machines

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