|
1. |
Editorial |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 1-2
Martin Woodward,
Preview
|
PDF (111KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020102
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
2. |
An example of testing versus verification |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 3-6
Kenneth A. Foster,
Preview
|
PDF (162KB)
|
|
摘要:
AbstractThe verification of an SR flip‐flop is contrasted with a testing approac
ISSN:0960-0833
DOI:10.1002/stvr.4370020103
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
3. |
Formal specification and testing: A case study |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 7-23
Gilbert Laycock,
Preview
|
PDF (812KB)
|
|
摘要:
AbstractZ is a formal notation for writing system specifications that has been growing in popularity over recent years. This paper examines some of the issues involved in applying a ‘partition based’ testing method to a system specified in Z. Details of an extensive case study are given, from specification and implementation of the system to the development and execution of test cases. The strategy is found to have benefits compared to those based on less formal specifications, but there are limitations to the approach, and difficulties that need address
ISSN:0960-0833
DOI:10.1002/stvr.4370020104
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
4. |
The revealing power of a test case |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 25-42
Jeffrey M. Voas,
Keith W. Miller,
Preview
|
PDF (1149KB)
|
|
摘要:
Abstract‘Propagation, infection, and execution analysis’ (termed PIE) is used for predicting where faults can more easily hide in software. To make such predictions, programs are dynamically executed with test cases, and information concerning the test cases is collected into a histogram, each bin of which represents a single test case. The score in a bin predicts the likelihood that the test case will reveal a fault through the production of a failure (if a fault exists in the set of program locations that the test case executes). Preliminary experiments using program mutations suggest that the histogram technique presented in this paper can rank test cases according to their fault revealing abil
ISSN:0960-0833
DOI:10.1002/stvr.4370020105
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
5. |
Rapid evolutionary development: Requirements; prototyping and software creation, Lowell Jay Arthur. Published by John Wiley and Sons Ltd, New York, 1992. ISBN 0471 53049 2, 221 pages. Hardback price: £32.50 |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 43-44
Jim Bieman,
Preview
|
PDF (181KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020106
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
6. |
The Cleanroom approach to quality software development, Michael Dyer. Published by John wiley and Sons Ltd, New York, 1992. ISBN 0471548235, 198 pages. Hardback price £41.50 |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 44-45
Norman Fenton,
Preview
|
PDF (189KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020107
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
7. |
Dependable computing and fault‐tolerant systems, vol 5—dependability: Basic concepts and terminology J. C. Laprie (Ed.) Published by Springer‐Verlag, vienna, 1992 ISBN 321182296 8, 268 pages. Hardback price: DM128.00 |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 45-46
Motoel Azuma,
Preview
|
PDF (159KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020108
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
8. |
STVR diary |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page 47-50
Preview
|
PDF (233KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020109
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
9. |
Masthead |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 1,
1992,
Page -
Preview
|
PDF (84KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020101
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
|