ACM Home Page
Please provide us with feedback. Feedback
Models and Measurements for Quality Assessment of Software
Full text PdfPdf (1.95 MB)
Source ACM Computing Surveys (CSUR) archive
Volume 11 ,  Issue 3  (September 1979) table of contents
Pages: 251 - 275  
Year of Publication: 1979
ISSN:0360-0300
Author
Siba N. Mohanty  Martin Marietta Laboratories, 1450 South Rolling Road, Baltimore, Maryland
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 11,   Downloads (12 Months): 82,   Citation Count: 21
Additional Information:

references   cited by   index terms  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/356778.356783
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
AKIY71
AKIYAMA, F. "An example of software system debugging," Proc. IFIP Congress, pp. 353-358, 1971.
 
BARL75
BARLOW, R. E., AND PROSCHAN, F. Mathemattcal theory of rehabdtty, Holt, Rinehart and Winston, New York, 1975.
 
BASI75
BASILI, V. R., AND TURNER, A J. "A transportable extendable compiler," Software--Practwe and Experience 5 (July 1975), 269-278.
 
BELA76
BELADY, L. A., ANt) LEHMANN, M. M. "A model of large program development," IBM Syst. J. 3 (1976), 225-252.
 
BERG73
BEROE, C. Graphs and hypergraphs, American Elsevier, New York, 1973.
 
BLAZ69
BLAZER, R.H. "EXDAMS--extensible debugging and monitoring system," in Proc. AFIPS 1969 Spring Jt. Computer Conf., Vol. 34, AFIPS Press, Montvale, N.J., pp. 567-580, 1969.
 
BOEH73a
BOEHM, B.W. "Software and its impact; a quantitative assessment," Datamation, (May 1973), 48-59.
 
BOEH73b
BOEHM, B.W. "The high cost of software," in Proc. Symp. High Cost of Software, Jack Goldberg (Ed.), SRI International, Menlo Park, Calif., 1973, pp. 27--40
 
BROW75
BROWN, J R., AND LIPOW, M. Testing for software rehabd~ty, TRW Rep. TRW- SS-75-02, TRW, Redondo Beach, Cahf, Jan 1975.
 
CHAN73
 
CHAN74
 
DEO74
 
DILW50
DILWORTH, R. P "A decomposition theorem for partially ordered sets," Ann. Math. 51, 1 (Jan. 1950).
FITZ78
 
FUNA76
FUSAMI, Y., AND HALSTEAD, M. H "A software physics analysis of Aklyama's debugging data," m Proc. MRI Symp. Computer Software Engmeering, J Fox (Ed), Polytechnic Press, New York, 1976, pp. 133-138.
GILE74
 
GORD67
GORDON, C. K JR. Introductton to mathematical structures, Dmkenson Publishing Co., Belmont, Calif., 1967.
HALS72
 
HALS75a
HALSTEAD, M. H. Software physws basw principles, IBM Res. Rep. RJ 1582, IBM Research Lab., San Jose, Calif, May 1975
HALS75b
 
HALS77
 
HAMI78
 
HAML77
HAMLET, R.G. "Testing programs with the aid of a compiler," IEEE Trans Cornput. SE-3, 4 (July 1977).
 
HELL72
HELLERMAN, L. "A Measure of computational work," IEEE Trans. Comput. C-21, 5 (May 1972), 439-446.
 
HETC77
HETCHT, H. Measurement esttmatmn and prediction of software reliabdtty, NASA-CR-145205, NASA Langley Research Center, Jan. 1977.
 
HETZ73
HETZEL, W.C. "Principles of computer program testing," in Program test methods, Prentice-Hall, Englewood Cliffs, N.J., 1973, pp. 17-28.
HOAR71
 
HOWD76
HOWDEN, W.E. "Rehabflity of the path analysis testing strategy," IEEE Trans. Software Eng. SE-2, 3 (Sept. 1976).
 
JELI72
JELINSKI, J., AND MORANDA, P. B. "Software rehabillty research," m Probabdtstic models for software, W. Freiberger (Ed), Academic Press, New York, 1972, pp. 485-502.
 
KING70
KING, J. C "A verifying compiler," m Debugging techntques m large systems, R. Rustin (Ed), Prentice-Hall, Englewood Chffs, N.J., 1970, pp. 17-39.
 
KLOB77
KLOBERT, R. K. "Calculatmn of error process of computer program," m Proc. Computers m Aerospace Conf., Los Angeles, Nov. 1977, pp 422-426.
 
LAEM77
LAEMMEL, A, AND SHOOMAN, M. Statistical (natural) language theory and computer program complextty, Poly-EE/ EP-76-020, Dept Electrical Engineering and Electrophysics, Polytechmc Inst. of New York, Brooklyn, N Y., Aug 1977.
 
LIPO73
LIPOW, M. Applwatmn of algebraw methods to computer program analysis, TRW 2260 1.9-73B9, TRW, Redondo Beach, Cahf, May 1973.
 
