In this thesis, a new approach for measuring the number of static paths in a given program and generating test cases with the aim of increasing path coverage is presented. The tool presented in this thesis, is capable of static and dynamic analysis of C programs. It receives program source code and explores corresponding assembly code to identify basic blocks and builds program control flow graph. To extract paths in program's control flow graph, it uses a developed tree structure and a modified DFS algorithm which makes the approach scalable in terms of program size and complexity.

This approach gives program tester the path coverage of program which is the most exhaustive coverage criterion. Similar approaches for program coverage such as statement coverage, branch coverage, block coverage, functions and class coverage cannot help program tester to guarantee software reliability. In other words, until software tester has incomplete knowledge about all program paths, he is not able to find and fix existing bugs. However, the proposed approach, extracts static program paths to measure the reliability of the program.

A main advantage of proposed approach is program dynamic analysis in addition to static analysis. To this end, program is instrumented in assembly level and different execution paths are traversed using a novel test case generation method. This novel method, applies Bayesian network to model conditional probabilities among program basic blocks on one hand and conditional probabilities between input parameters and basic block transitions on the other hand. By analyzing and updating the network, different input parameters for traversing corresponding execution paths are generated and hence the reliability of program is considerably increased.

The experiments on various programs reveal the efficiency and accuracy of proposed approach.

Keywords: Software Testing, Bayesian Network, Static and Dynamic Analysis,

                    Path Coverage

  ارائه­دهنده:

سامان تیموری

  اساتید راهنما:

  دکتر سعید پارسا

  استاد ممتحن داخلی : دکتر بهروز مینایی بیدگلی

  استاد ممتحن خارجی :دکتر رامان رامسین

  زمان : یکشنبه 21/12/90

  ساعت 10

  مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق دفاعیه

  از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان به موضوع دفاعیه دعوت
می شود با حضور خود موجبات غنای علمی و ارتقای کیفی را فراهم سازند.

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی