丁怀宝 作品数:11 被引量:10 H指数:3 供职机构: 安徽文达信息工程学院 更多>> 发文基金: 安徽省自然科学基金 国家自然科学基金 国家级大学生创新创业训练计划 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
基于约束条件的组合测试用例集构建方法分析 2015年 该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。 丁怀宝 龚蓬 高凤 周飞关键词:合取范式 基于“钉钉+学习通”平台的线上教学实践分析——以《Linux操作系统》课程为例 被引量:3 2020年 疫情期间,各大高校积极响应教育部"停课不停学"号召,纷纷组织师生开展在线教学工作,充分利用在线教学平台和资源,解决学生的居家学习问题。如何有效提升在线教学质量,备受社会各界广泛关注。本文以借助"钉钉+学习通"相结合的方式开展《Linux操作系统》课程的线上教学工作,通过不断摸索、调整与改进、逐步形成了"四备、四学、两导两思"的线上教学模式。 丁怀宝关键词:在线教学平台 LINUX操作系统 配对组合测试用例集生成的一种新策略 2020年 基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优. 丁怀宝关键词:粒子群优化(PSO)算法 以真实项目为载体助推应用型人才培养 2021年 分析应用型本科培养的需求,传统培养模式中存在的问题,提出以真实项目为载体助推高级应用型人才培养的改革方式。参与真实项目在培养大学生的自学能力、文献搜集和整理能力、理论联系实际的能力、科研能力、创新能力、团队意识和团队合作精神等方面的起着重要作用。教学实践表明,通过参加真实项目能够较好地提升大学生的各方面能力。 夏芳 丁怀宝关键词:应用型本科 大数据时代Linux 课程教学改革探讨 2020年 Linux 操作系统以免费、开源、内核可定制、安全稳定性高、占用系统资源少和方便远程连接等诸多优点,早已被应用于大数据、云计算、人工智能以及虚拟化等新技术领域。随着新兴产业的快速发展,使得社会对 Linux 人才的需求量与日俱增。国内大多数高校都已经开设了Linux 操作系统及相关课程。本文以安徽文达信息工程学院 Linux操作系统课程教学现状进行分析,探讨如何通过改进教学内容、教学模式、教学方法以及教学实验环境等措施,来提高学生的学习积极性和学习效果。 丁怀宝关键词:大数据 LINUX 操作系统 教学方法 SDN中用于动态路由的ACOSDN算法 2021年 软件定义网络的出现,降低了传统的网络体系结构管理的成本。由于传统的路由优化算法的时间和空间复杂度较高,因此,在SDN中迫切需要引入智能优化路由技术。文章提出了一种基于SDN架构的改进蚁群优化算法,来优化SDN中的动态路由。实验结果表明该算法能够处理动态网络变化、减少网络拥塞,以及实现更高的吞吐量、较低的网络延迟和丢包率。 丁怀宝关键词:SDN 动态路由 网络拥塞 基于微信平台电子请柬制作系统的设计与实现 2020年 近些年来,互联网不断发展,数字化的进程逐渐深入到我们的日常生活之中。人们对于手机的依赖也日益增加,这些都促使了各种软件以及APP的发展。在这种背景之下,为电子请柬的推广提供了有利环境。我们在制作电子请柬的过程中使用的开发工具是微信开发者工具,制作出来的电子请柬可以突破时间、空间的限制,更加迅速便捷地将请柬送到亲朋手中。论文提出的基于微信平台的电子请柬制作系统具有帮助、宾客分类和管理三个功能模块,不仅如此,该系统使用了Bomb云后端与微信公众平台相结合的开发方式对系统进行了实现,目前已经投入使用并进行了推广。 张素云 丁怀宝 方聪 戚田利关键词:系统设计 一种肿瘤诊疗用计算机数据记录装置 本发明公开了一种肿瘤诊疗用计算机数据记录装置,涉及医疗器械领域,包括调节箱和工作台,所述调节箱的底部固定连接有固定架,且固定架的底部安装有万向轮。该一种肿瘤诊疗用计算机数据记录装置,通过活动轴控制左延伸台和右延伸台的展开... 丁晓梅 仲飞 周飞 陈艳 丁怀宝 郎加云 夏芳具有约束条件的组合测试用例集的构建方法 被引量:1 2010年 针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。 丁怀宝 高建华关键词:合取范式 回归测试中基于值谱比较的偏离根定位法 被引量:3 2010年 在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。 丁怀宝 高建华