LITT73
LITTLEWOOD, B., AND VERRALL, J. L "A Bayesmn reliabihty growth model for computer software," in 1973 IEEE Syrup. Computer Software Reliabd~ty, New York, April 1973, pp. 70-77.
 
LITT78
 
LLOY77
LLOYD, D. K., AND LIPOW, M. Rehabdity: management, methods and mathematws, TRW Systems and Energy Group, Redondo Beach, Cahf, 1977
 
MCCA77
MCCALL, J A, RICHARDS, P. K., AND WALTERS, G. F. "Factors in software quahty," RADC-TR-77-369, Rome Air Development Center, Rome, N Y., Nov. 1977.
 
MCMU69
MCMULLEN, C. W. Communwatmn theory principles, McMtllan, New York, 1969. '
 
MEYE76
MEYERS, G. J. Software rehabd~ty: principles and practtces, Wiley, New York, 1976.
 
MEYE78
MEYERS, G.J. "Software rehabfllty is not an equatmn," Computer 11, 6 (June 1978), 82-83.
 
MILL76
MILLS, H. D "Software development," IEEE Trans. Syst. Eng. 2, 4 (1976), 265- 273.
 
MOHA76a
MOHANTY, S. N., AND ADAMOWICZ, M "Proposed measures for the evaluatmn of software," in Computer software engtneerlng, J. Fox (Ed.), Polytechmc Press, New York, 1976, pp 485-497.
 
MOHA76b
MOHANTY, S. N. "AutoraaUc program testing," Ph.D. dissertation, Dept. Electrical Engineering and Electrophysics, Polytechmc Inst. of New York, Brooklyn, N.Y., June 1976.
 
MORA78a
MORANDA, P. B. "Software rehabihty revisited," Computer 11, 4 (April 1978), 92-94.
 
MORA78b
MORANDA, P.B. "Critique of an analys~s of computing software rehabdlty models by Schmk and Wolverton," Computer Reposttory R78-B1, July 1978.
 
MUSA75
MUSA, J D "A theory of software rehabfllty and its apphcatlon," IEEE Trans Software Eng SE-1, 3 (Sept. 1975), 312- 327
 
PARN71
PARNAS, D L. "Information distmbuhon aspects of design methodology," m Proc. IFIP Congress, 1971
 
PETE76
PETERSON, R. J "TESTER/l" an abstract model for the automatm synthesis of program test case specifications," m Computer software engtneertng, J. Fox (Ed.), Polytechmc Press, New York, 1976, pp 465-484
RUBE68
 
SCHI72
SCHICK, G. J., AND WOLVERTON, R. W. "Assessment of software reliability," llth Annum Meeting, German Operation Research Socmty, Hamburg, Germany, Sept 1972
 
SCHI78
SCHICK, G. J., AND WOLVERTON, R. W. "An analysis of competing software rehabfllty models," IEEE Trans. Software Eng SE-4, 2 (1978), 104-120.
 
SCHN77
SCHNEIDEWIND, N F., "The use ofsamulation in the evaluation of software," Computer 10, 4 (April 1977), 47-53.
 
SCHT77
SCHUTT, D. "On a hypergraph ormnted measure for apphed computer scmnce," m Proc. COMPCON, 1977, pp 295-296.
 
SHOO68
SHOOMAN, M.L. Probabd~sttc rehabdsty: an engtneertng approach," McGraw- Hill, New York, 1968
 
SHOO73
SHOOMAN, M. L. "Operational testing and software rehabihty estnnation during program development," 1973 IEEE Symp. Computer Software Reliabthty, April 1973, pp. 51-57.
 
SHOO75
SI-IOOMAN, M. L., AND POPKIN, G. S. "On the number of tests necessary to verify a computer program," m Summary of Technical Progress ~n Software Modelmg Studies, Poly EE/EP-25-004, Dept. Electrmal Engineering and Electrophysms, Polytechmc Inst. of New York, Brooklyn, N.Y., June 1975.
 
SHOO76
 
SHOO77a
SHOOMAN, M.L. "The spectre of software rehabfllty and Its exorcism," m Proc. 1977 Jt. Automattc Control Conf, June 1977, pp. 225-231.
 
SHOO77b
SHOOMAS, M.L. "The role of rehablhty analysis and measurement," in Proc. 1977 Jt Automatic Control Conf, June 1977, pp. 466-471
 
STRO66
STROUD, J. M "The fine structure of psychological tame," in Ann. New York Academy of Sctences, 1966, pp 623-631.
 
SUKE77
SUKERT, A. N "A multi-proJect comparison of software reliabihty models," m Proc AIAA Computers m Aerospace Conf., Nov. 1977, pp. 413-455.
 
WORK78
Workshop dtgest on software testtng and test documentation, Ft. Lauderdale, Fla, Dec. 1978.
ZELK78
 
ZIPF49
ZIPF, G.K. Human behavtour and the prtnctple of least effort, Addison-Wesley, Reading, Mass., 1949.
 
ZIPF65
ZIPF, G K The psycho-btology of language, an tntroductmn to dynamtc phdology, MIT Press, 1965 (first Houghton Mifflin ed, 1935)

CITED BY  21