作者：
Liu Shukun*;Yang Xiaohua;Chen Jifeng;Duan Shan
作者机构：
[Duan Shan; Liu Shukun; Chen Jifeng] Hunan Int Econ Univ, Dept Comp Sci & Technol, Changsha 410205, Hunan, Peoples R China.;[Yang Xiaohua] Univ South China, Dept Comp Sci & Technol, Heng Yang 421001, Peoples R China.
会议名称：
2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)
会议时间：
2009-07-10
会议地点：
太原
会议主办单位：
[Liu Shukun;Chen Jifeng;Duan Shan] Hunan Int Econ Univ, Dept Comp Sci & Technol, Changsha 410205, Hunan, Peoples R China.^[Yang Xiaohua] Univ South China, Dept Comp Sci & Technol, Heng Yang 421001, Peoples R China.
会议论文集名称：
2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)论文集
关键词：
program invariant;nonfunctional dependence;dynamically detect;quality of software;condition query
摘要：
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.
期刊：
2009 ASIA-PACIFIC CONFERENCE ON INFORMATION PROCESSING (APCIP 2009), VOL 1, PROCEEDINGS,2009年:332-+
通讯作者：
Liu Shukun
作者机构：
[Liu Shukun] Hunan Int Econ Univ, Dept Comp Sci & Technol, Changsha, Hunan, Peoples R China.;[Yang Xiaohua] Univ South China, Dept Comp Sci & Technol, Hengyang, Hunan, Peoples R China.
通讯机构：
[Liu Shukun] H;Hunan Int Econ Univ, Dept Comp Sci & Technol, Changsha, Hunan, Peoples R China.
关键词：
program invariants;dynamically generating;quality of software
摘要：
With the development of computer science and technology, software has been widely applied in all kinds of business. It has been a very popular and important application system. So the quality of soft-ware causes more serious attention than before. Design by program invariant is a very important method which is used to improve quality of software. In this paper, a theory model of dynamically detecting technology of program invariant was built. And a new method of dynamically generating technology of program invariant of functional dependence based on the theory of database was showed. In this way, program invariant of functional dependence can be detected in a nimble way. Experiments have been done and the result demonstrates that the method is obviously reliable and efficient.
