检索结果-内蒙古大学图书馆

计算机学报 2016年第2期39卷 237-252页

作者：侯可佳白晓颖周立柱清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室北京100084

通过灵活配置实现在线软件定制是多租户(Multi-Tenancy Architecture,MTA)软件即服务(Software-asa-Service,SaaS)系统的一个重要特征.由于参数和行为配置的复杂多样,配置错误是系统质量所面临的主要风险之一.对各种配置的组合测试,是MT... 详细信息

通过灵活配置实现在线软件定制是多租户(Multi-Tenancy Architecture,MTA)软件即服务(Software-asa-Service,SaaS)系统的一个重要特征.由于参数和行为配置的复杂多样,配置错误是系统质量所面临的主要风险之一.对各种配置的组合测试,是MTA SaaS系统测试的一个重要内容.该文针对配置之间的约束依赖关系,提出建立约束依赖图,利用图搜索算法获取具有依赖关联的配置项集合,采用组合测试算法,生成不同的配置测试场景,满足多配置组合覆盖率要求.实验以多租户游戏系统为例,对比多种测试生成算法,实验显示该方法在检测由约束违反引起的系统缺陷方面有显著改善效果.

关键词：约束组合多租户系统配置测试数据生成组合测试算法

来源：评论

学校读者我要写书评

暂无评论

无人机航空软件测试用例自动生成方法研究与实现

无人机航空软件测试用例自动生成方法研究与实现

引用

作者：张伟电子科技大学

学位级别：硕士

近年来,无人机在社会中起的作用日益重要。航空软件作为机体神经,带动飞机正常运作,确保航行安全。航空软件的特点是实时性和高稳定性,因此对其进行可靠性测试是不可或缺的。软件测试中,最重要的就是测试用例。软件测试用例的自动生成,... 详细信息

近年来,无人机在社会中起的作用日益重要。航空软件作为机体神经,带动飞机正常运作,确保航行安全。航空软件的特点是实时性和高稳定性,因此对其进行可靠性测试是不可或缺的。软件测试中,最重要的就是测试用例。软件测试用例的自动生成,在降低人工负荷的同时,对测试效率有了高效的提升,此外,对软件开发也有很大的推动作用。综上所述,研究航空软件测试用例自动生成方法是极其有实践意义和理论价值的。本文以在某研究所参与的无人机飞行控制系统软件测试项目为研究基础,对现阶段已有的软件测试用例自动生成方法和航空软件测试领域做了深入分析。在此基础上,考虑到航空软件特点,本文提出了从组合测试出发,在对IPO算法和蚁群算法改进后生成高覆盖率用例集的同时,加入因果图约束算法对航空软件要求的MC/DC标准测试用例进行补充。最终通过软件构造技术,搭建软件平台以自动生成测试用例。具体研究过程如下所示。首先,本文研究了大量测试用例自动生成算法和航空领域中的软件测试方法,并着重对组合测试用例生成理论作了分析。研究了几种组合测试中测试用例集自动生成的方法,包括各自的原理和缺陷,并在IPO算法的基础进行改进,生成基础的两两精简测试用例集,同时加入蚁群算法后将测试组合情况提高到三三组合,进而提高测试用例覆盖率,达到90%左右。此外,加入因果图约束算法来补充MC/DC标准的测试用例集,并最终形成了本文测试用例自动生成理论的基础。其次,本文完成了测试用例自动生成方法后,研究了测试用例自动生成软件框架,并基于此构建了航空软件测试用例自动生成平台,包括预处理模块、测试数据生成模块、测试用例集生成模块和测试用例集管理模块等。该软件平台可以实现航空软件测试用例集自动生成的功能,界面交互性好,方便操作。最后,本文搭建了航空软件的测试环境,采用本文的研究成果,以飞行控制系统软件为对象进行了软件平台应用功能验证和测试用例集覆盖率验证等一系列工作,验证结果达到了最初设定的覆盖率目标,证明了本论文方法的有效性。综上所述,本文从开始的理论研究到软件工程化实现,乃至最后的测试验证工作,都证明本课题方法可以在实现航空软件测试用例自动生成的同时,保证测试用例较高的覆盖率和测试用例集的精简。

关键词：测试用例自动生成软件测试组合测试算法蚁群算法

来源：评论

学校读者我要写书评

暂无评论

无人机飞控机载软件测试用例自动生成的方法研究及实现

无人机飞控机载软件测试用例自动生成的方法研究及实现

引用

作者：张念坤电子科技大学

学位级别：硕士

无人机的研究方兴未艾,无人机在国防和民用方面的地位越来越突出,从而使得无人机的开发愈发受到重视。飞控系统作为无人机的最重要的部分之一,一旦出现故障就会影响无人机的安全。而飞控系统软件的质量直接影响着飞控系统的安全性。因此... 详细信息

无人机的研究方兴未艾,无人机在国防和民用方面的地位越来越突出,从而使得无人机的开发愈发受到重视。飞控系统作为无人机的最重要的部分之一,一旦出现故障就会影响无人机的安全。而飞控系统软件的质量直接影响着飞控系统的安全性。因此,在飞控系统软件的设计开发中,如何对软件进行有效全面的测试不可或缺。研究测试用例自动生成算法,并软件工程化实现测试用例自动生成工具具有重要的现实意义。本文以无人机飞控系统为研究对象,结合成都某研究所中使用的SCADE软件,对测试用例自动生成在理论上进行了研究,对比分析了几种生成算法之间的优点和劣势,提出了两种算法融合来规避各自算法的缺点,从而保证生成的测试用例数量较少情况下,获得较高覆盖率,最终工程化实现所提出的方案,并检验了测试用例集的覆盖效果。首先,深入研究了测试用例自动化生成方面比较热门的生成算法,主要包括遗传、蚁群和组合测试生成算法,着重介绍了组合测试算法的原理和缺陷,介绍了IPO生成算法,因果图约束算法概念,并根据组合测试算法和因果图约束算法的特点将两者进行了融合,从而提出了本文中测试用例自动生成理论的基础,并对几种算法进行了仿真对比。其次,详细介绍了以测试用例自动生成理论为根据,软件实现自动化生成工具的具体实现方案,包括随机法设计、反例生成算法的设计等方面。在设计过程中根据SCADE建模软件和飞控系统程序特点做了更有针对性的处理设计,最终开发出基于SCADE建模软件平台的测试用例自动生成工具。然后,本文对测试用例生成工具进行了测试验证,利用不同的测试模型,主要是理想模型和飞控系统中子系统模型,从不同方面进行了对比验证,包括人工与自动化对比,一种生成算法与两种算法融合生成的测试用例覆盖率对比,最终给出了测试验证结果和统计结果。综上所述,通过理论到工程化实现最终到验证的过程,本文实现了测试用例自动化生成,达到了测试用例构造中减轻人工工作量的要求,得到了较为满意的效果。

关键词：测试用例自动生成组合测试算法因果图约束无人机 SCADE建模

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：