软件调试

摘要： 文章介绍了使用施耐德变频器调试工具SoMove软件对ATV630变频器进行调试的过程。其中包括恢复出厂设置、简单启动、软件控制、自整定,通讯控制等功能。

摘要： 软件多缺陷定位(Multiple Fault Localization,简称MFL)尝试在含有多个缺陷的软件程序中自动标识出这些缺陷所在的位置.传统的缺陷定位研究一般假设被测软件内仅含有一个缺陷,而实际情况下软件内往往包含多个缺陷,因此MFL问题更加贴近实际场景.当程序中存在多个缺陷时,由于缺陷数量难以准确估计,同时缺陷之间可能存在互相干扰,因此对MFL问题的研究更具挑战性.已有研究表明传统单缺陷假设下的缺陷定位技术会随着程序中缺陷数目的增多而出现定位效果下降的问题.因此,需要对已有缺陷定位技术加以改进使其在MFL问题中具有更好的缺陷定位效果.本文以MFL研究问题为核心,对相关研究成果进行了系统的梳理.首先将已有的MFL技术细分为三类,分别是基于缺陷干扰假设的多缺陷定位方法,基于缺陷独立假设的多缺陷定位方法和不基于任何假设的多缺陷定位方法;然后依次总结了每一类方法的主要设计思想和相关研究成果,随后分析了MFL研究中经常使用的评测指标和评测对象;最后,本文从扩大评测对象的编程语言范围、考虑更多的软件程序、寻找更多的工业应用场景等多个角度对MFL的未来研究方向进行了展望.

摘要： 文章介绍了使用西门子传动调试工具DriveMonitor软件对MM440变频器进行调试的过程。其中包括如何进行恢复出厂设置、快速调试、软件控制、变频器自学习、BiCo编程应用等功能。

摘要： 在传统调试过程中,缺陷定位通常作为程序修复的前置步骤.最近,一种新型调试框架(统一化调试)被提出.不同于传统调试中缺陷定位和程序修复的单向连接方式,统一化调试首次建立了定位与修复之间的双向连接机制,从而达到同时提升两个领域的效果.作为首个统一化调试技术,ProFL利用程序修复过程中伴随产生的大量补丁执行信息逆向地提升已有缺陷定位技术的效果.统一化调试技术不仅修复了可被修复的缺陷,而且也为不能被自动修复技术修复的缺陷提供了有效的调试线索.虽然统一化调试是一个很有前景的研究方向,但其在补丁验证过程中涉及到了大量的测试用例执行(比如百万量级的测试执行),因此时间开销问题严重.提出一种针对于统一化调试框架的加速技术(AUDE),该技术通过减少对缺陷定位效果无提升的测试执行,以提升统一化调试的效率.具体来说,AUDE首先通过马尔可夫链蒙特卡洛采样方法构建补丁执行的初始序列,随后在补丁执行过程中将已执行的补丁信息作为反馈信息,自适应性地估计每一个未执行补丁可能提供有效反馈信息的概率.在广泛使用的数据集Defects4J上对该技术进行了验证,发现AUDE在显著加速ProFL的同时,并没有降低其在缺陷定位和程序修复的效果.例如:在减少了ProFL中70.29%的测试执行的同时,AUDE仍在Top-1/Top-3/Top-5指标上与ProFL保持了相同的定位效果.

摘要： 文章详细介绍了使用丹佛斯变频器调试工具DANFOS MCT 10软件对FC302变频器进行调试的过程。其中包括参数上传和下载、恢复出厂设置、软件控制、自学习、Modbus通讯、PID应用等功能。

摘要： 文章介绍了使用ABB传动调试工具ABB Drive Composer软件对ACS880变频器进行调试的过程。其中包括如应用宏、电机辨识、软件控制、通讯应用等功能。

摘要： 为满足RISC-V架构生态中对RISC-V平台软件调试的需求,设计并实现了一种基于RISC-V调试协议的片上调试系统.该系统通过调试传输模块实现并隐藏调试模块内部寄存器访问逻辑,将其简化为JTAG串行信号实现与宿主机的交互,并通过调试模块实现了调试所必需的处理器全面监控与存储访问功能.在基本调试功能的基础上,进一步实现了总线直接访问、程序缓存和基于触发模块的触发功能,并在兼容RISC-V调试协议的情况下实现了事件序列触发功能.该片上调试系统依托于自研RISC-V处理器硬件平台,通过GDB与OpenOCD构成的宿主机软件环境进行功能测试.经过与其他RISC-V架构处理器对比和FPGA测试表明,该片上调试系统功能丰富,能够满足目前RISC-V平台调试的功能需求.

