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.
Instructors
Arie Van Deursen
Professor
Delft University of Technology
Mauricio Aniche
Assistant Professor
Delft University of Technology