CMPSCI [621] 521

[Adv.] SW Engineering: Analysis and Evaluation – Fall 2006    

 

Homepage

Introduction

Class Materials

Announcements

Calendar

Readings

Lecture Notes

Assignments

Textbooks and other reading

There are literally hundreds of texts and reference books on general software engineering. I have asked the Campus Bookstore and Jeffery Amherst Bookstore to order copies of the Ghezzi, et al and Brooks, but they are not required. I suggest that you look for the suggested texts at on-line sources. Many times, used copies in almost new condition can be found for a fraction of the cost.

In lieu of a coursepack, I will distribute copies of the papers if they are not available at the UMass Library. Any students who have UMass email accounts can download PDF versions of the Òother readingÓ from the UMass library.

Again, there is no required text for this course.

1.     Suggested texts

[GJM03] Fundamentals of Software Engineering by Carlo Ghezzi, Mehdi Jazayeri, and Dino Mandrioli, Second Edition, Prentice Hall; 2nd Edition (2003)ISBN 0-13-305699-6

[Bro95] The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition) by Frederick P. Brooks Addison-Wesley Pub Co; 1st edition (1995)

2.     Other interesting books

MORE Available soon

3.     Other reading

Introduction

[Bro86] F. P. Brooks, Jr., "No Silver Bullet--Essence and Accidents of Software Engineering," Computer 20 (4), April 1987.  Reprinted from Proceedings of the IFIP Congress, Dublin, Ireland, 1986.

[Gib94]   Gibbs, W.W., "Software's Chronic Crisis," Scientific American, September 1994, pp. 86-95.

[Sha90]   Shaw, M.  "Prospects for an Engineering Discipline of Software," IEEE Software, November 1990, pp.15—24

Processes

[Boe88]   Boehm,B.W., "A Spiral Model of Software Development and   Enhancement," IEEE Computer, May 1988,  pp.61--72

Reviews and Inspections

[Fag76] M. E. Fagan,  "Design and code inspections to reduce error in program development," IBM Systems Journal, 38 (2&3), 1999, pp. 258-298.   Reprinted from the IBM Systems Journal, 15 (3), 1976.

[Mil87] H. D. Mills, M. Dyer, and R. C. Linger, "Cleanroom Software Engineering," IEEE Software, 4 (5), September 1987, pp. 19-25.

[Por97] A. Porter, H. Siy, C. A. Toman, and L. G. Votta, "An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development," IEEE Transactions on Software Engineering, 23 (6), June 1997, pp. 329-346.

Introduction to dynamic analysis

[Zhu97] H. Zhu, P. A. V. Hall, and J. H. R. May, "Software Unit Test Coverage and Adequacy," ACM Computing Surveys, 29 (4), December 1997, pp. 366-427.

Coverage criteria

[Rap82] S. Rapps and E. J. Weyuker, "Data Flow Analysis Techniques for Test Data Selection," Sixth International Conference of Software Engineering, Tokyo, Japan, September 1982, pp. 272-277.

[Nta81] S. C. Natofos, "On Testing With Required Elements," COMPSAC '81, IEEE Computer Society, November 1981, pp. 132-139.

[Las83] J. W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Transactions on Software Engineering, 9 (3), May 1983, pp. 347-354

[Cla89] L. A. Clarke, A. Podgurski, D. J. Richardson and Steven J. Zeil, "A Formal Evaluation of Data Flow Path Selection Criteria," IEEE Transactions on Software Engineering, 15 (11), November 1989, pp. 1318-1332.

Assertions

D. S. Rosenblum, "A Practical Approach to Programming with Assertions," IEEE Transactions on Software Engineering, 29 (4), January 1995, pp. 19-31.

Error seeding

A. J. Offutt, "A Practical System for Mutation Testing: Help for the Common Programmer," 12th International Conference onTesting Computer Software, Washington, D.C., June 1995, pp. 99-109.

Fault based testing

M. C. Thompson, D. J. Richardson and L. A. Clarke, "An Information Flow Model of Fault Detection," International Symposium on Software Testing and Analysis, Boston, MA, June 1993, pp.182-192.

Dependency analysis

*M. Weiser, "Program Slicing," Fifth International Conference on Software Engineering, San Diego, Ca 1981, pp. 439-449. [;pdf]] er, ÒProgram Slicing,Ó Proceedings of the 5thInternational Conference on   

A. Podgurski and L. A. Clarke, "A Formal Model of Program Dependencies and IIts Implications for Software Testing, Debugging, and Maintenance", IEEE Transactions on Software Engineering, 16 (9), September 1990, pp. 965-979

*D. W. Binkley and K. B. Gallagher, "Program Slicing," Advances in Computers, Vol. 43, M. Zelkowitz, editor, Academic Press, 1996 pp. 1-50.

    MORE TO COME