It's UWAweek 47
|
unitinfo
This page provides helpful information about many coursework units offered by
Computer Science and Software Engineering
in 2023.
The information here is not official -
for official information please see the
current UWA Handbook.
Instead, it will help students to prepare for their future units,
before the beginning of each semester,
and before they have access to
UWA's
Learning Management System (LMS).
|
About the unit CITS5501 Software Testing and Quality Assurance (1st semester 2023)
Unit description:
Software testing and quality assurance processes are critical to ensure the success of software projects. This unit covers testing methodologies and theories including (1) standard test processes—unit tests, integration, system, performance, acceptance and installation; (2) testing methods—code inspections, equivalence class tests, path testing, conformance testing and use case tests; (3) verification and validation of software—inspections, test case design and execution, and test metrics; (4) quality assurance—ISO 9001 and CMMI standards, configuration management, process modelling, usability, complexity and process metrics, project and risk management, and reliability modelling; and (5) formal methods for design and verification.
Unit outcomes:
Students are able to (1) assess a software system/project for threats to project quality; (2) describe the types of software quality, and measures that reflect software quality; (3) design comprehensive tests to mitigate threats at the unit, system and user level; (4) explain the testing process and manage and prioritise test suites; and (5) explain the principles of formal project correctness, and prove simple programs conform to a given specification.
Unit coordinator:
Unit homepage:
|
|
Unit is offered in these majors and courses:
Indicative weekly topics:
| week 1 |
Testing and QA concepts |
| week 2 |
Introduction to testing |
| week 3 |
Test automation |
| week 4 |
Input space partitioning, graph testing |
| week 5 |
Logic testing, mutation testing, property-based testing |
| week 6 |
Quality assurance, software reviews, performance testing |
| week 7 |
Systems and standards, risk management |
| week 8 |
Risk management, software metrics |
| week 9 |
Formal methods & program verification |
| week 10 |
Formal specifications |
| week 11 |
Specifications in Alloy |
| week 12 |
Revision |
Indicative assessment:
Three short exercises or quizzes; one project; exam
Useful prior programming and software experience:
Familiarity with a statically type-checked programming language (either Java or C)
Software required for this unit:
Students are able to undertake their laboratory exercises and projects in laboratories in the CSSE building, but most students also complete work on their own laptops.
The following software is required to successfully complete this unit:
None required; web-based access to the necessary tools is provided. Students may wish to install the tools on their own PC as well.
Operating system(s) used in this unit:
Different units will use different operating systems for their teaching - for in-class examples, laboratory exercises, and programming projects.
If an operating system is REQUIRED, it will be used when marking assessments.
Any code submitted must compile and run correctly on Ubuntu 22.04 (x86_64 architecture). Web-based access to such a platform is provided so that submitted code can be compiled and tested.
This information last updated 5:26pm Fri 30th Jun 2023
