Automated Software Testing: Model and State-based Testing
Expert
Online
5 Weeks
Free Quick Facts
| Medium Of Instructions | Mode Of Learning | Mode Of Delivery |
|---|---|---|
| English | Self Study | Video and Text Based |
Courses and Certificate Fees
| Fees Informations | Certificate Availability | Certificate Providing Authority |
|---|---|---|
| INR 16708 | yes | TU Delft |
The Syllabus
- Create decision tables to represent complex decisions of your software.
- Apply different coverage criteria in the decision table to generate test cases.
- Devise state machines that represent the software system (e.g., web systems) and use them to generate test cases.
- Apply different coverage criteria to generate test cases that cover different paths of the system.
- Understand what pre-conditions, post-conditions, and invariants are, and how to design them in your software system.
- Use these contracts to test your software from the “inside out”
- Write properties and let property-based testing frameworks generate test cases automatically.
- Understand the key ideas behind mutation testing.
- Apply mutation testing in software systems and discover what parts of your software are not tested enough.