Information gain of black-box testing

DOI10.1007/S00165-011-0175-6MaRDI QIDQ640298zbMATH OpenOpenAlexFDO

Authors Linmin Yang, Zhe Dang, Thomas R. Fischer

Publication date 18 October 2011

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-011-0175-6

zbMATH Keywords

entropyfinite automatablack-box testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A Note on an Anomaly in Black-Box Testing
• Formal Approaches to Software Testing
• A Stochastic Theory of Black-Box Software Testing
• Information flow testing
• Black-box testing based on colorful taint analysis
• scientific article; zbMATH DE number 1418458

Cites work

• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 2013781 (Why is no real title available?)
• scientific article; zbMATH DE number 1916673 (Why is no real title available?)
• A Mathematical Theory of Communication
• Formally transforming user-model testing problems into implementer-model testing problems and viceversa
• Introduction to Software Testing
• Irreversibility and Heat Generation in the Computing Process
• Model-based testing of reactive systems. Advanced lectures.
• Physics and Computation: The Status of Landauer’s Principle
• Statecharts: a visual formalism for complex systems
• Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach

Cited in

(8)

• Execution information rate for some classes of automata
• A Semantic Framework for Test Coverage
• A Stochastic Theory of Black-Box Software Testing
• scientific article; zbMATH DE number 1418458 (Why is no real title available?)
• A Note on an Anomaly in Black-Box Testing
• Zero-knowledge blackbox testing: where are the faults?
• scientific article; zbMATH DE number 1916673 (Why is no real title available?)
• Information rate of some classes of non-regular languages: an automata-theoretic approach

Describes a project that uses

Uses Software

• SPIN
• SCR
• TorX

This page was built for publication: Information gain of black-box testing

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