Software Testing

By Prof. Meenakshi D'souza   |   IIIT Bangalore
Learners enrolled: 7147
This course will cover various techniques for test case design, as used for testing of software artifacts including requirements, design and code. We will discuss algorithms and techniques for test case design based on graphs, logic, syntax of programming languages and on inputs. Special techniques for testing object-oriented features and web applications will also be discussed. The course will end with symbolic testing techniques. These broadly will cover test cases for both white-box and black-box.

INTENDED AUDIENCE: Any Interested Learners
PRE-REQUISITES: Programming, Algorithms, Discrete Mathematics (basics)
INDUSTRY SUPPORT: The material of this course has been used to offer training for Samsung, ABB and Mindtree. The course will be useful for any firm that does tests their software.
Course Status : Completed
Course Type : Elective
Duration : 12 weeks
Category :
  • Computer Science and Engineering
Credit Points : 3
Level : Undergraduate/Postgraduate
Start Date : 14 Sep 2020
End Date : 04 Dec 2020
Enrollment Ends : 25 Sep 2020
Exam Date : 20 Dec 2020 IST

Note: This exam date is subjected to change based on seat availability. You can check final exam date on your hall ticket.

Page Visits

Course layout

Week 1: Techniques and algorithms for test case design: Graphs based testing- structural coverage criteria.
Week 2: Graphs based testing: Data flow coverage criteria
Week 3: Graphs based testing: Data flow coverage criteria
Week 4: Graphs coverage for source code, design elements and requirements
Week 5: Techniques and algorithms for test case design: Logic based testing- Predicates, logic based coverage criteria
Week 6: Specification based logic coverage, logic coverage on finite state machines
Week 7: Input space partitioning: Input domain modeling, combination strategies criteria
Week 8: Syntax based testing: Coverage criteria based on syntax, mutation testing
Week 9: Test case design (as learnt above) applied to object-oriented applications
Week 10: Test case design (as learnt above) applied to web applications
Week 11: Symbolic testing
Week 12: Concolic testing, Conclusion

Books and references


Instructor bio

Prof. Meenakshi D'souza

IIIT Bangalore
Prof. Meenakshi D'souza is currently an Associate Professor at IIIT-Bangalore.Meenakshi did her Master TMs in Mathematics from University of Madras, Chennai and her Ph. D. in Theoretical Computer Science from The Institute of Mathematical Sciences, Chennai. She joined the research department of Honeywell Technology Solutions, Bangalore soon after completing her Ph. D. and worked there in the areas of Formal Verification of Software Design, Model Based Development and Physical Access Control before joining IIIT-Bangalore. Her research interests are in Formal Methods, Model Based Development,Software Testing and Automata Theory.

Course certificate

The course is free to enroll and learn from. But if you want a certificate, you have to register and write the proctored exam conducted by us in person at any of the designated exam centres.
The exam is optional for a fee of Rs 1000/- (Rupees one thousand only).
Date and Time of Exams: 20 December 2020 Morning session 9am to 12 noon; Afternoon Session 2pm to 5pm.
Registration url: Announcements will be made when the registration form is open for registrations.
The online registration form has to be filled and the certification exam fee needs to be paid. More details will be made available when the exam registration form is published. If there are any changes, it will be mentioned then.
Please check the form for more details on the cities where the exams will be held, the conditions you agree to when you fill the form etc.


Average assignment score = 25% of average of best 8 assignments out of the total 12 assignments given in the course.
Exam score = 75% of the proctored certification exam score out of 100

Final score = Average assignment score + Exam score

YOU WILL BE ELIGIBLE FOR A CERTIFICATE ONLY IF AVERAGE ASSIGNMENT SCORE >=10/25 AND EXAM SCORE >= 30/75. If one of the 2 criteria is not met, you will not get the certificate even if the Final score >= 40/100.

Certificate will have your name, photograph and the score in the final exam with the breakup.It will have the logos of NPTEL and IIT Madras .It will be e-verifiable at nptel.ac.in/noc.

Only the e-certificate will be made available. Hard copies will not be dispatched.

Once again, thanks for your interest in our online courses and certification. Happy learning.

- NPTEL team

MHRD logo Swayam logo


Goto google play store