Specification for testingβthe removal of
β
I. Spence
π
Article
π
1998
π
John Wiley and Sons
π
English
β 126 KB
A good specification of a software system is the best foundation for good testing, and automated testing really requires a formal specification. A formal specification of the operations provided by a system is typically written at an abstract level. The data types of any arguments and result values