The paper is an attempt to provide a brief survey of the present state-of-the-art for teachers of computer technology. Coverage includes criteria for achieving reliable software, program testing and path testing. The final section provides a practical example of the implementation of the recommended path-testing methodology.
Get full access to this article
View all access options for this article.
References
1.
DepledgeP. G., ‘Reliability considerations for airborne microcomputers’. Ph.D. Thesis, Dept. of Electrical Engineering & Electronics, UMIST, Manchester UK, (1977).
2.
DepledgeP. G. and HartleyM. G., ‘Fault-tolerant microcomputer systems for aircraft’, Institute of Radio and Electronic Engineers Conference Proceedings 36 on Computer Systems and Technology, Sussex University, pp. 205–220, (March 1977).
3.
ShoomanM. L., ‘Reliability Estimation’. Notes on Adv. Course for Computing Systems Reliability, Univ. of Newcastle-upon-Tyne, (31st July-11th August 1978). AndersonT. and RandellB. (Eds.) Computing Systems Reliability. Cambridge University Press, (1979).
4.
HilburnJ. L. and JulichP. M., Microcomputers/Microprocessors: Hardware. Software and Applications, Prentice-Hall Inc. (1976).
5.
MiyamotoI.‘Toward an effective software reliability evaluation’, Proc. of the 3rd Int. Conference on Software Engineering, Atlanta, Georgia, USA. p. 46–55 (May 10th–12th 1978).
6.
RubeyR. J. and HartwickR. D.‘Quantitative Measurement of Program Quality’, Proc. of the ACM National Conference, pp. 671–677 (1968).
7.
SchneiderindN. F., ‘Analysis of error processes in computer software’, Proc. 1975 Int. Conference on Reliable Software, Los Angeles, pp. 337–346 (April 21st–23rd 1975).
8.
JelinskiJ. and MorandaP., ‘Software Reliability Research’, Statistical Computer Performance Evaluation, ed. FreibergerWalter, Academic Press, pp. 465–485 (1972).
9.
MusaJ. D., ‘A theory of software reliability and its application’, IEEE Trans on Software Engineering, SE-1, No. 3, pp. 312–327 (September 1975).
10.
EndresA.‘An analysis of errors and their causes in system programs’, IEEE Trans, on Software Engineering, SE-1, No. 2 pp. 140–149 (June 1975).
11.
MorganD. E. and TaylorD. J., ‘A survey of Methods of Achieving Reliable Software’, Computer, pp. 44–53 (Feb. 1977).
12.
RandellB., ‘System structure for software fault-tolerance’, IEEE Trans, on Software Engineering, SE-1, No. 2, pp. 220–232 (June 1975).
13.
HoltR. C. and HumeJ. N. P., Fundamentals of Structured Programming Using Fortran with SF/K and WATFIV-S, Rexton Publishing Co., (1977).
14.
AndersonT. and RandellB. (Eds.), Computing Systems Reliability, Cambridge University Press (1979).
15.
Melliar-SmithP. M., ‘Systems Specification’, Notes on Advanced Course on Computing Systems Reliability, University of Newcastle-on-Tyne (31st July–11th August 1978). AndersonT. and RandellB., (Eds.), Computing Systems Reliability, Cambridge University Press (1979).
16.
FlynnR. J., Design of computer software, Proc. of 1975 Annual Reliability & Maintainability Symposium, pp. 476–478 (January 1975).
17.
BoehmB. W., ‘Software Engineering’, IEEE Trans, on Computers, C-25, No. 12, pp. 1226–1241 (December 1976).
18.
MillerE. F.Jr., ‘Methodology for comprehensive software testing’Rowe Air Development Corporation Report, RADC-TR-75-161 (June 1975).
19.
De MilloR. A.LiptonR. J. and SaywardF. G., ‘Hints on test data selection: help for the practising programmer’. Computer, 11, No. 4, pp. 34–41 (April 1978).
20.
GoodenoughJ. and GerhartS. L., ‘Toward a theory of test data selections’, Proc. Int. Conf. on Reliable Software, Los Angeles (21st–23rd April 1975).
21.
YaacobMashkuri, ‘Systems reliability of a multiple microprocessor configuration’, Ph.D. Thesis, UMIST, Manchester UK (January 1980).
22.
BicevskisJ.BorzovJ.StranjiunsZariusA. and MillerE. F.Jr., ‘SMOTL — A system to construct samples for data processing program debugging’, IEEE Trans, on Software Engineering, SE-5, No. 1, pp. 60–65 (January 1979).
23.
IEEE Transactions on Reliability. Vol. R-28, No. 3 (August 1979).
