Dynamical Detecting Technique of Nonfunctional Dependence Program Invariant

摘要：

In this paper, the notation of program invariant was described, and a theory model of dynamical generating technique of invariants was researched. Then, the technology of dynamical generating technique of invariants of nonfunctional dependence was discussed. A new method of dynamical generating technique of invariants of nonfunctional dependence based on the theory of database was showed. Then, a series of detecting measures of specific nonfunctional dependence invariants were proposed.Many kinds of program invariants can be dynamically discovered by the means.

关键词： program invariant nonfunctional dependence dynamically detect quality of software condition query

作者: LIU Shukun YANG Xiaohua CHEN Jifeng DUAN shan

作者单位: Department of Computer Science and Technology, Hunan International Economics University, Changsha 41 Department of Computer Science and Technology, University of South China, Hengyang 421001, China

会议类型: 国际会议

会议名称: 2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)

会议地点: 太原

会议语种:英文

页码: 569-572

在线出版日期: 2009-07-10（万方平台首次上网日期，不代表论文的发表时间）