July 2018: Software testing

Start Date

End Date

Enrollment End Date

No. of
498 students

No course
syllabus uploaded

Created by

Meenakshi D'souza
IIT Bombay
out of 5
Based on 0 rating
5 star 0
4 star 0
3 star 0
2 star 0
1 star 0
Course Language
Course Type
Video transcripts
Course Category
Learning Path
Course Length
30 Hours
Weekly time commitments
60 Hours
Course Completion
Yes, after passing all tests.
Exam Date
To be announced










Weekly Reading list


For certification please click here



Last date for enrollment:30July,2018.

About Course:

 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. Specialtechniques 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:
UG final year and PG



Programming, Algorithms, Discrete Mathematics (basics)

UG/PG : Both

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.


To access the content, please enroll in the course.


Meenakshi D'souza

Course instructor


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.
Coure 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

Suggested  Reading:
  • Book: Introduction to Software Testing, Paul Ammann and Jeff Offutt, Cambridge University Press, 2nd edition, 2016.
  • Papers:
  1. P. Godefroid, N. Klarlund and K. Sen, DART: Directed Automated Random Testing, Proc. PLDI 2005.
  2. K. Sen, D. Marinov and G. Agha, CUTE: A Concolic Unit Testing Engine for C, Proc. ESEC-FSE 2005.
  3. K. Sen, Race directed random testing of concurrent programs, in Proc. PLDI 2008. 
  4. K. Sen, Effective random testing of concurrent programs, in Proc. 22nd ASE, 2007.
  • The exam is optional for a fee.
  • Date of Exams : October 28 (Sunday)
  • Time of Exams : Morning session 9am to 12 noon; Afternoon session: 2pm to 5pm
  • Exam for this course will be available in both morning & afternoon sessions.
  • 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.



  • Final score will be calculated as : 25% assignment score + 75% final exam score
  • 25% assignment score is calculated as 25% of average of  Best 8 out of 12 assignments
  • E-Certificate will be given to those who register and write the exam and score greater than or equal to 40% final score. 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.


No FAQ has been added to this course yet.

Download App

Download SWAYAM applications from popular app stores