Applications Open now for September 2024 Batch | Applications Close: Sep 15, 2024 | Exam: Oct 27, 2024

Applications Open now for September 2024 Batch | Applications Close: Sep 15, 2024 | Exam: Oct 27, 2024

Degree Level Course

Software Testing

To prepare the students to understand the phases of testing based on requirements for a project, to apply the concepts taught in the course to formulate test requirements precisely, to design and execute test cases as a part of a standard software development IDE, and to apply specially designed test case design techniques for specific application domains.

by Meenakshi D'Souza

Course ID: BSCS3002

Course Credits: 4

Course Type: Core Option I

Pre-requisites: None

Course structure & Assessments

12 weeks of coursework, weekly online assignments, 2 in-person invigilated quizzes, 1 in-person invigilated end term exam. For details of standard course structure and assessments, visit Academics page.

WEEK 1 Software Testing: Motivation, Software Development Life Cycle, Terminologies and Processes, Software Test Automation: JUnit as an example
WEEK 2 Basics of Graphs, Fundamental Graph Algorithms, Elementary Graph Algorithms, Structural Graph Coverage Criteria, Algorithms: Structural Graph Coverage Criteria
WEEK 3 Graph Coverage Criteria: Applied to Test Code, Data Flow in Graphs,, Data Flow Testing Example, Unit Testing Based on Graphs: Summary
WEEK 4 Software Design and Integration Testing, Design Integration Testing and Graph Coverage, Specification Testing and Graph Coverage, Graph Coverage and Finite State Machines (FSM), Testing Source Code: Classical Coverage Criteria
WEEK 5 Logic: Basics needed for Software Testing, Coverage Criteria, Logic Coverage Criteria: Making clauses determine predicate, Applied to test code
WEEK 6 Logic: Coverage Example, Coverage Specification, Coverage FSM, Coverage Summary, SMT - Solvers
WEEK 7 Symbolic Testing, Concolic Execution, Example and Summary Symbolic Execution
WEEK 8 Requirements, Functional Testing, ISP, ISP Example
WEEK 9 Regular Expense CFGs, Mutation Testing, Mutation Operators Source Code, Mutation Testing Vs Other Criteria, Mutation Testing For Integration And Tools
WEEK 10 Basic Object Oriented (OO) Integration Concepts, Mutation Operators OO Integration, Mutation Operators OO Integration, OO Faults, Coupling Criteria
WEEK 11 Web Apps Intro, Client Side Testing, Server Side Testing
WEEK 12 Regression Testing, Software Quality Metrics, Non Functional Testing, TDD,Course Summary
+ Show all weeks

Prescribed Books

The following are the suggested books for the course:

Paul Ammann and Jeff Offutt, Introduction to Software Testing, Cambridge University Press, 2008.

Glenford J. Myers, The Art of Software Testing, Second edition, 2008.

Paul C. Jorgensen, Software Testing: A Craftsman’s Approach, Fourth edition, CRC Press, 2014.

Lisa Crispin and Janet Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison-Wesley, 2009.

Appropriate research papers on testing techniques, information regarding testing tools, as applicable.

About the Instructors

Meenakshi D'Souza
Associate Professor, Department of Computer Science and Engineering, IIIT Bangalore

Meenakshi D'Souza is an Associate Professor at IIIT-Bangalore and has been with the institute for the past ten years. Prior to joining IIIT-Bangalore, Meenakshi worked for Honeywell Technology Solutions, Bangalore. Meenakshi is a council member of ACM India and an Associate Editor of Sadhana, a journal of Indian Academy of Sciences.

...  more

Her research interests are in the areas of software testing and formal verification of embedded software. Meenakshi teaches courses on Theory of Computation, Software Testing (in NPTEL too), Design and Analysis of Algorithms and Graph Theory. Meenakshi is also interested in gender diversity and accessibility in STEM and IT.