Loading...

Improving the Efficiency of Program State Coverage Criterion

Karimi, Shahab | 2021

214 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 54592 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Mirian Hossein Abadi, Hassan
  7. Abstract:
  8. One of the most crucial methods to Ensure correct software performance is testing. On this ground, one of the most critical discussions regarding software testing is the effectiveness of a test suite. Program state coverage is a criterion for determining the effectiveness of a test suite. This criterion indicates the number of program states that are executed for the lines. Since the total number of program states cannot be calculated to measure coverage, this criterion proposes a fixed number of 10 to measure program state coverage. Also, according to calculations for the program state in the execution of each line, the time complexity of this criterion is high. In this thesis, providing solutions to improve the program state coverage criterion increases the time complexity and effectiveness. In order to improve the time complexity, instead of calculating the number of program states for each line with the entire program partition, it takes the calculations only for one line of each set. Considering that the total number of program states is always related to the program complexity, it cannot be the same for all programs. On the improved criterion, we consider the total number of program states corresponding to the total number of program lines under the test. Also, to determine the improvement criterion, we have conducted an experiment. In this experiment, we measured the modified version of the criterion that, in the end, the changed criterion, in addition to having the proper time complexity in the calculation, showed more accuracy in determining the effectiveness of test suites
  9. Keywords:
  10. Software Testing ; Unit Test Effectiveness ; Program State Coverage

 Digital Object List

 Bookmark

No TOC