非函数依赖程序不变量动态检测技术研究  

Research of dynamical detecting technique of non-functional dependence program invariant

作　　者：刘树锟[1] 陈继锋[1,2] 阳小华[3] 

机构地区：[1]湖南涉外经济学院计算机科学与技术学部,长沙410205 [2]西安交通大学计算机软件研究所,西安710049 [3]南华大学计算机科学与技术学院,湖南衡阳421001

出　　处：《计算机工程与应用》2008年第35期158-162,共5页Computer Engineering and Applications

基　　金：湖南省自然科学基金No.05JJ30117;湖南省教育厅基金资助课题(No.08C516);湖南省教育厅重点基金资助课题(No.07A034)~~

摘　　要：讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。In this paper,the notation of program invariant based on the contract is described,and a theory model of dynamically generating technique of program invariant is researched and built.In the theory model,the theory method and technology of dynamically generating technique of program invariant of non-functional dependence are discussed.A new method of dynamically generating technique of program invariant of non-functional dependence based on the theory of database is proposed.Then,a series of detecting measures of specific non-functional dependence program invariants are described.The method detecting program invariants in the way of SQL query,so many kinds of program invariants can be dynamically discovered by the means.User ean detect the program invariants on the condition of their interest by giving their query conditions at will.Comparing with Daikon,the method has two excellent features.Firstly,it is better expansible based on the RDBMS technology;Secondly,discovering of program invariants can be accomplished by the function of SQL query based on the technology of relational database which can deteet the orogram invariants in a nimble way.

关 键 词：程序不变量 非函数依赖 动态检测 软件质量 条件查询 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]