回归测试中基于值谱比较的偏离根定位法

在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。

具有约束条件的组合测试用例集的构建方法

针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。

一种基于深度强化学习的SDN路由算法

为解决软件定义网络(SDN)中的流量工程(TE)问题,提出了一种深度强化学习路由(DRL-Routing)算法.该算法使用较全面的网络信息来表示状态,并使用一对多的网络配置来进行路由选择,奖励函数可以调整往返路径的网络吞吐量.仿真结果表明,DRL-Routing可以获得更高的奖励,并且经过适当的训练后,能使各交换机之间获得更优的路由策略,从而增大了网络吞吐量,降低了网络延迟和数据丢包率.

基于“钉钉+学习通”平台的线上教学实践分析——以《Linux操作系统》课程为例

疫情期间,各大高校积极响应教育部"停课不停学"号召,纷纷组织师生开展在线教学工作,充分利用在线教学平台和资源,解决学生的居家学习问题。如何有效提升在线教学质量,备受社会各界广泛关注。本文以借助"钉钉+学习通"相结合的方式开展《Linux操作系统》课程的线上教学工作,通过不断摸索、调整与改进、逐步形成了"四备、四学、两导两思"的线上教学模式。

基于约束条件的组合测试用例集构建方法分析

该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。

配对组合测试用例集生成的一种新策略

基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优.

SDN中用于动态路由的ACOSDN算法

软件定义网络的出现,降低了传统的网络体系结构管理的成本。由于传统的路由优化算法的时间和空间复杂度较高,因此,在SDN中迫切需要引入智能优化路由技术。文章提出了一种基于SDN架构的改进蚁群优化算法,来优化SDN中的动态路由。实验结果表明该算法能够处理动态网络变化、减少网络拥塞,以及实现更高的吞吐量、较低的网络延迟和丢包率。

以真实项目为载体助推应用型人才培养

分析应用型本科培养的需求,传统培养模式中存在的问题,提出以真实项目为载体助推高级应用型人才培养的改革方式。参与真实项目在培养大学生的自学能力、文献搜集和整理能力、理论联系实际的能力、科研能力、创新能力、团队意识和团队合作精神等方面的起着重要作用。教学实践表明,通过参加真实项目能够较好地提升大学生的各方面能力。

基于微信平台电子请柬制作系统的设计与实现

近些年来,互联网不断发展,数字化的进程逐渐深入到我们的日常生活之中。人们对于手机的依赖也日益增加,这些都促使了各种软件以及APP的发展。在这种背景之下,为电子请柬的推广提供了有利环境。我们在制作电子请柬的过程中使用的开发工具是微信开发者工具,制作出来的电子请柬可以突破时间、空间的限制,更加迅速便捷地将请柬送到亲朋手中。论文提出的基于微信平台的电子请柬制作系统具有帮助、宾客分类和管理三个功能模块,不仅如此,该系统使用了Bomb云后端与微信公众平台相结合的开发方式对系统进行了实现,目前已经投入使用并进行了推广。