Craig DamonComputer Information SystemsCIS-5130Analysis of Software ArtifactsCIS-4050CIS-4120CIS-41503trueSpringThe student completing this course will be able to analyze the range of
artifacts created during the software development process, ranging from requirements and
design documents through source code, and to test results. The approaches covered include
both heuristic and formal analyses.Analysis of Artifacts5000Analyze a requirements document to extract relevant useful information.Analyze software designs at multiple levels using multiple techniques to extract
relevant useful information.Analyze source code using multiple techniques to extract relevant useful
information.Analyze results of program runs, including testing, benchmarks, and logging
generated by deployed applications, using multiple techniques to extract relevant useful
information.Understand when these analyses are appropriate to perform.Static code analysisDyanmic code analysisIntroduction to formal verificationAnalyzing and modeling requirementsAnalyzing and modeling high-level designAnalyzing and modeling class designsAnalyzing and modeling protocolsAnalyzing and modeling security concernsAnalyzing logging and error reportslectureHomework