Dynamic black-box
testing
Dynamic black-box testing is testing without having
an insight into the details of the underlying code.
Dynamic, because the program is running
Black-box, because testing is done without knowledge
of how the program is implemented.
Sometimes referred to as behavioral testing.
Requires an executable program and a specification
(or at least a user manual).
Test cases are formulated as a set of pairs
E.g., (input, expected output)