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

DOI10.1016/J.JLAP.2009.01.003zbMATH Open1175.68073OpenAlexW2092701038MaRDI QIDQ2270684FDOQ2270684

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

Recommendations

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

zbMATH Keywords

conformance testingprobabilistic systemsfault modelsuser models

Mathematics Subject Classification ID

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

Cites Work

• Testing Software Design Modeled by Finite-State Machines
• Title not available (Why is that?)
• A passive testing approach based on invariants: application to the WAP
• Testing Programs with the Aid of a Compiler
• Title not available (Why is that?)
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Title not available (Why is that?)
• 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

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)