CSE5530

Systems verification, quality and standards

(IT)

Not offered in 2001

S Ramakrishnan

6 points + 4 hours per week + Second semester + Caulfield + Prerequisites: CSE3021 or SFT3021 or equivalent + Prohibition: SFT5530

Synopsis: Products, processes, techniques and tools for system validation and verifications. Commercial tools for verifying and validating systems. Inspection and testing methodogies, analysis of artifacts, robustness, performance analysis, configuration management, quality assurance plan and standards including ISO9000/AS39000, compliance, assessment and certification. Hoare logic - assertion mechanisms - precondition, postcondition and invariants in the development of verifiable programs.

Assessment: Assignments: 60% + Examination: 40%