Supervised By

Software Verification is a discipline of Software Engineering which aims at assuring that the software adhere with the requirements. Structural coverage is a testing mean complying that the requirements based testcases have exercised the code structure. In mission critical domains such as aviation industry, military software quality assurance is subject to strict regulations. Modified Condition/Decision Coverage (MCDC) is a whitebox testing metric with the objective of covering all the conditions and decisions in the program along with showing the independent effect of conditions on overall decision’s outcome. This thesis presents a new approach to automatic generation of testcases for high MCDC coverage. In the thesis, we have implemented concolic tester to automatically generate testcases. The short circuiting approach to evaluate conditions inside a decision in C-Language is used to decompose a decision into nested conditions using CIL. The approach involves two major modules- levelling module and CDG module. Levelling module generates testcases by flipping conditions at a specific nesting level, providing low coverage. CD