Automatic generation of run-time test oracles for distributed real-time systems

DOI10.1007/978-3-540-30232-2_13MaRDI QIDQ5464471zbMATH OpenOpenAlexFDO

Authors Xin Wang, Ji Wang, Zhichang Qi, Xin Wang

Publication date 18 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100576

Mathematics Subject Classification ID

Distributed systems (68M14) 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 2176512
• A method for testing real-time systems based on timed automata
• Automated Technology for Verification and Analysis
• A method for testing real-time system based on timed automata
• Generating time test cases with oracles for real-time software

Cited in

(1)

• Generating time test cases with oracles for real-time software

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Automatic generation of run-time test oracles for distributed real-time systems

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