Article

Free access

Quantifying the test effectiveness of Algol 68 programs

Authors:

M. A. Hennell,

D. Hedley,

M. R. WoodwardAuthors Info & Claims

Proceedings of the Strathclyde ALGOL 68 conference

Pages 36 - 41

https://doi.org/10.1145/800238.807140

Published: 29 March 1977 Publication History

PDF eReader

Abstract

In this paper we describe how a software testbed is used to determine the quality of testing of Algol 68 programs. The system monitors the execution of an Algol 68 program and obtains a run-time execution history. This history is then compared with the results of a static analysis and three levels of testing are calculated. The third level is an extension to Algol 68 of a method originally devised for analysing Fortran IV programs. The system has been used extensively in the coordination stage of the NAG Algol 68 numerical algorithms library and we quote some results obtained from an analysis of stringent tests on these library routines.

References

[1]

M.A. Hennell, "An Experimental Testbed for Numerical Software: I Fortran", to be published in Computer Journal.

Google Scholar

[2]

M.A. Hennell and D. Hedley, "An Experimental Testbed for Numerical Software: II Algol 68", submitted for publication.

Google Scholar

[3]

M.A. Hennell, M.R. Woodward and D. Hedley, "On Program Analysis", Information Processing Letters Vol. 5, No. 5, (1976)

Crossref

Google Scholar

[4]

M.A. Hennell, D. Hedley and M. R. Woodward, "Experience with an Algol 68 Numerical Algorithms Testbed", Proc. Poly. Inst. of New York Series, April 1976, Vol. XXIV, Ed. J. Fox, Wiley and Sons.

Google Scholar

[5]

M.A. Hennell, M.R. Woodward and D. Hedley, "Towards More Advanced Testing Techniques", CSS Report, University of Liverpool.

Google Scholar

[6]

J. R. Brown, "Practical Applications of Automated Software Tools", TRW Report TRW-SS-72-05, TRW Systems, One Space Park, Redondo Beach, California.

Google Scholar

Cited By

View all

Chi-Ming Chung Huan-Chao Ken Ying-Hong Wang Wei-Chuan Lin Ying-Feng Kou (1994)A quantitative analysis for different testing criteria through program decompositionProceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)10.1109/STRQA.1994.526383(49-53)Online publication date: 1994
https://doi.org/10.1109/STRQA.1994.526383
Woodward MHedley DHennell M(1980)Experience with Path Analysis and Testing of ProgramsIEEE Transactions on Software Engineering10.1109/TSE.1980.2304736:3(278-286)Online publication date: 1-May-1980
https://dl.acm.org/doi/10.1109/TSE.1980.230473
Loboz CRosenberg JKoch D(1990)Monitoring Execution of PS-algol ProgramsPersistent Object Systems10.1007/978-1-4471-3173-1_19(279-288)Online publication date: 1990
https://doi.org/10.1007/978-1-4471-3173-1_19

Index Terms

Quantifying the test effectiveness of Algol 68 programs

Recommendations

Quantifying the test effectiveness of Algol 68 programs
Proceedings of the Strathclyde ALGOL 68 conference

In this paper we describe how a software testbed is used to determine the quality of testing of Algol 68 programs. The system monitors the execution of an Algol 68 program and obtains a run-time execution history. This history is then compared with the ...
Algol 68 as an extensible language

Most programming languages have one or more features which may be considered as extensions of the language. The most common such feature is the procedure, as it exists in Algol 60 or in PL/I, or the subroutine in Fortran. By means of this device it is ...
A semantic view of ALGOL 68

This article presents a semantic view of the programming language ALGOL 68 [1]. The presentation emphasizes those elements of the language which form the basis for viewing an ALGOL 68 program as a composite expression, built-up through embedded ...

Comments

Information & Contributors

Information

Published In

Proceedings of the Strathclyde ALGOL 68 conference

March 1977

199 pages

ISBN:9781450379014

DOI:10.1145/800238

ACM SIGPLAN Notices Volume 12, Issue 6
Proceedings of the Strathclyde ALGOL 68 conference
June 1977
191 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872738
Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 March 1977

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
201
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)7

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chi-Ming Chung Huan-Chao Ken Ying-Hong Wang Wei-Chuan Lin Ying-Feng Kou (1994)A quantitative analysis for different testing criteria through program decompositionProceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)10.1109/STRQA.1994.526383(49-53)Online publication date: 1994
https://doi.org/10.1109/STRQA.1994.526383
Woodward MHedley DHennell M(1980)Experience with Path Analysis and Testing of ProgramsIEEE Transactions on Software Engineering10.1109/TSE.1980.2304736:3(278-286)Online publication date: 1-May-1980
https://dl.acm.org/doi/10.1109/TSE.1980.230473
Loboz CRosenberg JKoch D(1990)Monitoring Execution of PS-algol ProgramsPersistent Object Systems10.1007/978-1-4471-3173-1_19(279-288)Online publication date: 1990
https://doi.org/10.1007/978-1-4471-3173-1_19

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Quantifying the test effectiveness of Algol 68 programs

Algol 68 as an extensible language

A semantic view of ALGOL 68