关键词: 软件测试, 静态分析, 区间运算, 缺陷模型, 状态机

Abstract:

The design and implementation of defect testing system (DTS)-a testing system based on defect model was presented. It first classifies, analyzes and summarizes the main software defect models and gives a description method to describe the proposed models based on state machine. A unified testing framework was proposed to test the proposed models. In the unified testing framework, interval computation was proposed to reduce the false positive and provide necessary information for defect testing. The experiment shows that, compared with other tools, DTS can test the code more efficiently but produce less false.

Key words: software testing, static analysis, interval computation, defect model, state machine