【摘 要】
：
目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是
【机 构】
：
湖南涉外经济学院计算机科学与技术学部,南华大学计算机科学与技术学院
【基金项目】
：
湖南省自然科学基金项目（05JJ30117）
论文部分内容阅读
目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.
其他文献
当前,我国中等职业教育迎来蓬勃发展的新时期,同时也面临一些新的问题,我们的教育观念、教学模式及学生的学习方式必须改变,探究式教学作为培养学生创新精神和实践能力的一种
鸡鸣狗盗之徒,如今是咒人的话,有憎恶之意。但是,当初它并不含贬意。鸡鸣狗盔是一种技艺,身怀此种技艺的人,被看做特殊人才,以至被誉为英雄好汉。今人视其为地痞流氓,与本意
我国独立自主的外交路线和政策是毛泽东、周恩来同志制定的。邓小平同志在新的历史时期,继承和丰富发展了这些思想。其基本原则是:维护世界和平与促进共同发展是中国对外政策
赛诺非治疗前列腺癌药物Cabazitaxe的新药上市申请（NDA）已获美国FDA快速批准通道。三期临床研究的总生存数达到主要疗效终点，具有显著的统计学意义。这项研究的结果将在2010年3
目的：探讨注射用奥扎格雷钠细菌内毒素检查方法替代家兔热原检查法的可行性。方法：采用2个不同厂家的鲎试剂，用凝胶法进行干扰预试验及干扰试验；用灵敏度为0．5EU·mL^-1鲎试剂
新时期,青少年＂自组织＂以惊人的速度在增长。截止到2008年初,全国有各级、各类青少年自组织超过80万个。在迅速发展的同时,青少年＂自组织＂明显呈现出了多元化特征倾向。其中,尤以
公司监管法与公司绩效有着密切联系,适当的法律监管能够促进公司绩效的提升,但是过度的关注会适得其反,反而会挫伤公司管理层的管理积极性。现阶段的公司法作用主要是为了维
我国教育必然要经过一个改革创新的历程，而这个改革创新的历程其出发点、关注点、归宿点则是，以教师为本，尊重教师，发展教师；以学生为本，尊重学生，发展学生。因为尊重我们的教师和学
"人之初,性本善。"人生下来都有一颗善良的心,孔孟解释为"仁义之心。"我以为"明明白白我的心",才是人类脱离原始野蛮状态后逐渐约定俗成的社会道德规范,就个人来说又是经识无
“这是一个行业事件！它的意义将在多年以后显示出来。”资深的珠宝业内人士周先生对《华夏时报》记者说。1月7日，潮宏基实业股份有限公司（以下简称潮宏基，002345）发布公告称，其全资