期刊论文

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

中文

计算机工程与应用

1002-8331

2008

44

35

158-162

10.3778/j.issn.1002-8331.2008.35.048

湖南省自然科学基金（the Natural Science Foundation of Hunan Province of China under Grant No.05JJ30117） 湖南省教育厅基金资助课题（No.08C516） 湖南省教育厅重点基金资助课题（No.07A034）.

本校为其他机构

讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。在该模型中，针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术，针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能，灵活地检测各种常见类型的非函数依赖程序不变量，并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势：第一，基于关系数据库技术，具有良好的可扩展性；第二，使用S...

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 det...