Return Home

About Validation Techniques for Finding Software Bugs

Software testing and validation activities are typically the most expensive part of software development, consuming over half of the development cost. This one-day course will cover a range of techniques that are effective in detecting faults and improving software quality. It will first provide an overview of the strengths and weaknesses of software testing and present some of the current approaches, including coverage based, invariant based, and agile techniques. It will highlight how static analysis techniques can be used to complement testing. It will then present some of the basis static analysis approaches, such as dependence analysis (i.e., slicing), symbolic execution, and data flow analysis. The course will then describe the added complications that arise in validating concurrent systems and describe how finite state verification techniques, such as model checking, can be used to verify important properties of concurrent systems.

The Audience: The intended audience is software engineers and researchers interested in software testing and validation techniques.

Course Topics

• Introduction to software validation issues and costs
• Test data selection strategies
• Agile testing processes
• Static analysis approaches
• Validating concurrent systems
• Combining testing and analysis approaches

For further information please contact:
Anne-Marie Eliseo
Industry Education Manager
phone: +61-8-8302-3928
email: industryeducation@nicta.com.au