CSE5530

Systems verification, quality and standards ( 6 points, SCA Band 2, 0.125 EFTSL)

Leader: S Ramakrishnan

Offered:
Not offered in 2005.

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%

Contact Hours: 4 hours per week

Prerequisites: CSE3021 or SFT3021 or equivalent

Prohibitions: SFT5530