摘要
Coverage analysis is a structural testing technique that helps to eliminate gaps in atest suite and determines when to stop testing. To compute test coverage, this letter proposes anew concept coverage about variables, based on program slicing. By adding powers accordingto their importance, the users can focus on the important variables to obtain higher test coverage.The letter presents methods to compute basic coverage based on program structure graphs. Inmost cases, the coverage obtained in the letter is bigger than that obtained by a traditionalmeasure, because the coverage about a variable takes only the related codes into account.
Coverage analysis is a structural testing technique that helps to eliminate gaps in a test suite and determines when to stop testing. To compute test coverage, this letter proposes a new concept-coverage about variables, based on program slicing. By adding powers according to their importance, the users can focus on the important variables to obtain higher test coverage. The letter presents methods to compute basic coverage based on program structure graphs. In most cases, the coverage obtained in the letter is bigger than that obtained by a traditional measure, because the coverage about a variable takes only the related codes into account.
基金
Supported in part by the National Natural Science Foundation of China(60073012),National Grand Fundamental Research 973 Program of China(G1999032701),National Research Foundation for the Doctoral Program of Higher Education of China,Natural Science Found
