article

Free access

Testing large software with automated software evaluation systems

Authors:

C. V. Ramamoorthy,

S. F. HoAuthors Info & Claims

ACM SIGPLAN Notices, Volume 10, Issue 6

Pages 382 - 394

https://doi.org/10.1145/390016.808461

Published: 01 April 1975 Publication History

Abstract

In the past few years, research has been actively carried out in an attempt to improve the quality and reliability of large scale software systems. Although progress has been made on the formal proof of program correctness, proving large scale software systems correct by formal proof is still many years away. Automated software tools have been found to be valuable in improving software reliability and attacking the high cost of software systems. This paper attempts to describe some main features of automated software tools and some software evaluation systems that are currently available.

References

[1]

Boehm, B.W., "Software and Its Impact: A Quantitative Assessment," Datamation, May 1973.

[2]

McIntyre, D.E., "An Introduction to the Illiac IV Computer," Datamation, April 1970.

[3]

Vick, C.R., "Specification for Reliable Software," EASCON 74.

[4]

Mills, H.D., "Top Down Programming in Large Systems," Debugging Techniques in Large Systems, R. Rustin (ed.), Prentice Hall, 1971.

[5]

Baker, F.T., "Chief Programmer Team Management of Production Programming," IBM Systems Journal 11, 1972.

[6]

Krause, K.W., Smith, R.W. and Goodwin, M.A., "Optimal Software Test Planning Through Automated Network Analysis," Record 1973 IEEE Symposium on Computer Software Reliability.

[7]

Elpas, B. et al., "An Assessment of Techniques for Proving Program Correctness," Computer Surveys 4 (2), June 1972.

Digital Library

[8]

Good, D.I. and London, R.L., "Computer Interval Arithmetic: Definition and Proof of Correct Implementation," ACM Journal, Oct. 1970.

Digital Library

[9]

Brown, J.R. et al., "Automated Software Quality Assurance," Program Test Methods, W.C. Hetzel (ed.), Prentice Hall, 1973.

[10]

Ramamoorthy, C.V., Meeker, R.E. and Turner, J., "Design and Construction of an Automated Software Evaluation System," Record 1973 IEEE Symposium on Software Reliability.

[11]

Haney, H.M., "Module Connection Analysis - A Tool for Scheduling Software Debugging Activities," Proceedings Fall Joint Computer Conference 1972.

[12]

McGonagle, J.D., A Study of a Software Development Project, James P. Anderson & Co., Sept. 1971.

[13]

Stucki, L.G., "Automatic Generation of Self-Metric Software," Record 1973 IEEE Symposium on Computer Software Reliability.

[14]

Miller, E.F. et al., "Structurally Based Automatic Program Testing, EASCON 74.

[15]

Ramamoorthy, C.V. and Ho, S.F., "FORTRAN Automatic Code Evaluation System," Electronics Research Laboratory Report M-466, University of California at Berkeley, August 1974.

[16]

Teichroew, D., "Problem Statement Language in MIS," System Analysis Techniques, Couger and Knapp (eds.), John Wiley & Sons, New York, 1974.

[17]

IBM, "The Time Automated Grid System (TAG): Sales and Systems Guide," IBM C20-8075 (1961) and F20-8136 (1963).

[18]

Rose, C.W., "LOGOS and the Software Engineer," AFIPS Proceedings Fall Joint Computer Conference 1972.

[19]

Burger, R.T., "AUTASIM: A System for Computerized Assembly of Simulation Models," Winter Simulation Conference, SIGPLAN Notices, January 1974.

Digital Library

[20]

Ramamoorthy, C.V., "Analysis of Graphs by Connectivity Considerations," Journal of the Association for Computing Machinery 13, April 1966.

Digital Library

[21]

Howard, J.H. and Alexander, W.P., "Analyzing Sequences of Operations Performed by Programs," Program Test Methods, W.C. Hetzel (ed.), Prentice Hall, 1973.

[22]

Knuth, D.E. and Stevenson, F.R., "Optimal Measurement Points for Program Frequency Counts," BIT 1973.

[23]

Chandy, K.M. and Ramamoorthy, C.V., "Optimal Rollback," IEEE Transactions on Computers C-21 (6), June 1972.

[24]

Ramamoorthy, C.V., Cheung, R.C. and Kim, K.H., "Reliability and Integrity of Large Computer Programs," Electronics Research Laboratory Report M-430, University of California at Berkeley, March 1974.

[25]

Connet, J.R., Pasternak, E.J. and Wagner, B.D., "Software Defenses in Real Time Control Systems," Digest of Papers of the 1972 International Symposium on Fault-Tolerant Computing, June 1972.

[26]

Zelkowitz, M.V., "Compiler Generated Program Analysis," to appear.

[27]

Bernstein, A.J., "Analysis of Programs for Parallel Processing," IEEE Transactions on Computers, Oct. 1966.

[28]

Gonzalez, M.J. and Ramamoorthy, C.V., "Program Suitability for Parallel Processing," IEEE Transactions on Computers, June 1971.

[29]

