Strategic directions in software quality

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Strategic directions in software quality

Full text

Pdf (212 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 4 (December 1996) table of contents
Special ACM 50th-anniversary issue: strategic directions in computing research

Pages: 738 - 750

Year of Publication: 1996

ISSN:0360-0300

Author

Leon Osterweil

Univ. of Massachusetts, Amherst

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 123, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/242223.242288 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.

	1	BALZER, R. 1969. EXDAMS--Extendable Debugging and Monitoring System. In 1919 Spring Joint Computer Conference. AFIPS Press.
	2	V R Basili , R W Selby , D H Hutchens, Experimentation in software engineering, IEEE Transactions on Software Engineering, v.12 n.7, p.733-743, July 1986
	3	CLARKE, L.A. 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 215- 222.
	4	DEMILLO, R., LIPTON, R., AND SAYWARD, F. 1979. Program mutation: A new approach to program testing. InfoTech State of the Art Report: Software Testing 2, 107-128.
	5	Matthew B. Dwyer , Lori A. Clarke, Data flow analysis for verifying properties of concurrent programs, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.62-75, December 06-09, 1994, New Orleans, Louisiana, United States
	6	M. E. Fagan, Design and code inspections to reduce errors in program development, IBM Systems Journal, v.38 n.2-3, p.258-287, 1999
	7	Susan Gerhart , Dan Craigen , Ted Ralston, Experience with Formal Methods in Critical Systems, IEEE Software, v.11 n.1, p.21-28, January 1994 [doi>10.1109/52.251198]
	8	John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
	9	HOWDEN, W. 1976. Reliability of the path analysis testing strategy. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 280-215.
	10	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	11	James C. King, A new approach to program testing, Proceedings of the international conference on Reliable software, p.228-233, April 21-23, 1975, Los Angeles, California
	12	Barbara Ann Kitchenham, Evaluating software engineering methods and tool—part 2: selecting an appropriate evaluation method—technical criteria, ACM SIGSOFT Software Engineering Notes, v.21 n.2, p.11-15, March 1996 [doi>10.1145/227531.227533]
	13	LASKI, J. AND KOREL, B. 1983. A data flow oriented program testing strategy. IEEE Trans. Softw. Eng. SE-9, 3 (May), 347-354.
	14	LUCKHAM, D. AND vONHENKE, F. 1985. An overview of ANNA, a specification language for Ada. IEEE Softw. 2, 2 (March), 9-24.
	15	MCCABE, T. 1976. A complexity measure. IEEE Trans. Softw. Eng. SE-1, 308-320.
	16	NTAFOS, S.C. 1984. On required element testing. IEEE Trans. Softw. Eng. SE-IO, 6 (Nov.), 795-803.
	17	Leon Osterweil, Integrating the testing, analysis and debugging of programs, Proc. of a symposium on Software validation: inspection-testing-verification-alternatives, p.73-102, October 1984, Darmstadt, Germany
	18	OSTERWEIL, L. J. AND FOSDICK, L. 1976. DAVE--a validation, error detection, and documentation system for Fortran programs. Softw. Pract. Exper. 6, 4 (Oct.), 473-486.
	19	PFLEEGER, S.L. 1995. Experimental design and analysis in software engineering. Ann. Softw. Eng. 1, 1, 219-253.
	20	Sandra Rapps , Elaine J. Weyuker, Selecting software test data using data flow information, IEEE Transactions on Software Engineering, v.11 n.4, p.367-375, April 1985 [doi>10.1109/TSE.1985.232226]
	21	Debra J. Richardson, TAOS: Testing with Analysis and Oracle Support, Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, p.138-153, August 17-19, 1994, Seattle, Washington, United States [doi>10.1145/186258.187158]
	22	RYDER, B. 1974. The PFORT verifier. Softw. Pract. Exper. 4, 359-378.
	23	J. M. Spivey, Understanding Z: a specification language and its formal semantics, Cambridge University Press, New York, NY, 1988
	24	STUCKI, L. 1973. Automatic generation of selfmetric software. In Record of the 1973 IEEE Symposium on Software Reliability (April), IEEE Computer Society, Washington, DC, 94-100.
	25	WATSON, A. AND MCCABE, T. 1996. Structured testing: A testing methodology using the cyclomatic complexity metric. National Institute of Standards and Technology, Gaithersburg, MD, (NIST) Special Publication, 500-235.

CITED BY 13

	Edward L. Jones, Integrating testing into the curriculum — arsenic in small doses, ACM SIGCSE Bulletin, v.33 n.1, p.337-341, March 2001
	Edward L. Jones, Software testing in the computer science curriculum -- a holistic approach, Proceedings of the Australasian conference on Computing education, p.153-157, December 2000, Melbourne, Australia
	Edward L. Jones , Christy L. Chatmon, A perspective on teaching software testing, Journal of Computing Sciences in Colleges, v.16 n.3, p.92-100, March 2001
	Mary Jean Harrold, Testing: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.61-72, June 04-11, 2000, Limerick, Ireland
	Noushin Ashrafi, The impact of software process improvement on quality: in theory and practice, Information and Management, v.40 n.7, p.677-690, August 2003
	Fereydoun Kazemian , Trudy Howles, A software testing course for computer science majors, ACM SIGCSE Bulletin, v.37 n.4, December 2005
	B. Childers , M. L. Soffa , Jonathan Beaver , L. Ber , K. Cammarata , T. Kane , J. Litman , J. Misurda, SoftTest: a framework for software testing of Java programs, Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange, p.79-83, October 27-27, 2003, Anaheim, California
	Osman Balci , Richard E. Nance , James D. Arthur , William F. Ormsby, Improving the model development process: expanding our horizons in verification, validation, and accreditation research and practice, Proceedings of the 34th conference on Winter simulation: exploring new frontiers, December 08-11, 2002, San Diego, California
	C. Michael Overstreet, Improving the model development process: model testing: is it only a special case of software testing?, Proceedings of the 34th conference on Winter simulation: exploring new frontiers, December 08-11, 2002, San Diego, California
	Jonathan Misurda , James A. Clause , Juliya L. Reed , Bruce R. Childers , Mary Lou Soffa, Demand-driven structural testing with dynamic instrumentation, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Joseph A. Cottam , Joshua Hursey , Andrew Lumsdaine, Representing unit test data for large scale software development, Proceedings of the 4th ACM symposium on Software visuallization, September 16-17, 2008, Ammersee, Germany
	Ivan J. Jureta , Caroline Herssens , Stéphane Faulkner, A comprehensive quality model for service-oriented systems, Software Quality Control, v.17 n.1, p.65-98, March 2009
	Denis Kozlov , Jussi Koskinen , Markku Sakkinen , Jouni Markkula, Assessing maintainability change over multiple software releases, Journal of Software Maintenance and Evolution: Research and Practice, v.20 n.1, p.31-58, January 2008