TY - GEN
T1 - Research on code pattern automata-based code error pattern automatic detection technique
AU - Hu, Xuan
AU - Liu, Bin
AU - Wang, Yichen
PY - 2009
Y1 - 2009
N2 - 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 nondeterminate 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.
AB - 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 nondeterminate 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.
KW - Code error
KW - Formalization description
KW - Non-determinate finite state automata
KW - Pattern
KW - Thread program dependence graph
UR - https://www.scopus.com/pages/publications/77955975694
U2 - 10.1109/ICRMS.2009.5270089
DO - 10.1109/ICRMS.2009.5270089
M3 - 会议稿件
AN - SCOPUS:77955975694
SN - 9781424449057
T3 - Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
SP - 754
EP - 760
BT - Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
T2 - 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
Y2 - 20 July 2009 through 24 July 2009
ER -