Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ZUM
1995
Springer

favoriteEmaildiscussreport

91views Formal Methods» more ZUM 1995»

Testing as Abstraction

13 years 8 months ago

Testing as Abstraction

Download www-users.cs.york.ac.uk

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.

Susan Stepney

Real-time Traffic

Abstraction Susan Stepney | Formal Methods | Logica UK Ltd | Test Speci Cations | ZUM 1995 |

claim paper

Related Content

» Testing in the Distributed Test Architecture An Extended Abstract

» Engineering Abstractions in Model Checking and Testing

» Improving Test Suites via Operational Abstraction

» TestCase Generation for Embedded Binary Code Using Abstract Interpretation

» Probabilistic Abstraction for Model Checking An Approach Based on Property Testing

» Abstraction Techniques for Validation Coverage Analysis and Test Generation

» Test Coverage Metric for TwoStaged Language with Abstract Interpretation

» Abstraction in AssertionBased Test Oracles

» Testing abstraction theorem proving better together

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	ZUM
Authors	Susan Stepney

Comments (0)