SENG6320

Software Verification and Validation

10 Units

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.

Faculty Faculty of Engineering and Built Environment
School School of Electrical Engineering and Computing
Availability

Not currently offered

Learning Outcomes

On successful completion of this 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
Content

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

Requisites
  • 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.

Contact Hours Not currently offered
Compulsory Requirements
  • Course Assessment Requirements: 1. 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.)
Timetable 2018 Course Timetables for SENG6320
Got a question?

Contact us for advice on how to apply, enrol, or for more information.

Ready to start?

Once you’ve read our Application guide you’re ready to apply