SENG3320
10 units
3000 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
Learning outcomes
On successful completion of the 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.
Content
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
Assumed knowledge
SENG2130 Systems Analysis and Design
Assessment items
Written Assignment: Assignment 1
Written Assignment: Assignment 2
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-2
- 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
Course outline
- SENG3320 - Semester 1, 2024 (Callaghan) (PDF, 179.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.