W6_L1: Logic coverage example 2

Welcome to Week 6 Lecture 1 of the course "Software Testing" by Prof. Meenakshi D'Souza. Full Course https://study.iitm.ac.in/ds/course_pages/BSCS3002.html Video Overview This lecture continues our exploration of logic based testing with a practical example testing a triangle classification program We analyze the code identify logical predicates and address challenges like dealing with internal variables and ensuring reachability We then apply predicate coverage clause coverage and correlated active clause coverage cacc to create effective test cases for this example Learn how to systematically test code with complex logical expressions About IIT Madras' online Bachelor of Science programme IIT Madras offers four-year BS programmes that aim to provide quality education to all, irrespective of age, educational background, or location. The BS programme has multiple levels which provide flexibility to students to exit at any of these levels Depending on the courses completed and credits earned the learner can receive a Foundation Certificate from IITM CODE (Centre for Outreach and Digital Education), Diplomas from IIT Madras or BSc BS Degrees from IIT Madras For more details Visit https://www.iitm.ac.in/academics/study-at-iitm/non-campus-bs-programmes #softwaretesting #testing #logicbasedtesting #predicatecoverage #clausecoverage #cacc #correlatedactiveclausecoverage #triangle #triangleclassification #testcases #codecoverage #softwarequality #qa #qualityassurance #logicalexpressions #testingtechniques #IITMadras #OnlineLearning #EdTech