SENG6320
10 units
6000 level
Course handbook
Description
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.
Availability2024 Course Timetables
Callaghan
- Semester 1 - 2024
Online
- Semester 1 - 2024
Learning outcomes
On successful completion of the course students will be able to:
1. Synthesize and apply advanced concepts and theories in software verification and validation.
2. Proficiently apply varied testing techniques, strategically develop comprehensive test plans, create sophisticated test suites, and conduct in-depth assessments of test suite coverage, showcasing a deep understanding of software testing principles and their practical implementation.
3. Select, adapt, and orchestrate the most suitable technologies to optimize the testing process and ensure software quality.
4. Articulate and critically analyse the advanced research dimensions in software verification and validation, illustrating an in-depth comprehension of the evolving theoretical and practical paradigms that influence the quality and reliability of software systems.
Content
- 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
Requisite
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
Compulsory Requirement: Pass requirement 40% - Must obtain 40% in this assessment item to pass the course.
Contact hours
Semester 1 - 2024 - Callaghan
Lecture-1
- Face to Face On Campus 2 hour(s) per week(s) for 13 week(s) starting in week 1
Workshop-1
- Face to Face On Campus 2 hour(s) per week(s) for 12 week(s) starting in week 2
Semester 1 - 2024 - Online
Lecture-1
- Online 2 hour(s) per week(s) for 13 week(s) starting in week 1
Workshop-1
- Online 2 hour(s) per week(s) for 12 week(s) starting in week 2
Course outline
- SENG6320 - Semester 1, 2024 (Callaghan) (PDF, 183.4 KB)
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.