๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Relationship between specifications and testing

โœ Scribed by PAV Hall

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
583 KB
Volume
33
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

โœฆ Synopsis

The relations~tip between ~speci [Jcations and testing is explored through considering what can legitimately he deduced about software given its per[ormanee on a number ~!/ test eases. Current approaches to test ease construction are sketched, and then a number ~?[alternative approaches to test theory are considered, namely, induction, statistical hypothesis testing, interpolation and extrapo/ation. This leads in the end to a [ormu[ation based on approximation theory. s~?[tware testing, spee(fieations, test case construction

๐Ÿ“œ SIMILAR VOLUMES

The relationship between logic programs
The relationship between logic programs and specifications-the subset example revisited
โœ Kung-Kiu Lau; Mario Ornaghi ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1000 KB

The fundamental relation between a program P and its specification S is correctness: P satisfies S if and only if P is correct with respect to S. In logic programming, this relationship can be particularly close, since logic can be used to express both specifications and programs. Indeed logic progr

Relationships between perfectionism and
Relationships between perfectionism and specific disordered eating behaviors
โœ Forbush, Kelsie ;Heatherton, Todd F. ;Keel, Pamela K. ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Wiley (John Wiley & Sons) ๐ŸŒ English โš– 95 KB ๐Ÿ‘ 2 views

## Abstract ## Objective: Perfectionism has been reported as a specific risk factor for anorexia nervosa and bulimia nervosa, but not binge eating disorder. This study examined whether these differences are due to differential associations between perfectionism and specific eating disorder behavio