首页>
外国专利>
CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS
CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS
展开▼
机译:利用共余多迹分析生成同步测试
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method to test a concurrent program by performing a concolic multi-trace analysis (CMTA) to analyze the concurrent program by taking two or more test runs over many threads and generating a satisfiability modulo theory (SMT) formula to select alternate inputs, alternate schedules and parts of threads from one or more test runs; using an SMT solver on the SMT formula for generating a new concurrent test comprising input values, thread schedules and parts of thread selections; and executing the new concurrent test.
展开▼