摘要： 缺陷定位是软件质量保证中关键且困难的一项工作,随着软件规模的增大,人工进行缺陷定位的成本越来越高,自动化缺陷定位技术成为研究热点.现有的基于程序频谱的缺陷定位技术可以将缺陷定位到程序语句,但对于大型复杂的软件系统,这种定位方法将带来较大的时间花销.针对此问题,提出一种基于程序频谱的两阶段缺陷定位方法,第一阶段为粗粒度定位,将缺陷定位到程序模块;第二阶段为细粒度定位,在定位的程序模块中再将缺陷定位到语句;最后输出可疑语句推荐列表,辅助开发人员的调试工作.实验结果表明,相比于传统的方法,该方案在保证定位效果的前提下平均减少了10.24％的定位时间.

摘要： 软件二进制插桩是软件性能分析、漏洞挖掘、质量评价领域的关键技术.在嵌入式环境下,传统动态插桩算法受到无操作系统、CPU架构复杂、内存资源紧张等局限,难以展开工作.文章以软件动态二进制插桩算法为研究目的,通过静态特征分析和动态跟踪算法,引入图论算法对固件中的二进制进行分析,提出了嵌入式设备远程调试协议,实现了对软件运行时信息的获取.与传统方案相比,文章所想方案解决了现有工具对源码、操作系统或CPU架构的依赖,同时显著降低了内存和运算资源的占用率,可以有效解决嵌入式设备的动态插桩问题.

摘要： 软件调试是软件开发过程中不可缺少的重要阶段.在航空安全关键软件领域,一般选取嵌入式系统作为软件运行的平台,软件调试功能作为操作系统的一个功能,为满足适航需求,需要经过非常严格的认证,从而极大增加了软件产品的开发及验证成本.笔者设计了一种适用于安全关键软件领域、独立于操作系统的调试系统,在不增加适航认证成本的前提下,能够较好地满足软件开发过程中的调试需求.

摘要： 软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题.MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时生成大量变异体,并要在变异体上执行测试用例集,开销庞大.为了减少MBFL的变异执行开销,本文提出面向语句的变异体约减策略,通过分析测试用例的执行信息,对每条被失败测试用例覆盖的语句上生成的变异体集合,按一定比例进行约减.实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51％～79.98％的变异执行开销.

摘要： 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.为了尽可能提高这项工作的自动化程度,研究人员提出一类基于统计学思想的缺陷定位技术.利用提出的统计学模型和统计学方法,该类技术比较程序成功执行和失败执行中程序特征的差异来为缺陷定位提供服务.但由于特征谱的分布情况未知,如何有效且正确的比较程序特征在成功和失败两类执行中的分布差异就成为了一个亟待解决的关键问题.在本文中,我们提出一种基于概率分布判据的统计学缺陷定位方法.实验结果显示,该方法在Siemens和Space两个程序包的大多数程序上都表现出优于现有基于谓词统计学缺陷定位方法的定位效果.

摘要： 本文讲述了《数据库系统应用与管理》课程的教学任务和内容设置。通过对本课程学习内容的分析，提出了对操作为主的内容，采用屏幕录像作为辅助工具、对编写代码为主的内容强调软件调试能力的培养、对数据库设计为主的内容采用讨论和点评方式为主的教学方法，同时提出了一种有利于实践能力培养的考核和成绩评定方法。

摘要： 在本文中讨论了通过RS422接口构造备份测试系统的方法,测试系统的主辅设备通过RS422四线接口连接终端设备,通过RS422四线网络,主辅设备与终端设备进行数据通信并存储接收数据.经过系统设计、接口电路设计、软件调试,测试结果证实设计方案可行、具有较好的实用价值.

摘要： 本文阐述了BESIII软件开发，包括框架软件-GAUDI 3-4，模拟软件-GEANT4 5-6 每子探测器 1，重建软件-借鉴 7-8 每子探测器 1-2，工具软件-继承 2-3。并对软件进行了调试，通过功能性指标、 性能指标(运行性能/物理性能)、 易用性/可扩展性、 规范性分析，软件质量理想。

摘要： 本文阐述了BESIII软件开发，包括框架软件-GAUDI 3-4，模拟软件-GEANT4 5-6 每子探测器 1，重建软件-借鉴 7-8 每子探测器 1-2，工具软件-继承 2-3。并对软件进行了调试，通过功能性指标、 性能指标(运行性能/物理性能)、 易用性/可扩展性、 规范性分析，软件质量理想。

