首页>
外国专利>
METHOD FOR AUTOMATICALLY GENERATING SEARCH HEURISTICS AND PERFORMING METHOD OF CONCOLIC TESTING USING AUTOMATICALLY GENERATED SEARCH HEURISTICS
METHOD FOR AUTOMATICALLY GENERATING SEARCH HEURISTICS AND PERFORMING METHOD OF CONCOLIC TESTING USING AUTOMATICALLY GENERATED SEARCH HEURISTICS
展开▼
机译:自动生成搜索启发式的方法和使用自动生成搜索启发式进行隐式测试的方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
An automatic generation method of a search strategy used in concurrency testing for a target program according to the present invention includes: (a) generating feature vectors corresponding to branch statements included in the target program, and each dimension of the feature vectors Initializing sample spaces corresponding to, (b) randomly generating first parameter vectors having the same dimensions as the feature vectors, and including components selected from the sample spaces, (c) the object Selecting second parameter vectors among the first parameter vectors based on the size of the first branch statement coverage of each of the first parameter vectors for the program, (d) the second parameter vector for the target program Individually reducing the sample spaces based on the average branch statement coverage of each of the (e) the second parameter Repeatedly performing steps (b) to (d) so that the average branch statement coverage of some of the vectors converges to the maximum, and (f) when the average branch statement coverage converges to the maximum, the maximum average branch And outputting an optimal parameter vector corresponding to the door coverage, but when step (b) is repeatedly performed, components of each of the first parameter vectors are individually reduced sample spaces in step (d). Can be selected from.
展开▼