Automated Software Testing: Model and State-based Testing
Interested in this College?
Get updates on Eligibility, Admission, Placements Fees Structure
Compare 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 | Delft University of Technology |
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.