摘要： 本文阐述了BESIII软件开发，包括框架软件-GAUDI 3-4，模拟软件-GEANT4 5-6 每子探测器 1，重建软件-借鉴 7-8 每子探测器 1-2，工具软件-继承 2-3。并对软件进行了调试，通过功能性指标、 性能指标(运行性能/物理性能)、 易用性/可扩展性、 规范性分析，软件质量理想。

摘要： 本文阐述了BESIII软件开发，包括框架软件-GAUDI 3-4，模拟软件-GEANT4 5-6 每子探测器 1，重建软件-借鉴 7-8 每子探测器 1-2，工具软件-继承 2-3。并对软件进行了调试，通过功能性指标、 性能指标(运行性能/物理性能)、 易用性/可扩展性、 规范性分析，软件质量理想。

摘要： 针对现有变电站自动化系统存在不足,文章以贵州省首批投入运行NS3000S数字化变电站——110kV太慈变为例,阐述一种基于NS3000S信息一体化平台数字化变电站应用方案,站内通信采用"点采网跳"模式,即SV利用光纤点对点采样,GOOSE采用冗余组网方式,站控层MMS采用冗余组网方式,克服保护测控装置过度依赖同步时钟弊端.该方案中远动工作站与监控后台均采用信息一体化NS3000S系统,实现运动与监控后台同文件库和互备性,及远动可视化与在线编辑.此方案可跨多种软硬件平台,数据统一组态,实现NS2000监控系统无缝升级改造,并完善远动与监控后台一体化操作.文章对NS3000S数字化变电站调试技术进行探讨,并对未来基于统一信息平台的一体化监控系统进行展望.

摘要： 针对现有变电站自动化系统存在不足,文章以贵州省首批投入运行NS3000S数字化变电站——110kV太慈变为例,阐述一种基于NS3000S信息一体化平台数字化变电站应用方案,站内通信采用"点采网跳"模式,即SV利用光纤点对点采样,GOOSE采用冗余组网方式,站控层MMS采用冗余组网方式,克服保护测控装置过度依赖同步时钟弊端.该方案中远动工作站与监控后台均采用信息一体化NS3000S系统,实现运动与监控后台同文件库和互备性,及远动可视化与在线编辑.此方案可跨多种软硬件平台,数据统一组态,实现NS2000监控系统无缝升级改造,并完善远动与监控后台一体化操作.文章对NS3000S数字化变电站调试技术进行探讨,并对未来基于统一信息平台的一体化监控系统进行展望.

摘要： 本发明公开了一种嵌入式软件开发辅助调试系统及调试方法。现有嵌入式设备与调试主机直接连接，调试效率较低。本发明包括一个调试主机和至少一个辅助调试装置。辅助调试装置内设组网模块、主机命令处理模块、测试任务管理模块、测试脚本执行模块、测试报告模块、设备管理模块、设备控制模块、设备监控模块。各辅助调试装置的组网模块与调试主机进行组网并通信。主机命令处理模块根据不同主机命令调用不同模块执行对应命令，根据调试工具命令控制调试工具进行调试。测试任务管理模块、测试脚本执行模块、测试报告模块共同完成调试过程中的自动化测试任务。本发明提高了调试效率，同时降低对调试环境的依赖，并方便的远程调试嵌入式设备。

摘要： 一种自动化装备软件的虚拟调试系统及其调试方法，包括：运行在虚拟调试平台上的模块，其包括：分解模块，所述分解模块用于自动化装备的硬件模型的系统分解；搭建模块，所述搭建模块用于基于Modelica标准库的装备硬件模型库搭建；标定与验证模块，所述标定与验证模块用于基于Modelica标准库的装备硬件模型库的标定与验证；建立模块，所述建立模块用于虚拟驱动的建立；构造模块，所述构造模块用于虚拟调试场景搭建；可以建立自动化装备的硬件模型与虚拟驱动，构成虚拟调试环境，支撑控制软件的代码调试，从而提高代码调试效率，缩短调试周期。

摘要： 一种控制软件现场调试系统，包括：运行控制器，上位机，运行数据库，调试数据库。运行接收上位机的获取内存地址数据的指令，获取内存地址的数据并且发送给上位机，提供给用户调试分析使用。其中，在运行数据库中存储与当前电梯控制软件版本兼容的版本号，预先判断调试数据库中的版本号是否与当前电梯控制软件版本兼容，从而在调试数据库中的版本号与当前电梯控制软件版本兼容的情况下，对于在获取多个内存地址数据的指令，不再需要单独获取以及传送各个内存地址的最老版本号。

