Path: utzoo!attcan!uunet!cs.utexas.edu!wuarchive!usc!apple!rutgers!njin!uupsi!bse.com!eberard From: eberard@bse.com (Edward V. Berard) Newsgroups: comp.software-eng Subject: Re: List of Books Summary: testing bibliography Keywords: testing, debugging, quality assurance Message-ID: <0B010001.tg69oj@bse.com> Date: 6 Nov 90 01:13:10 GMT Reply-To: eberard@bse.com Organization: Berard Software Engineering, Inc. Lines: 454 X-Mailer: uAccess - Mac Release: 0.2.7 In article <1990Nov5.204540.17704@zip.eecs.umich.edu>, nha@crim.eecs.umich.edu (Nejib Ben Hadj-Alouane) writes: > > Hello everyone, > > Does anybody have a list of good textbooks and important research notes > in the field of Software (all areas)? Please mail it to me if you do! > Any format is acceptable. What follows is generally a testing bibliography. You should note several things: - The list includes references on software debugging and software quality assurance, as well as software testing (they are related topics) - Some references deal only in part with software testing, but are included for completeness - There are literally thousands of references (e.g., books, articles, proceeding, and dissertations) on software testing. I hope this helps. -- Ed -------------------------------------- Testing Bibliography [Ackerman et al, 1989]. A. F. Ackerman, L. Buchwald, and F. Lewski, "Software Inspections: An Effective Verification Process," IEEE Software, Vol. 6, No. 3, May 1989, pp. 31 - 36. [Agrawal and Spafford, 1989]. H. Agarwal and E. Spafford, "Bibliography on Debugging and Backtracking," Software Engineering Notes, Vol. 14, No. 2, April 1989, pp. 49 - 56. [Anderson, 1979]. R.B. Anderson, Proving Programs Correct, John Wiley and Sons, New York, New York, 1979. [Aron, 1974]. J.D. Aron, The Program Development Process, The Individual Programmer, Addison-Wesley Publishing Co., Reading, Massachusetts, 1974. [Balfour, 1988]. B. Balfour, "On 'Unit Testing' and other Uses of the Term 'Unit'," MCC '88 Military Computing Conference, Military Computing Institute, 1988, pp. 127 - 130. [Basili and Selby, 1987]. V.R. Basili and R.W. Selby, "Comparing the Effectiveness of Software Testing Strategies," IEEE Transactions on Software Engineering, Vol. 13, No. 12, December 1987, pp. 1278 - 1296. [Bates, 1989]. P. Bates, "Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior,"JSIGPLAN Notices, Vol. 24, No. 1, January 1989, pp. 11 - 22. [Beizer, 1983]. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York, New York, 1983. [Beizer, 1990]. B. Beizer, Software Testing Techniques, Second Edition, Van Nostrand Reinhold, New York, New York, 1990. [Berg et al, 1982]. H.K. Berg, W.E. Boebert, W.R. Franta, and T.G. Moher, Formal Methods of Program Verification and Specification, Prentice-Hall, Englewood Cliffs, New Jersey, 1982. [Bessen and Queyras, 1987]. M. Bessen and B. Queyras, "GET: A Test Generator for Ada," Ada Components: Libraries and Tools -- Proceedings of the Ada-Europe International Conference, Stockholm 26-28 May 1987, Cambridge University Press, Cambridge, United Kingdom, 1987, pp. 237 - 252. [Bowen, 1985]. J.B. Bowen, "Are Current Approaches Sufficient for Measuring Software Quality?," Tutorial on Software Quality Assurance Practical Approach, ed. T.S. Chow, IEEE Computer Society Press, New York, New York, 1985, pp. 62-69. [Brown and Sampson, 1973]. A.R. Brown and W.A. Sampson, Program Debugging, Macdonald, London, United Kingdom, 1973. [Carver, 1989]. R. Carver, Testing, Debugging, and Analysis of Concurrent Software, Ph.D. Thesis, North Carolina State University at Raleigh, Raleigh, North Carolina, (UMI Order No. GAX89-18077), 1989. [Carver and Tai, 1989]. R. Carver and K.C. Tai, "Deterministic Execution Testing of Concurrent Ada Programs," Proceedings of TRI-Ada '89 -- Ada Technology In Context: Application, Development, and Deployment, October 23-26, 1989, Association for Computing Machinery, New York, New York, pp. 528 - 544. [Cho, 1980]. Chin-Kuei, An Introduction to Software Quality Control, John Wiley and Sons, New York, New York, 1980. [Chow, 1985]. T.S. Chow, Editor, IEEE Tutorial: Software Quality Assurance: A Practical Approach, IEEE Computer Society Press, Silver Spring, Maryland, 1985. [Chusho, 1987]. T. Chusho, "Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing," IEEE Transactions on Software Engineering, Vol. SE-13, No. 5, May 1987, pp. 509 - 517. [Crosby, 1979]. P. B. Crosby, Quality is Free, The New American Library, Inc., New York, New York, 1979. [DeMillo, et. al., 1987]. R. DeMillo, W. McCracken, R. Martin, J. Passafiume, Software Test and Evaluation, Benjamin/Cummings, Menlo Park, California, 1987. [Dencker, 1989]. P. Dencker, "The Ada-IDAS Project Monitoring Task States," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 81 - 87. [Dijkstra, 1969]. E.W. Dijkstra, "Structured Programming," reprinted in Software Engineering, Concepts and Techniques, Buxton, Naur, Randall, Editors, Litton Educational Publishing, New York, New York, 1976. [Dijkstra, 1975]. E.W. Dijkstra, "Guarded Commands, Nondeterminacy, and Formal Derivations of Programs," Communications of the ACM, Vol. 18, No. 8, August 1975, pp. 453-457. [Dunn, 1984]. R. Dunn, Software Defect Removal, McGraw-Hill, New York, New York, 1984. [Dunn and Ullman, 1982]. R Dunn and R Ullman, Quality Assurance For Computer Software, McGraw-Hill, New York, New York, 1982. [Dunn, 1990]. R. H. Dunn, Software Quality: Concepts and Plans, Prentice-Hall, Englewood Cliffs, New Jersey, 1990. [Fagan, 1976]. M.E. Fagan, "Design and Code Inspections To Reduce Errors in Program Development," IBM Systems Journal, Vol 15, No. 3, 1976, pp. 219 - 248. [Fagan, 1986]. M.E. Fagan, "Advances in Software Inspections," IEEE Transactions on Software Engineering, Vol. 12, No. 7, July 1986, pp. 744 - 751. [Fiedler, 1989]. S.P. Fiedler, "Object-Oriented Unit Testing," HP Journal, Vol. 36, No. 4, April 1989. [Frankel and Weyuker, 1987]. P.G. Frankel and E.J. Weyuker, "Data Flow Testing in the Presence of Unexecutable Paths," Proceedings of the Workshop on Software Testing, Banff, Canada, July 1987, pp. 4 - 13. [Freedman and Weinberg, 1982]. D.P. Freedman and G.M. Weinberg, Handbook of Walkthroughs, Inspections, And Technical Reviews, Third Edition, little, Brown and Company, Boston, Massachusetts, 1982. [Gelperin and Hetzel, 1988]. D. Gelperin and B. Hetzel, "The Growth of Software Testing," Communications of the ACM, Vol. 31, No. 6, June 1988, pp. 687 - 695. [German, 1984]. S.M German, "Monitoring for Deadlock and Blocking in Ada Tasking," IEEE Transactions on Software Engineering, Vol SE-10, No. 6, November 1984, pp. 764 - 777. [German et al, 1982]. S.M. German, D. P. Helmbold, and D.C. Luckham, "Monitoring for Deadlocks in Ada Tasking," ACM 0-89791-0877/82/010/0010, Proceedings of the AdaTEC Conference on Ada, Virginia, October, 1982, pp. 10 - 25. [Gilb, 1977]. T. Gilb, Software Metrics, Winthrop Publishers, Inc., Cambridge, Massachusetts, 1977. [Glass, 1979]. R.L. Glass, Software Reliability Guidebook, Prentice-Hall, Englewood Cliffs, New Jersey, 1979. [Grogono and Bennett, 1989]. P. Grogono and A. Bennett, "Polymorphism and Type Checking in Object-Oriented Languages," SIGPLAN Notices, Vol. 24, No. 11, November 1989, pp. 109 - 115. [Gunther, 1978]. R.C. Gunther, Management Methodology For Software Product Engineering, John Wiley and Sons, New York, New York, 1978. [Halstead, 1977]. M. Halstead, Elements of Software Science, Operating and Programming Systems Series, Elservier Computer Science Library, New York, New York, 1977. [Hansen, 1973]. P.B. Hansen, "Concurrent Programming Concepts," ACM Computing Surveys, Vol. 5, No. 4, December 1973, pp. 223 - 245. [Hathorn, 1989]. F. Hathorn, "Structured Tasks," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 265 - 272. [Hembold and Luckham, 1985]. D. Hembold and D. Luckham, "TSL: Task Sequencing Language," Ada in Use, Cambridge University Press, Cambridge, U.K., 1985. [Hoare, 1971]. C.A.R. Hoare, "Proof of a Program: FIND," Communications of the ACM, Vol. 14, No. 1, January 1971, pp. 39 - 45. [Hoare, 1985]. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, New Jersey, 1985. [Hobin, 1988a]. C. Hobin, "The Ada Test and Verification System (ATVS)," Conference Proceedings Tri-Ada '88, 1988. [Hobin, 1988b]. C. Hobin, "The Ada Test and Verification System (ATVS): An Overview," Conference Proceedings Ada Expo '88, 1988. [Honda and Yonezawa, 1989]. Y. Honda and A. Yonezawa, "Debugging Concurrent Systems Based on Object Groups," in ECOOP '88: Proceedings of the European Conference on Object-Oriented Programming, Lecture Note on Computer Science, Volume 322, S. Gjessing and K. Nygaard, Editors, Springer Verlag, New York, New York, 1988, pp. 267 - 282. [Howden, 1987]. W. Howden, Software Engineering and Technology: Functional Program Testing, McGraw-Hill, New York, New York, 1987. [Hseush and Kaiser, 1988]. W. Hseush and G.E. Kaiser, "Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language," Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, May 1988, pp. 236 - 246. [IEEE, 1981]. IEEE Standard ATLAS Test Language, IEEE Standard 416-1981, 1981. [Isoda, 1987]. S. Isoda, "Visual Debugger VIPS: Visual Representation of Program Execution," Conference Proceedings Software Testing and Validation September 23-24,1987, National Institute for Software Quality and Productivity, Inc., 1987, pp. E-l - E-27. [Kaiser et al, 1989]. G.E. Kaiser, D.E. Perry, and W.M. Schell, "INFUSE: Fusing Integration Test Management With Change Management," Proceeding of COMPSAC '89 -- The 13th Annual International Computer Software and Application Conference, Orlando, Florida, September 1989, pp. 552 - 558. [Laski, 1989]. J. Laski, "Testing in the Program Development Cycle," Software Engineering Journal, Vol. 4, No. 2, March 1989, pp. 95 - 106. [Lazzerini and Lopriore, 1989]. B. Lazzerini and L. Lapriore, "Abstraction Mechanisms for Event Control in Program Debugging," IEEE Transactions on Software Engineering, Vol. 15, No. 7, July 1989, pp. 890 - 901. [Lin and LeBlanc, 1989]. C. Lin and R. LeBlanc, "Event Based Debugging of Object/Action Programs, SIGPLAN Notices, Vol. 24, No. 1, January 1989, pp. 23 - 34. [Luckham, et, al., 1987]. D. Luckham, R. Neff, and D. Rosenblum, "An Environment for Ada Software Development Based on Formal Specification," Ada Letters, Vol. 7, No. 3, 1987. [McCabe, 1976]. T. McCabe, "A Complexity Measure" IEEE Transactions on Software Engineering, December 1976, pp. 308 - 320. [McCabe, 1987]. T. McCabe, "Automating the Testing Process Through Complexity Metrics," Conference Proceedings Software Testing and Validation September 23-24, 1987, National Institute for Software Quality and Productivity, Inc., 1987, pp. G-l - G-30. [McCracken, 1987]. W. McCracken, "Testing Reusable Ada Software," Conference Proceedings Software Testing and Validation September 23-24, 1987, National Institute for Software Quality and Productivity, Inc., 1987, pp. P- 1 - P-27. [McGettrick, 1982] A. D. McGettrick, Program Verification Using Ada, Cambridge Computer Science Texts 13, Cambridge University Press, Cambridge, UK, 1982. [Mackay and Davenport, 1989]. W. Mackay and G. Davenport, "Virtual Video Editing in Interactive Multimedia Applications," Communications of the ACM, Vol. 32, No. 7, July 1989, pp. 802 - 810. [Martin, 1988]. R.J. Martin, "Assurance Technology," Conference Proceedings Tri-Ada '88, 1988. [Miller and Howden, 1981]. E. Miller, and W.E. Howden, Tutorial: Software Testing and Validation Techniques, IEEE Computer Society Press, Washington, D.C., IEEE Catalog No. EHO180-0, 1981. [Mizuno, 1983]. Y. Mizuno, "Software Quality Improvement," IEEE Computer, Vol. 16, No. 3, March 1983, pp. 66 - 72. [Musa and Ackerman, 1989]. J. Musa and A. F. Ackerman, "Quantifying Software Validation: When to Stop Testing?," IEEE Software, Vol. 6, No. 3, May 1989, pp. 19 - 27. [Myers, 1979]. G.J. Myers, The Art of Software Testing, John Wiley and Sons, New York, New York, 1979. [Myers, 1976]. G.J. Myers, Software Reliability Principles and Practices, John Wiley and Sons, New York, New York, 1976. [Neumann, 1989]. P. Neumann, "Flaws in Specifications and What to Do About Them," Proceedings of the Fifth International Workshop on Software Specification and Design, May 19-20, 1989, Pittsburgh, Pennsylvania, Published as Software Engineering Notes, Vol. 14 No. 3, IEEE Computer Society Press, Washington, D.C., May 1989, pp. xi - xv. [Ostrand et al, 1987]. T.J. Ostrand, R. Sigal, and E. Weyuker, "Design for a Tool to Manage Specification Based Testing," Workshop on Software Testing, Banff, Canada, July 1987, pp. 41 - 50. [Parrington and Roper, 1989]. N. Parrington and M. Roper, Understanding Software Testing, Halstead Press, New York, New York, 1989. [Podgurski and Clarke, 1989]. A. Podgurski and L. Clarke, "The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance," Software Engineering Notes, Vol. 14, No. 8, December 1989, pp. 168 - 178. [Poutanen, 1987]. O. Poutanen, "Two Portable Ada Testing Tools TBGEN and TCMON," Ada Components: Libraries and Tools -- Proceedings of the Ada-Europe International Conference, Stockholm 26-28 May 1987, Cambridge University Press, Cambridge, United Kingdom, 1987, pp. 197 - 208. [Quirk, 1985]. W.J. Quirk, Editor, Verification and Validation of Real-Time Software, Springer-Verlag, New York, New York, 1985. [Radi, 1988a]. T. Radi, "TestGen--Testing Tool for Ada Designs and Ada Code," Proceedings of the Sixth National Conference on Ada Technology, 1988. [Radi, 1988b]. T. Radi, "Testing Ada Designs and Code--TestGen--Ada Testing Tool," Conference Proceedings Tri-Ada '88, ACM Press, New York, New York 1988, pp. 165 - 180. [Radi, 1988c]. T. Radi, "TestGen--Testing Tool for Ada Designs and Ada Code," Conference Proceedings Ada Expo '88, 1988. [Radi, 1989]. T. Radi, "TestGen--Testing Tool for Ada Designs and Ada Code," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 53 - 61. [Remkes, et. al., 1989]. D. Remkes, K. Gutzmann, and F. Sizer, "Automated Test Support for Ada PDL," Proceedings of the Sixth Washington Ada Symposium, Association for Computing Machinery, New York, New York, 1989, pp. 39 - 45. [Roe and Rowland, 1987]. R.P. Roe and J.H. Rowland, "Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing," IEEE Transactions on Software Engineering, Vol. SE-13, No. 7, July 1987, pp. 761 - 766. [Sankar, et. al., 1985]. S. Sankar, D. Rosenblum, and R. Neff, "An Implementation of Anna," Ada in Use, Cambridge University Press, Cambridge, U.K. 1985. [Schulmeyer and McManus, 1987]. G.G. Schulmeyer and J.I. McManus, Editors, Handbook of Software Quality Assurance, Van Nostrand Reinhold, New York, New York, 1987. [Shneiderman, 1980]. B. Shneiderman, Software Psychology, Winthrop Publishers, Inc., Cambridge, Massachusetts, 1980. [Strelich, 1986]. T. Strelich, "Ada Test and Verification System: ATVS," Proceedings of the First International Conference on Ada Programming Language Applications For the NASA Space Station, 1986. [Tai, 1985]. K.C. Tai, "Reproducible Testing of Concurrent Ada Programs," Proceedings of SOFTFAIR II, IEEE Computer Society Press, Silver Spring, Maryland, December, 1985, pp. 114 - 120. [Tai, 1985]. K.C. Tai, "On Testing Concurrent Programs," Proceedings of COMPSAC '85, IEEE Computer Society Press, Silver Spring, Maryland, October, 1985, pp. 310 - 317. [Tai, 1986a]. K.C. Tai, "A Graphical Representation of Rendezvous Sequences of Concurrent Ada Programs," Ada Letters, Vol. 6, No. 1, January/February 1986, pp. 94 - 103. [Tai, 1986b]. K.C. Tai, "Reproducible Testing of Ada Tasking Programs," Proceedings of the IEEE Second International Conference on Ada Applications and Environments, IEEE Computer Society Press, Silver Spring, Maryland, 1986, pp. 69 - 79. [Tai, 1987]. K.C. Tai, "A Methodology for Testing Concurrent Ada Programs," Proceedings of The Joint Ada Conference Fifth National Conference on Ada Technology and Washington Ada Symposium, March, 1987, pp. 459 - 464. [Tai and Din, 1985]. K.C. Tai and C. Y. Din, "Validation of Concurrency in Software Specification and Design," Third International Workshop on Software Specification and Design, IEEE Computer Society Press, Silver Spring, Maryland, 1985, pp. 223 - 227. [Tai et al, 1989]. K.C. Tai, R.H. Carver, and E.E. Obaid, "Deterministic Execution Debugging of Concurrent Ada Programs," Proceedings of Compsac '89, IEEE Computer Society Press, Silver Spring, Maryland, October, 1989, pp. 102 - 109. [Tassel, 1978]. D.V. Tassel, Program Style, Design, Efficiency, Debugging, and Testing, Second Edition, Prentice-Hall, Englewood Cliffs, New Jersey, 1978. [Tauson-Conte, 1988]. H. Tauson-Conte, "Ada Complexity Extension (ACE) An extension of McCabe's Cyclomatic Complexity Metric for Analysis of Ada Software," Proceedings of the Sixth National Conference on Ada Technology, 1988, pp. 7 - 12. [Taylor and Standish, 1985]. R.N. Taylor and T.A. Standish, "Steps to an Advanced Ada Programming Environment," IEEE Transactions on Software Engineering, Vol. SE-l 1, No. 3, March 1985, pp. 302 - 309. [Taylor, 1983]. R.N. Taylor, "A General-Purpose Algorithm for Analyzing Concurrent Programs," Communications of the ACM, Vol. 26 No. 5, May, 1983, pp 362 - 376. [Taylor, 1986]. R. N. Taylor, "Structural Testing of Concurrent Programs," 1986. [von Henke, et. al., 1985]. F. W. von Henke, D. Luckham, B. Krieg-Brueckner, and O. Owe, "Semantic Specification of Ada Packages," Ada in Use, Cambridge Press, Cambridge, UK, 1985. [Wallace and Fujii, 1989a]. D. Wallace and R. Fujii, "Verification and Validation: Techniques to Assure Reliability," IEEE Software, Vol. 6, No. 3, May 1989, pp. 8 - 9. [Wallace and Fujii, 1989b]. D. Wallace and R. Fujii, "Software Verification and Validation: An Overview," IEEE Software, Vol. 6, No. 3, May 1989, pp. 10 - 18. [Weinberg, 1971]. G.M. Weinberg, The Psychology of Computer Programming, Van Nostrand Reinhold Co., New York, New York, 1971. [Weyuker, 1986]. E.J. Weyuker, "Axiomatizing Software Test Data Accuracy," IEEE Transactions on Software Engineering, Vol. SE-12, No. 12, December 1986, pp. 1128 - 1138. [Weyuker, 1988]. E.J. Weyuker, "The Evaluation of Program-Based Software Test Data Accuracy Criteria," Communications of the ACM, Vol. 31, No. 6, June 1988, pp. 668 - 675. [Young and Taylor, 1986]. M. Young and R. N. Taylor, "Combining Static Concurrency Analysis with Symbolic Execution," 1986. [Yourdon, 1975]. E. Yourdon, Techniques of Program Structure and Design, Prentice-Hall, Englewood Cliffs, New Jersey, 1975. [Yourdon, 1978]. E. Yourdon, Structured Walkthroughs, Second Edition, Yourdon Press, New York, New York, 1978. [Yourdon, 1989]. E. Yourdon, Managing The Structured Techniques, Fourth Edition, Prentice-Hall, Englewood Cliffs, New Jersey, 1989. [Yourdon and Constantine, 1979]. E. Yourdon and M. Constantine, Structured Design, Prentice-Hall, Englewood Cliffs, New Jersey, 1979. [Zweben and Gourlay, 1989]. S.H. Zweben and J. Gourlay, "On the Adequacy of Weyuker's Test Data Adequacy Axioms," IEEE Transactions on Software Engineering, Vol. 15, No. 4, April 1989, pp. 496 - 500. ---------------------------------------------------------------------------- Edward V. Berard | Phone: (301) 353-9652 Berard Software Engineering, Inc. | FAX: (301) 353-9272 18620 Mateney Road | E-Mail: eberard@bse.com Germantown, Maryland 20874 | ----------------------------------------------------------------------------