首页>
外国专利>
DYNAMIC TEST GENERATION FOR CONCURRENT PROGRAMS
DYNAMIC TEST GENERATION FOR CONCURRENT PROGRAMS
展开▼
机译:并发程序的动态测试生成
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer implemented method for dynamic test generation for concurrent programs, which uses a combination of concrete and symbolic execution of the program to systematically cover all the intra-thread program branches and inter-thread interleavings of shared accesses. In addition, a coverage summary based pruning technique, which is a general framework for soundly removing both redundant paths and redundant interleavings and is capable of speeding up dynamic testing exponentially. This pruning framework also allows flexible trade-offs between pruning power and computational overhead to be exploited using various approximations.
展开▼