【摘 要】
：
组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造问题的复杂度是NP完全的。给出了一种基于符
【机 构】
：
桂林电子科技大学广西可信软件重点实验室
【基金项目】
：
广西自然科学基金项目（2016GXNSFAA380054）, 桂林电子科技大学研究生教育创新（YJCXS201541）, 广西高等学校高水平创新团队及卓越学者计划资助
论文部分内容阅读
组合测试是系统测试中一种非常有效的方法,能够在保证错误检出率的前提下采用较少的测试用例来测试系统。但是,组合测试用例集构造问题的复杂度是NP完全的。给出了一种基于符号零压缩二叉决策图（Zero-suppressed Binary Decision Diagram,ZBDD）的组合测试用例生成方法。该方法首先利用ZBDD的结构特性,对测试系统进行紧凑的符号表示。然后利用ZBDD的隐式操作,结合贪心算法的思想,不断地覆盖更多的组合并缩小未覆盖组合集合,生成2-4维覆盖强度的较小测试用例集。实验证明,所提方法不
其他文献
前不久，全国两会胜利闭幕。由中国航天科工集团公司二院706所研制的天安门地区“高清视频数字图像监控系统”全天候执行两会期间天安门地区的整体防控任务，出色完成使命，为两会
形式背景的属性约简是形式概念分析的重要研究方向。针对决策形式背景,已有多种属性约简标准及属性约简方法。文中研究了相关属性约简方法之间的关系,从形式概念的角度给出了
为了改善常规电刺激仪缺少主动训练模式导致的疗效不佳,在电刺激仪中引入一种新的肌电反馈方法;在肌电反馈设计中,针对病情不一导致的患者肌电幅值跨度大的特点,设计了自适应
6月28日，备受关注的ARJ21—700飞机全机稳定俯仰（2．5g）情况极限载荷静力试验在中航工业强度所圆满完成，FAA和CAAC适航代表全程监控了本次试验。中国商飞董事长张庆伟，中航工业总经
为消除基本宽线检测算子中的冗余计算量,提高其运算速度,提出了一种快速的宽线算子实现方法——自适应移动宽线算子。基本宽线算子采取逐像素移动的方式来检测图像中的宽线特征;自适应移动宽线算子与之不同,在检测宽线像素时能够根据当前像素类型自适应地确定模板移动的步长,从而加快模板的移动速度,较好地消除了基本算法中的冗余运算。利用测试图像进行的实验的结果表明,自适应移动宽线算子在取得相当检测性能的同时,提高了
针对工业数据采集系统在环境恶劣或者布线不便以及有线的缺陷情况，提出采用无线射频（0～1000MHz）和蓝牙技术实现无线通信接口，借鉴无线传感器网络的思想，设计了无线数据采集系统；无线
1月17日，“创新中国——中国企业创新论坛2009年年会”在北京人民大会堂举行。中国航天科工集团公司总经理许达哲被授予“2009年度中国企业自主创新·品牌建设十大功勋人
植物叶片的薄片状结构使得叶片的二维形态更加引人注意,但叶片的弯曲、凹凸等三维形态特征同样是叶片形态的重要组成部分。文章对Runions等提出的二维平面内植物叶片形态的模拟方法做出了改进,提出了一种基于叶脉形状函数的叶片形态模拟方法,将叶片形态的模拟扩展至三维空间。首先,用B样条曲线为不同等级的叶脉指定其在第三维方向的形状函数,得到具有三维形态的叶脉;之后,根据叶脉结构移动叶片边缘,得到边缘的三维形
针对目标移除修复方法中存在的修复顺序不合理以及错误匹配问题,提出一种基于结构稀疏度和块差异度的图像修复方法。首先,在优先权中增加块的结构稀疏度计算,使优先权不仅依赖于目标块的几何特征,而且可以反映其邻域特征,提高了对目标块所处区域特征的辨识度,从而使修复顺序更加合理。其次,定义目标块与样本块之间的差异度,并在此基础上定义新的匹配规则,不仅对已存在像素之间的相似程度进行衡量,而且对已存在像素与填充像
多标签特征选择是应对数据维度灾难现象的主要方法之一,可以在降低特征维度的同时提高学习效率,优化分类性能。针对目前特征选择算法没有考虑标签间的相互关系,以及信息量的