SFT5530

Systems verification, quality and standards

(IT)

S Ramakrishnan

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

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%