Boehm, B.W., Brown, J.R., Karper, H., Lipov, M., MacLeod, G.J. and Meritt, M.J., "Characteristics of Software Quality," TRW-SS-73-09, TRW Systems Group, Dec. 1973.

[30]

Blair, J., "Extendable Non-Interactive Debugging," Debugging Techniques in Large Systems, R. Rustin (ed.), Prentice Hall, 1971.

[31]

Reifer, D.J., "Automated Aids for Reliable Systems," 1975 International Conference on Reliable Software.

Digital Library

Cited By

(2018)A Surwey of Automated Testing ToolsVFAST Transactions on Software Engineering10.21015/vtse.v13i1.492(15-21)Online publication date: 1-Feb-2018
https://doi.org/10.21015/vtse.v13i1.492
Luitel GStephan MInclezan D(2016)Model level design pattern instance detection using answer set programmingProceedings of the 8th International Workshop on Modeling in Software Engineering10.1145/2896982.2896991(13-19)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2896982.2896991
Gerpheide CSchiffelers RSerebrenik A(2016)Assessing and improving quality of QVTo model transformationsSoftware Quality Journal10.1007/s11219-015-9280-824:3(797-834)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s11219-015-9280-8
Show More Cited By

Index Terms

Testing large software with automated software evaluation systems

Recommendations

Testing large software with automated software evaluation systems
Proceedings of the international conference on Reliable software

In the past few years, research has been actively carried out in an attempt to improve the quality and reliability of large scale software systems. Although progress has been made on the formal proof of program correctness, proving large scale software ...
Testing large software with automated software evaluation systems

In the past few years, research has been actively carried out in an attempt to improve the quality and reliability of large-scale software systems. Although progress has been made on the formal proof of program correctness, proving large-scale software ...
A software design for integrating DESTINATION with ACEIT
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

Several automated tools are currently available to support both system engineering and cost estimation activities. While data generated and used by these tools has been shored between the two disciplines, there has generally been a minimal degree of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 10, Issue 6

International Conference on Reliable Software

June 1975

563 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/390016

Issue’s Table of Contents

Proceedings of the international conference on Reliable software
April 1975
567 pages
ISBN:9781450373852
DOI:10.1145/800027
Chairmen:
Martin L. Shooman,
Raymond T. Yeh

Copyright © 1975 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1975

Published in SIGPLAN Volume 10, Issue 6

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

44
Total Citations
View Citations
2,441
Total Downloads

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

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

(2018)A Surwey of Automated Testing ToolsVFAST Transactions on Software Engineering10.21015/vtse.v13i1.492(15-21)Online publication date: 1-Feb-2018
https://doi.org/10.21015/vtse.v13i1.492
Luitel GStephan MInclezan D(2016)Model level design pattern instance detection using answer set programmingProceedings of the 8th International Workshop on Modeling in Software Engineering10.1145/2896982.2896991(13-19)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2896982.2896991
Gerpheide CSchiffelers RSerebrenik A(2016)Assessing and improving quality of QVTo model transformationsSoftware Quality Journal10.1007/s11219-015-9280-824:3(797-834)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s11219-015-9280-8
Eldh SAndersson KErmedahl AWiklund K(2014)Towards a Test Automation Improvement Model (TAIM)Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops10.1109/ICSTW.2014.38(337-342)Online publication date: 31-Mar-2014
https://dl.acm.org/doi/10.1109/ICSTW.2014.38
HOWLEY PSCHOLTEN R(2013)Test tool implementationComputers in Aerospace Conference10.2514/6.1977-1447Online publication date: 18-Feb-2013
https://doi.org/10.2514/6.1977-1447
Browne JJohnson DWilkes MBelady LSu YHayman HEnslow P(1978)FASTProceedings of the 3rd international conference on Software engineering10.5555/800099.803204(142-148)Online publication date: 10-May-1978
https://dl.acm.org/doi/10.5555/800099.803204
White JBooth TYeh RRamamoorthy C(1976)Towards an engineering approach to software designProceedings of the 2nd international conference on Software engineering10.5555/800253.807678(214-222)Online publication date: 13-Oct-1976
https://dl.acm.org/doi/10.5555/800253.807678
Fulton RVoigt S(1976)COMPUTER-AIDED DESIGN AND COMPUTER SCIENCE TECHNOLOGYComputer Science and Scientific Computing10.1016/B978-0-12-528540-7.50007-1(57-82)Online publication date: 1976
https://doi.org/10.1016/B978-0-12-528540-7.50007-1
Puhakka TPalola M(2006)Towards automating testing of communicational B3G applicationsProceedings of the 3rd international conference on Mobile technology, applications & systems10.1145/1292331.1292362(27-es)Online publication date: 25-Oct-2006
https://dl.acm.org/doi/10.1145/1292331.1292362
Sneed HHuang S(2006)WSDLTest - A Tool for Testing Web ServicesProceedings of the Eighth IEEE International Symposium on Web Site Evolution10.1109/WSE.2006.24(14-21)Online publication date: 23-Sep-2006
https://dl.acm.org/doi/10.1109/WSE.2006.24
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents