IM体育官网_首页-【welcome】(yb3548.cn)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,IM体育官网_首页-【welcome】值得信赖,期待广大游戏爱好者前来体验,IM体育官网_首页-【welcome】将把最好的游戏体验带给大家!

信控学院巩敦卫教授IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】、孙百才博士在软件测试方面取得重要进展

发布者:李鸣轩发布时间:2021-01-06浏览次数:10


 排序后的测试数据及其目标值的分布图


成功率与时间消耗的规律曲线

消息传递接口(Message-Passing Interface, MPI)是目前最重要的一种基于消息传递的并行编程工具IM体育官网_首页-【welcome】,具有移植性好IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】、功能强大及效率高等优点IM体育官网_首页-【welcome】。目前IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,大部分并行计算机厂商均提供对MPI的支持,使其成为实际上的并行编程标准IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】。鉴于此IM体育官网_首页-【welcome】,测试MPI程序显得尤为重要。然而IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,随着软件复杂度的不断提高IM体育官网_首页-【welcome】,软件测试的成本大大增加IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】。

近日IM体育官网_首页-【welcome】,信控学院智能优化与控制课题组巩敦卫教授和孙百才博士在该领域取得研究进展IM体育官网_首页-【welcome】,研究成果形成论文“Test Data Generation for Path Coverage of MPI Programs Using SAEO”IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,该论文以中国矿业大学为第一单位IM体育官网_首页-【welcome】,为我校首篇发表在国际顶级期刊IM体育官网_首页-【welcome】、CCF A类期刊ACM Transactions on Software Engineering and MethodologyIF: 2.057)的文章IM体育官网_首页-【welcome】,其中,论文第一作者为巩敦卫教授IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,通讯作者为孙百才博士IM体育官网_首页-【welcome】。

为降低测试MPI程序的计算代价IM体育官网_首页-【welcome】,该论文首先针对问题的多模态特性IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,将样本集聚为若干类IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,并基于每一类样本IM体育官网_首页-【welcome】,训练一个代理模型IM体育官网_首页-【welcome】;然后IM体育官网_首页-【welcome】,采用进化优化方法生成测试数据过程中IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,利用训练的代理模型,估计每一进化个体的适应值IM体育官网_首页-【welcome】;最后IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,选择少部分代表性个体执行程序IM体育官网_首页-【welcome】,得到精确的适应值IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】,指导种群的后续进化IM体育官网_首页-【welcome】,减少了需要执行程序的次数,从被测程序执行的角度,降低了所需的计算代价。

该成果所提方法的应用价值包括以下三点:(1)给出一种新的样本集聚类方法IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】;(2)提出一种新的多代理模型进化个体目标值估计方法IM体育官网_首页-【welcome】;(3)提出一种新的代理模型更新方法IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】IM体育官网_首页-【welcome】。此外IM体育官网_首页-【welcome】,将所提方法应用于测试7个典型的MPI程序中,并与其它多种方法比较。实验结果表明IM体育官网_首页-【welcome】,所提方法能够在保证测试数据生成质量的同时IM体育官网_首页-【welcome】,大幅度提高了测试数据生成的效率。


版权所有:中国矿业大学信息与控制工程学院  地址:江苏省徐州市大学路1号中国矿业大学南湖校区信息与控制工程学院

IM体育官网_首页-【welcome】