Can I read A Theory of Black-Box Tests on EtoBox?

A Theory of Black-Box Tests by Dashti, Mohammad Torabi; Basin, David is a scholarly article available to read on EtoBox.

What is A Theory of Black-Box Tests about?

The purpose of testing a system with respect to a requirement is to refute the hypothesis that the system satisfies the requirement. We build a theory of tests and refutation based on the elementary notions of satisfaction and refinement. We use this theory to characterize the requirements that can be refuted through black-box testing and, dually, verified through such tests. We consider refutation in finite time and obtain the finite falsifiability of hyper-safety temporal requirements as a special case. We extend our theory with computational constraints and separate refutation from enforcement in the context of temporal hyper-properties. Overall, our theory provides a basis to analyze the scope and reach of black-box tests and to bridge results from diverse areas including testing, verification, and enforcement.

Author

Dashti, Mohammad Torabi; Basin, David

Published

2020

Language

EN