[1]YANG Zhen-xing,LIU Jiu-fu,SUN Lin.Using invariants to predict the potential for errors in programs[J].CAAI Transactions on Intelligent Systems,2010,5(4):327-331.
Copy

Using invariants to predict the potential for errors in programs

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 5 Number of periods: 2010 4 Page number: 327-331 Column: 学术论文—人工智能基础 Public date: 2010-08-25
Title:
Using invariants to predict the potential for errors in programs
Author(s):
YANG Zhen-xing;  LIU Jiu-fu;  SUN Lin
College of Automation Engineering， Nanjing University of Areonautics and Astronautics， Nanjing 210016， China
Keywords:
invariants;  software testing;  support vector machine;  error prediction
CLC:
TP311
DOI:
-
Abstract:
As software systems become increasingly complex and large, deficiencies in software security increase sharply and implicit errors increase gradually. A method based on invariants was developed to predict potential errors in programs. First, a support vector machine was used to find program invariants and produce a pattern for machine learning. Then the pattern from machine learning was employed to classify the programs with behavior to be predicted and reveal the latent errors in codes. Finally an experiment was done that verified the effectiveness of the method. 
References:
［1］MARCUS E, STERN H. Blueprints for high availability ［M］.Washington: John Wiley, 2003: 38-42.
?［2］BRUN Y. Software fault identification via dynamic analysis and machine learning［D］. Cambridge Massachusetts Institute of Technology, 2003.
［3］汪廷华,田盛丰,黄厚宽. 特征加权支持向量机［J］. 电子与信息学报, 2009,31(3)：514-518.
WANG Tinghua, TIAN Shengfeng, HUANG Houkuan. Feature weighted support vector machine［J］. Journal of Electronics & Information Technology ,2009, 31(3)： 514-518.
［4］程勇,罗键,吴长庆. 基于支持向量机的环境质量评估方法［J］.计算机工程与应用， 2009, 45(2)： 209-211.
CHENG Yong，LUO Jian，WU Changqing. Environmental quality evalution based on SVM［J］.Computer Engineering and Applications， 2009， 45（2）： 209-211。
［5］李嘉.基于支持向量机的软件可靠性早期预测研究［D］.合肥:合肥工业大学, 2005.
?LI Jia. The study of software reliability early prediction based on support vector machine［D］. Hefei: Heifei University of Technology, 2005.
［6］刘杰,阳小华,罗扬，等. 一种交互式的不变量动态发现编配工具［J］.计算机应用与软件，2008,10：85-86.
?LIU Jie, YANG Xiaohua, LUO Yang, et al. An interacten instrum enter for dynamically discovering invariant［J］. Computer Applications and Software, 2008, 10： 85-86.
［7］ERNST M D, COCKRELL J, GRISWOLD W G. Dynamically discovering likely program invariants to support program evolution［J］. IEEE TSE, 2001， 27(2): 1-25.
［8］GRAVES T L, HARROLD M J, KIM J M, PORTER A, ROTHERMEL G. An empirical study of regression test selection techniques［J］. ACM Transactions on Software Engineering and Methodology, 2001， 10(2): 184-208.
［9］SALTON G. Automatic information organization and retrieval［M］. New York: McGrawHill, 1968: 485-498.
Similar References:

Memo

-

Last Update: 2010-09-20

Copyright © CAAI Transactions on Intelligent Systems