Sciweavers

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

21

ZUM
1995
Springer

favoriteEmaildiscussreport

91views Formal Methods» more ZUM 1995»

Testing as Abstraction

14 years 2 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)