Formally transforming user-model testing problems into implementer-model testing problems and viceversa

DOI10.1016/J.JLAP.2009.01.003MaRDI QIDQ2270684zbMATH OpenOpenAlexFDO

Authors César Andrés, Luis Llana, Ismael Rodríguez

Publication date 29 July 2009

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2009.01.003

zbMATH Keywords

conformance testingfault modelsprobabilistic systemsuser models

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Using source transformation to test and model check implicit-invocation systems
• Tester versus bug: a generic framework for model-based testing via games

Cites work

• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• A passive testing approach based on invariants: application to the WAP
• Conformance tests for real-time systems with timed automata specifications
• Customized Testing for Probabilistic Systems
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• Fault model-driven test derivation from finite state models: Annotated bibliography
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Testing Programs with the Aid of a Compiler
• Testing Software Design Modeled by Finite-State Machines
• Testing transition systems: An annotated bibliography

Cited in

(1)

• Information gain of black-box testing

This page was built for publication: Formally transforming user-model testing problems into implementer-model testing problems and viceversa

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