|
1. |
Editorial |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page 111-111
Robin Whitty,
Preview
|
PDF (89KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020302
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
2. |
Software testing: A selected annotated bibliography |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page 113-132
Marc Roper,
Preview
|
PDF (1488KB)
|
|
摘要:
AbstractA collection of 69 references drawn from books, papers and conference proceedings on the subject of software testing is presented. Each reference is accompanied by a paragraph describing its contents. The aim when selecting the references was to minimize the number and maximize the coverage of the subject. For this reason, the bibliography is primarily intended for the researcher or practitioner who is relatively new to the subject. The bibliography is organized according to the following sections: general introductions; background; testing methods; experimental studies; and tools.
ISSN:0960-0833
DOI:10.1002/stvr.4370020303
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
3. |
Structured inspections of code |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page 133-153
Maarten H. Van Emden,
Preview
|
PDF (1293KB)
|
|
摘要:
AbstractCleanroom programming and code inspections independently provide evidence that it is more efficient to postpone the testing of code to a later stage than is usually done. This paper argues that an additional gain in quality and efficiency of development can be obtained bystructuringinspections by means of an inspectionprotocol.The written part of such a protocol is prepared by the programmer before the inspection. It is modelled on Floyd's method for the verification of flowcharts. However, the protocol differs from Floyd's method in being applicable in practice. Structured inspections gain this advantage by not attempting to be aproof; they are no more than an articulation of existing forms of inspection. With the usual method of structured programming it may be difficult to prepare the inspection protol. On the other hand, ‘assertion‐driven programming’ (of which an example is included in this paper) not only facilitates protocol preparation, but also the coding i
ISSN:0960-0833
DOI:10.1002/stvr.4370020304
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
4. |
Software metrics: A practitioner's guide to improved product development. K. H. Möller and D. J. Paulish. Published by Chapman and Hall, London, U. K., 1992. ISBN 041245900 0, 257 pages. soft Cover, Price: £17.95 |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page 155-157
Chris Miller,
Preview
|
PDF (265KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020306
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
5. |
Book Review: Correction |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page 157-157
Preview
|
PDF (82KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020308
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
6. |
STVR diary |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page 159-163
Preview
|
PDF (321KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020309
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
7. |
Masthead |
|
Software Testing, Verification and Reliability,
Volume 2,
Issue 3,
1992,
Page -
Preview
|
PDF (84KB)
|
|
ISSN:0960-0833
DOI:10.1002/stvr.4370020301
出版商:John Wiley&Sons, Ltd
年代:1992
数据来源: WILEY
|
|