程序不变量检测技术研究进展
详细信息    查看全文 | 推荐本文 |
  • 英文篇名:Review of Program Invariant Detection Technology
  • 作者:刘志明 ; 时小芳 ; 李萌 ; 刘杰
  • 英文作者:LIU Zhi-ming;SHI Xiao-fang;LI Meng;LIU Jie;School of Computer, University of South China;
  • 关键词:程序不变量 ; 动态检测 ; Daikon
  • 英文关键词:Program Invariant;;Dynamical Detection;;Daikon
  • 中文刊名:DNZS
  • 英文刊名:Computer Knowledge and Technology
  • 机构:南华大学计算机学院;
  • 出版日期:2018-01-15
  • 出版单位:电脑知识与技术
  • 年:2018
  • 期:v.14
  • 基金:国家自然科学基金青年基金(61502221)
  • 语种:中文;
  • 页:DNZS201802093
  • 页数:3
  • CN:02
  • ISSN:34-1205/TP
  • 分类号:221-223
摘要
伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,受到了广泛的关注。经过近二十年的研究,程序不变量检测技术已经在软件开发、软件测试、逆向工程等领域得到了广泛应用。该文对程序不变量检测技术在国内外的研究现状进行了总结。主要论述了较成熟的程序不变量检测工具的工作原理、基于合约的程序不变量检测等各种方法的检测过程、不变量的应用范围,并分析了以上各种检测工具和方法的优缺点,最后,针对已有程序不变量检测技术及应用中待探究的问题进行了展望。
        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.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700