吴化尧
- 作品数:23 被引量:14H指数:3
- 供职机构:南京大学更多>>
- 发文基金:江苏省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于待定元组的组合测试多故障定位方法
- 本发明公开了一种基于待定元组的组合测试多故障定位方法,包括以下步骤:步骤S1、测试用例执行与分类;步骤S2、构建组合格理论模型;步骤S3、设置待定元组;步骤S4、更新待定元组的上界和下界;步骤S5、寻找最小故障模式;步骤...
- 钮鑫涛范佳明吴化尧聂长海
- 覆盖表约简的方法及系统
- 本发明公开了一种覆盖表约简的方法及系统。其中该方法包括如下步骤:对初始覆盖表进行分析处理,得到覆盖表的相对灵活位置集;根据相对灵活位置集,判断覆盖表中每条测试用例中包含灵活位置的个数,并按灵活位置的个数从小到大的顺序对覆...
- 聂长海吴化尧李晓花董昭刘克蔡开元
- 文献传递
- 测试用例集执行顺序确定的方法及系统
- 本发明公开了一种测试用例集执行顺序确定的方法及系统。其中该方法包括如下步骤:计算初始测试用例集中任意两条测试用例之间的单一用例切换成本;从初始测试用例集中选取所有组合可能的h条测试用例,得到所有可能的由h条测试用例构成的...
- 吴化尧聂长海
- 文献传递
- 组合测试方法及其有效性研究
- 组合测试是一种系统检测软件中由参数间相互作用所引发故障的软件测试方法。经过三十多年的发展,组合测试研究在测试理论和测试方法上已取得了很多成果,组合测试实践在工业界也获得了广泛关注。然而,当前的组合测试方法仍存在一些需要解...
- 吴化尧
- 关键词:软件测试粒子群优化实证比较
- 文献传递
- 一种基于多层感知机的最优覆盖表大小预测方法
- 本发明公开了一种基于多层感知机的最优覆盖表大小预测方法,包括以下步骤:S1、获取待测系统的数据集,数据集包括覆盖强度t、参数个数k以及每个参数的取值个数v;S2、对数据集进行归一化处理;S3、计算对应图的顶点个数<Ima...
- 钮鑫涛陈宏楠吴化尧聂长海
- 覆盖表约简的方法及系统
- 本发明公开了一种覆盖表约简的方法及系统。其中该方法包括如下步骤:对初始覆盖表进行分析处理,得到覆盖表的相对灵活位置集;根据相对灵活位置集,判断覆盖表中每条测试用例中包含灵活位置的个数,并按灵活位置的个数从小到大的顺序对覆...
- 聂长海吴化尧李晓花董昭刘克蔡开元
- 文献传递
- 基于历史的云平台故障注入测试被引量:6
- 2019年
- 云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为了提高云平台的可靠性,开发人员在设计云平台时加入了容错机制,目的是在发生故障的情况下也能保证云平台的正常运行.但是容错机制并不能保证云平台完全可靠,因此我们还需要对云平台的可靠性进行检验.故障注入是检验云平台可靠性的方法之一,通过人为地将故障注入正在运行的系统中,观察系统动作并判断系统的容错机制是否正常工作.现有的故障注入方法侧重于分析待测系统特征以确定故障注入点,属于白盒或灰盒测试,对复杂的云平台来说,这一工作无疑要耗费大量的时间.因此,我们提出一种不依赖于系统信息的黑盒测试方法以提高检验效率.本文在现有工作的基础上做了以下几个方面的工作:第一,我们收集了云平台历史宕机事故报告,并分析其中故障模式出现的规律.我们发现,云平台中发生的故障类型具有重复性,在此基础上,我们提取了这些故障的特征,包括所在组件、根因、产生的影响、修复方法等;第二,通过对云平台历史宕机事故报告的分析,我们发现很多事故当中的故障并不是单一出现的,并且多个故障之间具有关联性、组合性,我们深入分析了多故障之间的关系以及故障之间的组合形式,在此基础上,为了尽可能完全地检测云平台的可靠性,我们提出在故障注入过程中需要对多故障进行组合注入;第三,在对多故障进行组合的过程中我们发现,由于云平台的复杂性,故障种类的多样性,多故障之间的组合会产生组合空间爆炸问题,针对这一问题,我们做了初步探究,并提出了几种约减策略;第四,基于上�
- 马骅聂长海吴化尧
- 一种基于因子分析技术的APP健康程度评估方法
- 本发明公开了一种基于因子分析技术的APP健康程度评估方法,包括以下步骤:步骤S1、建立健康度指标体系,获取健康度指标值,所述健康度指标体系包括用户评论指标、开发者指标和应用商店指标;步骤S2、建立健康度因子分析模型;步骤...
- 吴化尧龚楠雅钮鑫涛聂长海
- 一种验证分布式协议活性属性容错机制的检测方法及装置
- 本发明涉及模型检测领域,具体是涉及一种验证分布式协议活性属性容错机制的检测方法及装置,包括以下步骤:初始化待验证系统;获取当前状态下待验证系统可以执行的迁移集T_Set;定义对等节点;定义相同操作;基于对等约减策略约减迁...
- 吴化尧陆超逸聂长海
- 文献传递
- 覆盖表生成的粒子群算法:参数优化和自适应算法被引量:4
- 2012年
- 组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法,覆盖表的生成是该研究领域的一个重要问题.目前,很多方法已被应用于覆盖表生成,基于演化搜索的粒子群算法尽管能得到较优的解,但其性能容易受到配置参数的影响.本文首先使用试验设计的方法,对不同覆盖表生成的算法参数进行优化,系统分析了参数对算法性能的影响.同时,考虑到对不同的覆盖表,最优的算法参数往往不同,因此进一步提出了一种适用于覆盖表生成的自适应粒子群算法.实验结果表明,在一定的参数取值范围内粒子群算法都能获得较好的结果,且不存在一组对任意覆盖表都能有最优性能的算法参数.通过参数调优,能使粒子群算法获得比已有结果规模更小的覆盖表,同时,与经过参数调优后的算法相比,自适应粒子群算法在大部分情况下有更好的性能.
- 吴化尧聂长海
- 关键词:粒子群算法自适应算法