Research on Code Pattern Automata-based Code Error Pattern Automatic Detection Technique

摘要：

Nowadays,many defects,e.g.,obscure error generation-scenario and lacking of formalization which is the basis for the automatic error detection,exist in field of code error research.Furthermore, the automation of error detection will greatly affect the quality and efficiency of software testing. Therefore,more deeply research on code errors need to be done. At first, this paper presents the definition of code error pattern based on definition of pattern.Secondly,it investigates the formalization description of code error pattern.Then,it studies the automatic error pattern detecting technique based on non dctcrminatc finite state automata and treats the matching technique of error pattern as the key problem.Finally,some case studies are given.The preliminary results show the rationality of code error pattern definition and the effectiveness of error pattern formalization description and error pattern matching technique.

关键词： code error pattern formalization description thread program dependence graph non-determinate finite state automata

作者: Xuan Hu Bin Liu Yichcn Wang

作者单位: Department of System Engineering of Engineering Technology Beihang University Beijing,China

会议类型: 国际会议

会议名称: 2009 8th International Conference on Reliability,Maintainability and Safety(第八届中国国际可靠性、维修性、安全性会议)

会议地点: 成都

会议语种:英文

页码: 754-760

在线出版日期: 2009-08-24（万方平台首次上网日期，不代表论文的发表时间）