Available in 2021
Course code



10 units


6000 level

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.

Availability2021 Course Timetables


  • Semester 1 - 2021

Learning outcomes

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

1. Describe and apply the concepts and theory related to software verification and validation.

2. Identify and apply different testing techniques and design test plans, develop test suites, and evaluate test suite coverage.

3. Apply testing frameworks and testing tools.

4. Explain research aspects of software verification and validation.


1.    Basic concepts in software verification and validation.

2.    Software testing techniques (black-box testing, white-box testing, etc.)

3.    Test adequacy and coverage criteria 

4.    Automated testing tools and techniques

5.    Testing lifecycle and test management

6.    Non-functional testing

7.    Formal methods for software verification 


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

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.

Contact hours



Face to Face On Campus 2 hour(s) per Week for Full Term


Face to Face On Campus 2 hour(s) per Week for Full Term

The University of Newcastle acknowledges the traditional custodians of the lands within our footprint areas: Awabakal, Darkinjung, Biripai, Worimi, Wonnarua, and Eora Nations. We also pay respect to the wisdom of our Elders past and present.