版权说明 操作指南
首页 > 成果 > 详情

Dynamical Detecting Technique of Nonfunctional Dependence Program Invariant

认领
导出
下载 Link by 万方会议论文
反馈
分享
QQ微信 微博
成果类型:
会议论文
作者:
Liu Shukun*;Yang Xiaohua;Chen Jifeng;Duan Shan
通讯作者:
Liu Shukun
作者机构:
[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.
通讯机构:
[Liu Shukun] H
Hunan Int Econ Univ, Dept Comp Sci & Technol, Changsha 410205, Hunan, Peoples R China.
语种:
英文
关键词:
program invariant;nonfunctional dependence;dynamically detect;quality of software;condition query
期刊:
2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I
年:
2009
页码:
569-572
会议名称:
2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)
会议论文集名称:
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.
会议赞助商:
太原理工大学
主编:
Qiu, R Zhao, H
出版地:
10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者:
IEEE COMPUTER SOC
ISBN:
978-0-7695-3679-8
基金类别:
Natural Science Foundation of Hunan Province [05JJ30117]; Scientific Research Fund of Hunan Provincial Education Department of China [08C516, 07A034]
机构署名:
本校为其他机构
院系归属:
计算机科学与技术学院
摘要:
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 pr...

反馈

验证码:
看不清楚,换一个
确定
取消

成果认领

标题:
用户 作者 通讯作者
请选择
请选择
确定
取消

提示

该栏目需要登录且有访问权限才可以访问

如果您有访问权限,请直接 登录访问

如果您没有访问权限,请联系管理员申请开通

管理员联系邮箱:yun@hnwdkj.com