Program Overview

Course Overview

The course SENG3320 - Software Verification and Validation focuses on software verification and validation throughout the software life cycle. Topics covered in this course include reviews, inspections, formal verification, testing techniques, and testing frameworks.

Course Description

This course emphasizes the importance of software verification and validation in the software development process. It covers various techniques and methods for ensuring the quality and reliability of software systems.

Course Content

The course content includes:

• Basic concepts in software verification and validation
• Software testing techniques (black-box testing, white-box testing, etc.)
• Test adequacy and coverage criteria
• Automated testing tools and techniques
• Testing lifecycle and test management
• Non-functional testing
• Formal methods for software verification

Enrolment Requirements

Assumed Knowledge

• SENG2130 Systems Analysis and Design

Learning Outcomes

Upon completion of this course, students will be able to:

1. Apply the concepts and theory related to software verification and validation.
2. Identify different testing techniques and design test plans, develop test suites, and evaluate test suite coverage.
3. Use testing frameworks and testing tools.

Availability

The course is available in Semester 1.

Contact Hours

Lecture

• Duration: 2 hours per week
• Number of sessions: 13 weeks
• Starting week: 1
• Delivery mode: Face to Face On Campus

Workshop

• Duration: 2 hours per week
• Number of sessions: 12 weeks
• Starting week: 2
• Delivery mode: Face to Face On Campus

Assessments

• Assignment 1: Written Assignment, 25% weighting, group work
• Assignment 2: Written Assignment, 25% weighting, group work
• Formal Examination: 50% weighting, individual work, compulsory requirement to obtain 40% to pass the course

Additional Information

This course is available to be undertaken as an elective.

Course Details

• Study level: Undergraduate
• Course level: 3000-level
• Units: 10
• College: College of Engineering Science and Environment
• School: School of Information and Physical Sciences