| news | art & culture | opinions | events | classifieds | course schedule |
|
Find course by title:
| |  |
17-654 Analysis of Software Artifacts
Analysis is the systematic examination of an artifact to determine its properties. This course will focus on analysis of software artifacts--primarily code, but also including analysis of designs, architectures, and test suites. We will focus on functional properties, but also cover non-functional properties like performance and security. In order to illustrate core analysis concepts in some depth, the course will center on static program analysis; however, the course will also include a breadth of techniques such as testing, model checking, theorem proving, dynamic analysis, and type systems. The course will balance theoretical discussions with lab exercises in which students will apply the ideas they are learning to real artifacts. After completing this course, students will: * know what kinds of analyses are available and how to use them * understand their scope and power,when they can be applied and what conclusions can be drawn from their results * have a grasp of fundamental notions sufficient to evaluate new kinds of analysis when they are developed * have some experience selecting and writing analyses for a real piece of software, applying them and interpreting the results Ph.D. students taking the 17-754 version of the course will gain a broad overview of the analysis research literature and in-depth knowledge of a particular sub-area through a course project. Requirement: A recent discrete math course and programming experience. Strongly Recommended: Models of SW Development course (17-651) before taking this course. | |
 Popularity index |  |
| Students also scheduled | |
|
No sections available for semester Fall 2007.
No sections available for semester Fall 2006.
No sections available for semester Fall 2005.
No sections available for semester Fall 2004.
No sections available for semester Fall 2003.
|
| A | 5:00 - 6:50 pm | T | Narasimhan, Fairbanks, McLaughlin | NSH 1305 | | | | | R | Narasimhan, Fairbanks, McLaughlin | NSH 1305 | | |
| Course textbooks | |
* Spring 2007 textbooks given as estimate for Spring 2008 requirements | | Peer Reviews in Software: A Practical Guide
Sections: A, D | Testing Computer Software, 2nd Edition
Sections: A, D | Principles of Program Analysis
Sections: A, D | S&H, taxes** | Total | | | $37.80 | $64.00 | $65.50 | $0.00 | $167.30 | | $28.50 | $48.00 | $49.25 | $0.00 | $125.75 | | | | | $3.00 | $3.00 |  | | | | $0.00 | $0.00 | | $39.25 | $36.95 | $48.00 | $0.00 | $124.20 | | $43.99 | $66.00 | | $0.00 | $109.99 | |  $10.00 | $10.00 | $10.00 | $0.00 | $30.00 | |
Textbooks listed may be optional. Verify books with the course syllabus. * Items may be in new or used condition. Check site for details. ** Shipping, handling and taxes are estimated. Actual charges may vary.
No comments about this course have been posted, yet. Be the first to post! Share your opinion on this course with other Pulse readers. Login below or register to begin posting.
| |
|
