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 testingprobabilistic systemsfault modelsuser 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

• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• 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
• Testing Programs with the Aid of a Compiler
• Testing Software Design Modeled by Finite-State Machines
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic

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)