【摘 要】
：
系统输入参数常有多种约束条件,且约束之间相互关联。违背约束条件及约束之间的依赖关系,是软件中常见的缺陷。当参数数量多、输入空间大时,组合测试可在保证覆盖率的同时有
【基金项目】
：
国家自然科学基金资助项目(61472197)
论文部分内容阅读
系统输入参数常有多种约束条件,且约束之间相互关联。违背约束条件及约束之间的依赖关系,是软件中常见的缺陷。当参数数量多、输入空间大时,组合测试可在保证覆盖率的同时有效降低测试代价。该文针对约束及约束组合的故障检测问题,将约束覆盖作为测试充分性准则,提出约束条件的组合测试方法。以典型的在线交易平台会员注册服务为例,对比OA(orthogonal array)、IPO(in-parameter order)和OFOT(one factor one time)3种组合算法应用于约束组合时的性能表现。实验选取不同的故障模式和实验配置,对3种组合算法从生成时间、故障检测能力、用例规模等方面进行了比较。实验结果表明:OA算法生成时间短、用例规模小且相对稳定、故障检测能力中等,适合迭代优化。
其他文献
<正>一、课题的提出:研究背景小学语文是小学课程中的重要组成部分,关乎小学生人文情怀的培养、科学精神的塑造、认知能力的发展,培养小学生的核心素养是当今小学课堂教学的
新时期下,随着全球经济趋于一体化发展,科学技术持续更新,互联网技术、信息技术和通讯技术快速发展,电子商务开始盛行,其属于一种全新的贸易形式,对国际经济贸易带来直接影响
本研究以克拉申的可理解性输入理论为基础,通过实证性研究,说明了可理解性语料在听力教学中的重要性,指出分级教学是提高大学英语听力课堂教学效果的有效模式。
<正>科学探究是科学教学的核心。科学探究中一个重要的环节就是引导学生自行设计实验、自主解决问题,从而张扬学生的个性,开拓学生的创新思维。根据这一理念,我在进行本课的
随着我国学校教育的大发展,学校管理文化对学校发展的重要性受到越来越多人的关注。本文对我国学校管理文化的研究做了梳理,主要从学校管理文化界定、学校管理文化构成、学校
<正>我在教学《传热比赛》一课时,从课题《传热比赛》入手,设计了两次"传热比赛",在活跃课堂气氛、调动学生参与学习的积极性的同时,巧妙地完成了本课的教学目标。第一次比赛
从健康仔猪新鲜粪便中分离到3株乳酸菌,并对其进行了属和种的生化鉴定,结果显示,菌株La与Lt均为嗜酸乳杆菌(Lactobacillus acidophilus),Ls为乳酸乳杆菌(Lactobacillus lacti
随着素质教育开展的不断深入,学生创新能力的发展,成为素质教育主要的目标之一。体育教学作为促进学生身心健康发展,提高学生综合素质的平台,需要每一个体育教师加强对课堂的
20世纪三四十年代,以日记体、书信体和诗意体小说为代表的诗化小说依然存在。然而,这类文本的内聚焦叙述方式必须服从于特殊时期的外倾型叙事诉求,因此在一定程度上放逐了抒
文章根据近年来在以专业为背景的高职大学生技能型公益服务模式的探索,提出了高职院校社会服务能力建设应注意发挥院校的特点和优势,推行高职院校的地方社会责任,提升高职大