Testing as Abstraction

as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus-operation' style specication. It is explained here, and illustrated with a small example. Test developers can use this method, along with their own skills for choosing good tests, to produce a suite of formal test specications. The project has also developed a prototype tool, which provides organisational support for the (potentially large) collection of test specications as they are generated.

• Type: Conference
• Year: 1995
• Where: ZUM
• Authors: Susan Stepney
• Keywords: Abstraction Susan Stepney, Formal Methods, Logica UK Ltd, Test Speci Cations, ZUM 1995