Software Verification and Validation
This course focuses on software verification and validation throughout the software life cycle. Topics covered in this course will include reviews, inspections, formal verification, testing techniques, and testing frameworks.
|Faculty||Faculty of Engineering and Built Environment|
|School||School of Electrical Engineering and Computing|
Not currently offered
On successful completion of this course, students will be able to:
1. Critical analysis of software requirements and analysis of proposed solutions 2. Overview of software testing, test levels, scope and test types 3. Testing lifecycle and methodologies 4. Non-functional testing 5. Testing artefacts and deliverables 6. Test management metrics and reporting, management, 7. Tools and techniques to support the testing process 8. Formal methods for software verification (including higher order logic, natural deduction, lambda calculus, term rewriting, data types and recursive functions, induction principles, calculational reasoning, mathematical proofs, decision procedures for a variety of logical domains, and proofs about programs.)
|Assumed Knowledge||SENG6350 (Systems Analysis and Design)|
* This assessment has a compulsory requirement.
|Contact Hours||Not currently offered|
|Timetable||2018 Course Timetables for SENG6320|