InfoCoBuild

Software Testing

Software Testing. Instructor: Prof. Meenakshi D'souza, Department of Computer Science and Engineering, IIIT Bangalore. 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. (from nptel.ac.in)

Lecture 28 - Logic Coverage Criteria: Applied to Test Specifications

Go to the Course Home or watch other lectures:

Lecture 01 - Motivation

Lecture 02 - Terminologies

Lecture 03 - Testing Based on Models and Criteria

Lecture 04 - Automation - JUnit as an Example

Lecture 05 - Basics of Graphs: As Used in Testing

Lecture 06 - Structural Graph Coverage Criteria

Lecture 07 - Elementary Graph Algorithms

Lecture 08 - Elementary Graph Algorithms (cont.)

Lecture 09 - Algorithms: Structural Graph Coverage Criteria

Lecture 10 - Assignment 2: Structural Coverage Criteria

Lecture 11 - Data Flow Graphs

Lecture 12 - Algorithms: Data Flow Graph Coverage Criteria

Lecture 13 - Graph Coverage Criteria: Applied to Test Code

Lecture 14 - Testing Source Code: Classical Coverage Criteria

Lecture 15 - Data Flow Graph Coverage Criteria: Applied to Test Code

Lecture 16 - Software Design and Integration Testing

Lecture 17 - Design Integration Testing and Graph Coverage

Lecture 18 - Specification Testing and Graph Coverage

Lecture 19 - Graph Coverage and Finite State Machines

Lecture 20 - Assignment 4: Graph Coverage Criteria

Lecture 21 - Logic: Basics Needed for Software Testing

Lecture 22 - Logic: Coverage Criteria

Lecture 23 - Logic: Coverage Criteria (cont.)

Lecture 24 - Logic: Coverage Criteria (cont.)

Lecture 25 - Logic Coverage Criteria: Applied Test Code 1

Lecture 26 - Logic Coverage Criteria: Applied Test Code 2

Lecture 27 - Logic Coverage Criteria: Issues in Applying to Test Code

Lecture 28 - Logic Coverage Criteria: Applied to Test Specifications

Lecture 29 - Logic Coverage Criteria: Applied to Finite State Machines

Lecture 30 - Assignment Solving

Lecture 31 - Functional Testing

Lecture 32 - Input Space Partitioning

Lecture 33 - Input Space Partitioning: Coverage Criteria

Lecture 34 - Input Space Partitioning Coverage Criteria: Example

Lecture 35 - Syntax-Based Testing

Lecture 36 - Mutation Testing

Lecture 37 - Mutation Testing for Programs

Lecture 38 - Mutation Testing: Mutation Operators for Source Code

Lecture 39 - Mutation Testing vs Graphs and Logic Based Testing

Lecture 40 - Assignment Solving

Lecture 41 - Mutation Testing

Lecture 42 - Mutation Testing: Mutation for Integration

Lecture 43 - Mutation Testing: Grammars and Inputs

Lecture 44 - Software Testing Course: Summary

Lecture 45 - Testing of Web Applications and Web Services

Lecture 46 - Testing of Web Applications and Web Services (cont.)

Lecture 47 - Testing of Web Applications and Web Services (cont.)

Lecture 48 - Testing of Object-Oriented Applications

Lecture 49 - Testing of Object-Oriented Applications (cont.)

Lecture 50 - Symbolic Testing

Lecture 51 - Symbolic Testing 2

Lecture 52 - DART: Directed Automated Random Testing

Lecture 53 - DART: Directed Automated Random Testing 2

Lecture 54 - DART: Directed Automated Random Testing 3