Not currently offered

Course handbook


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.


Not currently offered.

Learning outcomes

On successful completion of the course students will be able to:

1. Understand the concepts and theory related to software verification and validation.

2. Understand different testing techniques and have experience in designing test plans, developing test suites, and evaluating test suite coverage

3. Have experience with testing frameworks and testing tools.

4. Explore a research aspect of software verification and validation


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.)  


This course has similarities to SENG3320. If you have completed SENG3320 you cannot enrol in this course.

Assumed knowledge

SENG6350 (Systems Analysis and Design)

Assessment items

Written Assignment: Assignment 1 -Test management

Written Assignment: Assignment 2 -Formal testing

Written Assignment: Assignment 3 -Test frameworks

Formal Examination: Formal Examination *

* This assessment has a compulsory requirement.

Compulsory Requirements

In order to pass this course, each student must complete ALL of the following compulsory requirements:

Course Assessment Requirements:

  • Formal Examination: Minimum Grade / Mark Requirement - Students must obtain a specified minimum grade / mark in this assessment item to pass the course. - Students whose overall mark in the course is 50% or more, but who score less than 40% in the compulsory item and thus fail to demonstrate the required proficiency, will be awarded a Criterion Fail grade, which will show as FF on their formal transcript. However, students in this position who have scored at least 25% in the compulsory item will be allowed to undertake a supplementary 'capped' assessment in which they can score at most 50% of the possible mark for that item.