关联缺陷及其应用研究

来源 :吉林大学 | 被引量 : 0次 | 上传用户:hdzj999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机软件技术的发展大大促进了计算机应用领域的发展,尤其是一些关键应用系统的开发和使用(如银行信贷系统、ATM系统等),软件质量已经成为软件产品最重要的属性之一。软件缺陷(Defect)普遍存在并具有极大危害性,不仅会造成重大的经济损失,甚至危及人身安全。提高软件质量,加强软件产品的可靠性,对缺陷进行检测、评估和预防一直是计算机领域内的主要研究内容之一。而在实际测试过程中,很多软件缺陷并不是相互独立的,它们存在着某种关联关系,即失效关联(Failure Correlation)。从缺陷自身方面来分析,造成这种关联关系存在是因为它们之间存在控制流和数据流所综合导致的,而数据流的关联在缺陷的检测和评估方面很少考虑。关联缺陷的存在很大程度上是由于缺陷的检测能力被其它缺陷所屏蔽,它不仅影响软件测试结果,还扭曲了软件可靠性评估模型的评估结果。软件关联缺陷是一种普遍存在的现象,结合国家863项目的研究,我们从软件缺陷的自身角度来分析软件检测以及可靠性评估失效的原因,对关联缺陷进行了详细分析。在此基础上将关联缺陷应用于软件可靠性评估和软件自动化测试中,实验表明在很大程度上提高了的软件缺陷检测能力和软件可靠性评估的准确度。在软件可靠性评估方面,为了在软件可靠性评估时获得更符合实际缺陷数量的预测值,我们将广义关联应用于现有可靠性评估模型的改进上,并提出了P-NHPP(Phase Nonhomogeneous Poisson Process)可靠性模型。P-NHPP是对NHPP模型的一种改进,将数据关联考虑至软件可靠性模型的改进上,针对缺陷与缺陷相互独立的基本假设,构建P-NHPP模型。P-NHPP模型从可靠性评估的数据采集入手,将关联缺陷应用于G-O模型中,并通过估计均方误差值和预测平均误差进行对比分析,实验分析表明,P-NHPP具有较好的拟合效果和预测能力。在软件自动化测试方面,我们引入变异测试技术。作为衡量测试用例集完备性的测试策略,变异测试是一种“面向缺陷”的单元测试技术,主要用来生成完备的测试用例集。其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术。但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响。充分考虑两种依赖关系,本文针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法DRD(Domain Reduction Approach with Data Dependence)。DRD充分考虑关联产生的数据依赖,将数据依赖加入程序执行路径中,形成考虑数据关联的PDD(Path with Data Dependence),在此基础上构建并求解约束系统,实验表明,这种方法虽然不一定能找到测试数据最优解,但在测试数据生成的成功率和执行效率上都有较大程度的提高。
其他文献
<正>一、立项背景稀土硼化物是指由稀土元素和硼元素组成的具有固定化学计量比、结构稳定的二元或二元以上的化合物。由于其晶体结构的特殊性,稀土硼化物具有一系列优越的性
会议
针对化探样品批量大,元素多,检出限低等特点,采用水平电极撒料法,对化探样中多种微量元素进行了光谱定量分析。将样品与缓冲剂1:1混匀,采用W-100光栅摄谱仪(光栅刻线1200条,毫米,二级
公路隧道是修筑在地下可供汽车和行人使用的通道,但在其施工的过程中,超欠挖现象时有发生.本文通过对隧道工程存在的超欠挖现象的原因进行的分析,对如何做好超欠挖管理并减少
为提高手术切除率,并尽量保留原有的生理通道和肛门功能,提高患者生活质量,我们采用内外括约肌间切除及采用管状吻合器行结肠肛门皮肤吻合技术,较原来手法结肠皮肤吻合,简化
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
文章分析了中国汽车造型本土化设计的重要性,即指出汽车是一个民族的性格载体,国内汽车厂必须摒弃模仿,力求本土化创新,才能使中国汽车走向世界,同时探究了本土化设计方法:即加入中
1999年10月15-17日,在韩国釜山市举行“第六届国际茶道联合大会”,来自中国、日本和韩国的茶道专家和茶文化研究者以及茶艺爱好者四百余人出席了这次盛会。详细情况见本刊344页《重访韩国日记
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
文章对川青交界地带的果洛州久治县宁玛派寺院白玉达唐寺的寺院教育现状进行了调研。通过对该寺教法传承、教学体制、教学内容、组织形式等方面的研究,认为,该寺寺院教育既继
本文围绕计算机辅助几何设计(Computer Aided Geometric Design,简称CAGD)中细分和拟合的造型方法进行了深入的研究,主要获得了以下一些成果:首先,从理论上证明了B样条曲线的