程序不变量检测技术研究进展
|
摘要
伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,受到了广泛的关注。经过近二十年的研究,程序不变量检测技术已经在软件开发、软件测试、逆向工程等领域得到了广泛应用。该文对程序不变量检测技术在国内外的研究现状进行了总结。主要论述了较成熟的程序不变量检测工具的工作原理、基于合约的程序不变量检测等各种方法的检测过程、不变量的应用范围,并分析了以上各种检测工具和方法的优缺点,最后,针对已有程序不变量检测技术及应用中待探究的问题进行了展望。
With the rapid development of economic, the update of software is increasingly accelerating, traditional methods of software test can't effectively guarantee the quality of software can't not be guaranteed effectively by traditional methods of software. Program invariant accords with people's expectation which is one of the most important indicators of health management in software runtime. After nearly two decades of research, Program invariant detection technology has been widely used in software development, software test, reverse engineering and other fields. In this paper, the research on invariant at home and abroad is described. Mainly discussed the working principle, the detection process and shortcomings of invariants Based on the Contract as well as the scope of invariants. Besides, it also analyzes merits and shortcomings of the above testing tools and methods. Finally,the possible research goal of the invariant is prospected in connection with the deficiency of existing detection.
With the rapid development of economic, the update of software is increasingly accelerating, traditional methods of software test can't effectively guarantee the quality of software can't not be guaranteed effectively by traditional methods of software. Program invariant accords with people's expectation which is one of the most important indicators of health management in software runtime. After nearly two decades of research, Program invariant detection technology has been widely used in software development, software test, reverse engineering and other fields. In this paper, the research on invariant at home and abroad is described. Mainly discussed the working principle, the detection process and shortcomings of invariants Based on the Contract as well as the scope of invariants. Besides, it also analyzes merits and shortcomings of the above testing tools and methods. Finally,the possible research goal of the invariant is prospected in connection with the deficiency of existing detection.
引文
[1]Ernst M D,Notkin D.Dynamically discovering likely program invariants[J].Software Engineering IEEE Transactions on,2001,27(2):99-123.
[2]University N H,Hengyang H,Liu C,et al.Dynamically Discover-ing Likely Program Invariants Based on the Contract[J].2006.
[3]http://plse.cs.washington.edu/daikon/
[4]Csallner C,Tillmann N,Smaragdakis Y.Dy Sy:dynamic symbol-ic execution for invariant inference[C]//ACM/IEEE Interna-tional Conference on Software Engineering.2015:281-290.
[5]Bocchi L,Honda K,Tuosto E,et al.A theory of design-by-con-tract for distributed multiparty interactions[C]//InternationalConference on Concurrency Theory.Springer-Verlag,2010:162-176.
[6]Baliga A,Ganapathy V,Iftode L.Automatic Inference and En-forcement of Kernel Data Structure Invariants[C]//ComputerSecurity Applications Conference.IEEE Computer Society,2008:77-86.
[7]李玉燕,阳小华,吴取劲.基于GEP-RNC的指数对数型程序不变量发现方法[J].南华大学学报,2017,31(1):72-76.
[8]Wei J,Zhu F,Shinjo Y.Static analysis based invariant detectionfor commodity operating systems[J].Computers&Security,2014,43(6):49-63.
[9]Roest D,Deursen A V,Mesbah A.Invariant-Based AutomaticTesting of Modern Web Applications[J].IEEE Transactions onSoftware Engineering,2012,38(1):35-53.
[10]单锦辉,姜瑛,刘江红,等.基于合约的构件易测试性设计支撑工具的设计与实现[J].北京大学学报:自然科学版,2005,(5):815-819.
[2]University N H,Hengyang H,Liu C,et al.Dynamically Discover-ing Likely Program Invariants Based on the Contract[J].2006.
[3]http://plse.cs.washington.edu/daikon/
[4]Csallner C,Tillmann N,Smaragdakis Y.Dy Sy:dynamic symbol-ic execution for invariant inference[C]//ACM/IEEE Interna-tional Conference on Software Engineering.2015:281-290.
[5]Bocchi L,Honda K,Tuosto E,et al.A theory of design-by-con-tract for distributed multiparty interactions[C]//InternationalConference on Concurrency Theory.Springer-Verlag,2010:162-176.
[6]Baliga A,Ganapathy V,Iftode L.Automatic Inference and En-forcement of Kernel Data Structure Invariants[C]//ComputerSecurity Applications Conference.IEEE Computer Society,2008:77-86.
[7]李玉燕,阳小华,吴取劲.基于GEP-RNC的指数对数型程序不变量发现方法[J].南华大学学报,2017,31(1):72-76.
[8]Wei J,Zhu F,Shinjo Y.Static analysis based invariant detectionfor commodity operating systems[J].Computers&Security,2014,43(6):49-63.
[9]Roest D,Deursen A V,Mesbah A.Invariant-Based AutomaticTesting of Modern Web Applications[J].IEEE Transactions onSoftware Engineering,2012,38(1):35-53.
[10]单锦辉,姜瑛,刘江红,等.基于合约的构件易测试性设计支撑工具的设计与实现[J].北京大学学报:自然科学版,2005,(5):815-819.