HOTL: Hypotheses and observations testing logic

DOI10.1016/J.JLAP.2007.03.002MaRDI QIDQ2469152zbMATH OpenOpenAlexFDO

Authors Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez

Publication date 4 February 2008

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.2007.03.002

zbMATH Keywords

conformance testingfinite state machinesformal testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
• A Brief Introduction to $\mathcal{THOTL}$
• Testing can be formal, too
• Formalization of a test experiment. II
• Formalization of test experiments

Cites work

• A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
• A passive testing approach based on invariants: application to the WAP
• scientific article; zbMATH DE number 1973972 (Why is no real title available?)
• scientific article; zbMATH DE number 2013792 (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?)
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing Software Design Modeled by Finite-State Machines

Cited in

(14)

• Testing from a stochastic timed system with a fault model
• A semantics and methodology for \textit{ceteris paribus} hypotheses
• Implementation relations and test generation for systems with distributed interfaces
• Formalization of a test experiment. II
• Architecture-guided test resource allocation via logic
• Formally transforming user-model testing problems into implementer-model testing problems and viceversa
• Introducing complexity to formal testing
• A General Testability Theory
• A Formal Methodology to Test Complex Heterogeneous Systems
• A Brief Introduction to $\mathcal{THOTL}$
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Tests and refutation
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• Formalization of test experiments

This page was built for publication: \(\mathcal {HOTL}\): Hypotheses and observations testing logic

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