Sciweavers

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

10

FM
2005
Springer

favoriteEmaildiscussreport

108views Formal Methods» more FM 2005»

Formal Methods and Testing: Hypotheses, and Correctness Approximations

13 years 10 months ago

Formal Methods and Testing: Hypotheses, and Correctness Approximations

Download www.lri.fr

It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various kinds of formal specifications, their submission, and verdict. All these methods rely upon some hypotheses on the system under test that formalise the gap between the success of a test campaign and the correctness of the system under test.

Marie-Claude Gaudel

Real-time Traffic

FM 2005 | Formal Specifications | Software Testing | Test Cases |

claim paper

Related Content

» Testing from Formal Specifications a Generic Approach

» Verifying TestHypotheses An Experiment in Test and Proof

» The Logic of Correctness in Software Engineering

» Algebraic correction methods for computational assessment of clone overlaps in DNA fingerp...

» Combining Heuristics and Formal Methods in a Tool for Supporting SimulationBased Discovery...

» Improving simulationbased verification by means of formal methods

» Mining and Modeling Relations between Formal and Informal Chinese Phrases from Web Corpora

» ModelBased Testing of Environmental Conformance of Components

» From MCDC to RCDC Formalization and Analysis of ControlFlow Testing Criteria

Post Info
More Details (n/a)

Added	29 Jun 2010
Updated	29 Jun 2010
Type	Conference
Year	2005
Where	FM
Authors	Marie-Claude Gaudel

Comments (0)