Hardware Reference
In-Depth Information
Table 3.
(
continued
)
Which may require preconditions, Pp
All of which runs in environment, Ee
Hence, a Test Case, Tt = Ee Pp Dd Aa Vv"
Contract
"Test-cases common in software engineering are in fact contracts (highly abstract
contracts)… However, our result that test-cases are abstractions holds for general contract
statements involving user inter-action".
[16, p. 8]
"a form of contract between a service provider and a service user"
[60, p. 2]
Other
"An empirical frame of reference, rather than a theoretical one"
[61, p.359]
"…test case is a question that you ask of the program. The point of running the test is to gain
information, for example, whether the program will pass or fail the test"
[18, p. 2]
"A test idea is a brief statement of something that should be tested. For example, if you're
testing a square root function, one idea for a test would be 'test a number less than zero'.
The idea is to check if the code handles an error case"
[18, p. 2]
"a specific set of attribute values that tests a given logical situation"
[62, p. 3]
"a test case can be considered as a predator while a mutant program is analogous to a prey"
[63]
