17-654 Analysis of Software Artifacts

Units: 12.0 Department: Software Engineering Special permission: Yes Cross-listed: 17-754 Notes: Student should have experience in programming a large software system. If possi. le, this course should be taken afer Models of Software Systems. For non-MSE a. MSIT-SE students, please contact the instructor for registration permission. (j. nathan. Related URLs: http://www-2.cs.cmu.edu/~aldrich/courses/654/ 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. Concern for realistic and economical application of analysis will also be evident in a bias towards analyses that are scalable and incremental. The course emphasizes the fundamental similarities between analyses (in their mechanism and power) to teach the students the limitations and scope of the analyses, rather than the distinctions that arose historically (static vs. dynamic, code vs. spec). 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 In addition, 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.

Popularity index Rank for this semester: #930 Rank in this department: #5   Students also scheduled 17-657 Communication for Software Engineer... 18-749 Fault-Tolerant Distributed Systems 17-672 Software Development Studio II 17-655 Architectures for Software Systems 17-615 Software Process Definition 17-614 Engineering Software Intensive Syst... 82-272 Intermediate Japanese II 70-381 Marketing I 36-220 Engineering Statistics and Quality ... 36-202 Statistical Methods

Spring 2005 times

Sec	Time	Day	Instructor	Location
A	10:30 - 11:50 am	T	Aldrich	NSH 1305
		R	Aldrich	NSH 1305