Testing large software with automated software evaluation systems

Authors:
C. V. Ramamoorthy;S. F. Ho
Affiliations:
Computer Science Division, Department of Electrical Engineering and Computer Sciences, Electronics Research Laboratory, University of California, Berkeley;Computer Science Division, Department of Electrical Engineering and Computer Sciences, Electronics Research Laboratory, University of California, Berkeley
Venue:
Proceedings of the international conference on Reliable software
Year:
1975

Citing 5
Cited 10

Analysis of Graphs by Connectivity Considerations

Journal of the ACM (JACM)
Computer Interval Arithmetic: Definition and Proof of Correct Implementation

Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness

ACM Computing Surveys (CSUR)
Automated aids fob reliable software

Proceedings of the international conference on Reliable software
AUTASIM: A system for computerred Assembly of Simulation Models

WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 1

Pascal program development aids

ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
PACE - a microprogram evaluation system

MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
FAST: A second generation program analysis system

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Software reliability and design: A survey

DAC '76 Proceedings of the 13th Design Automation Conference
Towards an engineering approach to software design

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Control flow complexity and structuredness of programs

ACM SIGPLAN Notices
Teaching and learning computer programming: a survey of student problems, teaching methods, and automated instructional tools

ACM SIGCSE Bulletin
FORTRAN error detection through static analysis

ACM SIGSOFT Software Engineering Notes
Techniques in simulation which enhance software reliability

ACM SIGMETRICS Performance Evaluation Review
Towards automating testing of communicational B3G applications

Mobility '06 Proceedings of the 3rd international conference on Mobile technology, applications & systems

Quantified Score

Hi-index	0.00

Visualization

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.