检索结果-南通市图书馆

计算机技术与发展 2024年第7期34卷 78-86页

作者：袁剑锋刘佳郭建卫徐州生物工程职业技术学院信息管理学院江苏徐州221000 徐州市农业物联网工程技术研究中心江苏徐州221000 江苏安全技术职业学院网络与信息安全学院江苏徐州221000

针对程序的分支覆盖测试,元启发式搜索技术已经被广泛应用于测试数据生成中。然而,当前的研究成果主要适用于串行程序。因此,为覆盖消息传递接口(Message Passing Interface,MPI)程序的分支,该文研究基于协同进化遗传算法(Co-evolutiona... 详细信息

针对程序的分支覆盖测试,元启发式搜索技术已经被广泛应用于测试数据生成中。然而,当前的研究成果主要适用于串行程序。因此,为覆盖消息传递接口(Message Passing Interface,MPI)程序的分支,该文研究基于协同进化遗传算法(Co-evolutionary Genetic Algorithm,CGA)的测试套件生成方法(简称为:CGA生成法),该方法具有不受不可行分支影响的优势。首先,基于收集覆盖信息的探针,定义最小归一化分支距离,并以此设计出相应的适应度值函数;然后,使用CGA生成进化个体,并基于设计的适应度值函数,计算这些个体的适应值;最后,基于计算的适应值,选择子种群中代表个体,以构成合作种群。所提CGA生成法应用于7个基准MPI程序,并与其他多种方法进行比较。实验结果表明,CGA生成法的覆盖率通常高于其他搜索算法。

关键词：消息传递接口程序协同进化遗传算法分支覆盖测试测试套件生成适应度值函数

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

优化教育软件的自动化测试：以一门在线STEM科目为例

引用

中国远程教育 2018年第6期 28-39页

作者：鲁宾·冈萨雷斯·克雷斯波[西班牙] 普拉波哈特·库马[印度] 曼珠·卡里[印度] 丹尼尔·布尔戈斯[西班牙] 肖俊洪(译) 西班牙拉里奥哈国际大学高等工程学院西班牙标准化和认证协会西班牙国家质量评估与鉴定署印度巴特那国家技术学院印度巴特那国家技术学院IT服务部印度安贝德卡高级通信技术与研究研究院西班牙拉里奥哈国际大学西班牙拉里奥哈国际大学教育创新和技术研究院汕头广播电视大学 515041

教育软件和教育ICT软件应用程序测试的自动化能减少测试维护失败的风险,选择最优化的测试套件能提高效率,因此能降低成本和耗时。本文介绍一种自动化测试工具的研发,这种工具包含教育软件测试的两个主要自动化部分:测试套件生成和测试... 详细信息

教育软件和教育ICT软件应用程序测试的自动化能减少测试维护失败的风险,选择最优化的测试套件能提高效率,因此能降低成本和耗时。本文介绍一种自动化测试工具的研发,这种工具包含教育软件测试的两个主要自动化部分:测试套件生成和测试套件优化。本文通过控制流图表示被试教育软件的控制流。该工具提供五种测试套件生成方法,即边界值测试、稳健性测试、最坏情况测试、稳健最坏情况测试和随机测试,并采用人工蜂群算法或布谷鸟搜索算法对所生成的测试套件进行优化,直至达到预期的适应值水平。与其他算法相比,这种方法能够以最少的一组测试用例达成最大的路径覆盖率。最后,我们对所产生的优化测试套件进行自动故障检测。本文还以一所在线开放大学的一门STEM科目为案例,介绍这个工具的使用情况。

关键词：教育软件教育ICT软件应用程序测试套件生成测试套件优化 STEM 控制流图自动化测试

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Test Suite Generation from Extended Finite State Machine by Using Search-based Approach

Test Suite Generation from Extended Finite State Machine by ...

引用

作者： SANA RAO 南京理工大学

学位级别：硕士

扩展的有限状态机(EFSMs)被广泛使用来模拟系统的行为。从EFSMs通过生成转换路(?)并提取测试数据来生成测试用例。然而转换路径可能是不可执行的,从而导致不能执行生成的测试数据。路(?)的不可行问题是指通过不可行的以及无法满足测试... 详细信息

扩展的有限状态机(EFSMs)被广泛使用来模拟系统的行为。从EFSMs通过生成转换路(?)并提取测试数据来生成测试用例。然而转换路径可能是不可执行的,从而导致不能执行生成的测试数据。路(?)的不可行问题是指通过不可行的以及无法满足测试覆盖准则的EFSM生成转换路径。在一个EFSM模型中,由于控制和数据部分的结合,导致路(?)可能是不可行的。路(?)的不可行性还可能增加整个测试过程的成本。基于搜索的方法被证明对测试EFSM模型的有效性。本文提出了采用基于搜索的方法从EFSM模型生成测试用例。该技术从EFSM模型生成一组转换路(?)以满足基于需求和约束路径覆盖准则。基于搜索的方法通过使用两种技术:(1)通过依赖分析来评估转换路(?)可行性的适应度度量(2)对整个测试用例用一个总的适应函数进行评估。本文通过两个简单的案例研究以评估所提出的技术的有效性。研究结果表明所提出技术的有效性。

关键词：适应度函数基于EFSM测试基于搜索方法遗传算法测试套件生成

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：