Syllabus  |   Lectures  |   Downloads  |   FAQ  |   Ask a question  |  
Course Co-ordinated by IIITB
Coordinators
 

 

Download Syllabus in PDF format



Untitled Document
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 testing.


Modules

Topics

1

Introduction, software testing process and levels, testing terminology

2

Techniques and algorithms for test case design: Graphs based testing- structural coverage criteria.

3

Graphs based testing: Data flow coverage criteria

4

Graphs coverage for source code, design elements and requirements

5

Techniques and algorithms for test case design: Logic based testing- Predicates, logic based coverage criteria

6

Specification based logic coverage, logic coverage on finite state machines

7

Input space partitioning: Input domain modeling, combination strategies criteria

8

Syntax based testing: Coverage criteria based on syntax, mutation testing

9

Test case design (as learnt above) applied to object-oriented applications

10

Test case design (as learnt above) applied to web applications

11

Symbolic testing

12

Concolic testing, Conclusion

B.E/B.Tech,M.E/M.Teach,M.S,M.Sc,

Book: Introduction to Software Testing, Paul Ammann and Jeff Offutt, Cambridge University Press, 2 nd edition, 2016. Papers: P. Godefroid, N. Klarlund and K. Sen,
DART: Directed Automated Random Testing, Proc. PLDI 2005. K. Sen, D. Marinov and G. Agha, CUTE: A Concolic Unit Testing Engine for C, Proc. ESEC-FSE 2005. K. Sen, Race directed random testing of concurrent programs, in Proc. PLDI 2008. K. Sen, Effective random testing of concurrent programs, in Proc. 22nd ASE, 2007.

Nil

Nil

Important: Please enable javascript in your browser and download Adobe Flash player to view this site
Site Maintained by Web Studio, IIT Madras. Contact Webmaster: nptel@iitm.ac.in