Course

Syllabus

Software Development Life Cycle – Testing perceptions and realities – Black box testing – White box testing – Unit testing – Essential Requirements – Test Case Construction Test plan, test cases, test scripts. – Software Test Levels.

Supported Technologies for Software Testing – Agile testing – Agility basics – Agility into any project. Use cases for testers.

Types & Levels of Testing : Functional testing – Non-functional Testing. Test planning – Static Testing, Dynamic testing. Basics of automation testing. Algorithmic verification (model-checking) of design/models. Verifying functional correctness:

Course Objectives

• To introduce the fundamental principles and processes of software testing.
• To Familiarize software development lifecycle and testing principles
• To introduce the fundamentals of formal verification.

Course Outcomes

At the end of the course, the student should be able to

• CO1: understand the software development cycle.
• CO2: create test cases and run them using an automated testing tool.
• CO3: writing and recognizing good test cases.
• CO4: Apply basic techniques and tools for carrying out formal verification of software systems.

CO-PO Mapping

Textbook(s)

• McCaffrey,?James D..?Software Testing: Fundamental Principles and Essential Knowledge.?United States,?Booksurge Publ.,?2009. 

References(s)

1. Bierig, Ralf, et al. Essentials of Software Testing. Cambridge University Press, 2021. 
2. Huth M, Ryan M. “Logic in Computer Science”. Second Edition, Cambridge University Press; 2004. 
3. Berard,?B.,?et?al.?Systems and Software Verification: Model-Checking Techniques and Tools.?Germany,?Springer Berlin Heidelberg,?2013.