摘要： 一种自动化装备软件的虚拟调试系统及其调试方法，包括：运行在虚拟调试平台上的模块，其包括：分解模块，所述分解模块用于自动化装备的硬件模型的系统分解；搭建模块，所述搭建模块用于基于Modelica标准库的装备硬件模型库搭建；标定与验证模块，所述标定与验证模块用于基于Modelica标准库的装备硬件模型库的标定与验证；建立模块，所述建立模块用于虚拟驱动的建立；构造模块，所述构造模块用于虚拟调试场景搭建；可以建立自动化装备的硬件模型与虚拟驱动，构成虚拟调试环境，支撑控制软件的代码调试，从而提高代码调试效率，缩短调试周期。

摘要： 本发明提供了一种在智能终端上执行的调试方法，所述方法包括在待测试页面发起的接口调用时，对所述接口调用进行拦截并获取用于调试的第一信息；在获取所述第一信息后，执行所述接口调用；拦截对所述接口调用的响应，并获取用于调试的第二信息；以及在获取所述第二信息后，向所述待测试页面执行所述响应。本发明还提供了一种软件调试器、计算机存储介质以及智能终端。

摘要： 本发明涉及面向任务死限监控的多余度软件调试装置及调试方法。本发明的装置，包括多余度同步周期中断信号源，多余度全局时钟，处理器，时间触发调试代理，余度间交叉通讯总线，调试通讯总线，多余度同步调试器。在面向任务死限监控的任务调度过程中，本方法通过在调试进入断点时记录全局定时值，并得到断点时刻相对于多余度同步周期中断信号源的时间偏移；当系统恢复执行时，通过余度间交叉通讯总线交叉比较周期节拍数，在各余度周期节拍一致的情况下，等待到达合适的时间偏移后，恢复系统执行。本发明的调试方法及装置，对于面向任务死限监控的多余度系统，能够保证任务执行死限不受调试行为的影响，且余度间能够保持同步。

摘要： 本发明揭示的内容和执行在计算设备上的计算机程序相关，属于计算机系统软件专业技术领域，更特别地专注于探测计算机程序错误的软件调试系统及调试方法。本发明提供了一种带性能显示的执行后软件调试系统框架，包含被调程序，被调程序运行操作系统，被调程序源代码文件，被调程序映射文件，显示设备，跟踪记录模块，跟踪分析模块，指令地址值数据库，软件模拟器，事件分析模块，性能分析模块，覆盖分析模块，调试器。本发明基于以上软件调试系统提出了进行调试的方法，实现了对软件的执行后调试能力，有助于解决找出计算机程序中可重现bug和不可重现bug。

摘要： 本发明公开一种异构众核软件调试装置及调试方法，包括以下配置：从核调试代理线程sdbth：sdbth由主核OS创建，运行在被跟踪进程tracee的地址空间内，循环执行一个低优先级的睡眠；在调试器进程debug中增加一套从核架构数据和一个切换开关；从核架构数据包括反汇编、硬件寄存器的读写、硬件断点的插入和删除操作、软件单步算法中下一条指令的地址计算；切换开关，用于控制主核与从核两种处理器架构的切换。本发明可实现对异构并行代码的执行跟踪和错误定位。

摘要： 本申请实施例涉及软件调试技术领域，提供了一种调试信息输出方法、装置、软件调试设备及存储介质，该方法包括：获取对待调试软件进行调试时输出的调试数据，所述调试数据包括定位信息；根据所述定位信息和配置文件获取文本字符串形式的描述信息，所述配置文件包括所述定位信息和所述描述信息的对应关系；基于所述描述信息输出所述待调试软件对应的调试信息。通过该调试信息输出方法，可以降低调试信息的修改成本。

摘要： 本申请公开了一种软件调试方法、电子设备及调试系统，能够实现对设备的协同调试。该方法可以实现对分布式场景中的一个或多个设备的协同调试。例如，由多个调试设备(如第一设备和第二设备)组成的调试集群中的客户端设备(如第二设备)可以通过与分布式设备集群中的主设备(如第三设备)连接的服务器设备(如第一设备)将用户触发的调试命令转发至被调试设备，以实现调试系统中，多个调试设备对被调试进程的协同调试。