程序调试

摘要： 不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性.针对现有故障定位技术在有效性方面的不足,提出一种基于变异分析的BPEL程序故障定位技术,依据BPEL程序的特点及其变异算子的特点设计了一组优化策略,开发了相应的支持工具.通过一组BPEL程序实例来评估所提方法的有效性,比较了所提方法与现有BPEL程序故障定位技术的定位效果.实验结果表明,与现有方法相比,所提方法具有较高的召回率,故障定位代价基本相当,提出的优化策略进一步降低了所提方法的变异执行开销.

摘要： 针对以往程序设计课程实验中存在的代码规范混乱、学生调试代码困难等问题,提出了一种强化代码规范要求和加强程序调试教学的实验教学方法,并从代码规范的具体要求和评分细则方面、程序调试的要求和步骤方面分别阐述了实施方法.实际的数据说明教学情况良好,76.12％的学生的上机实验分数在90分以上,学生的实验完成度较高、对上机实验掌握情况良好;此外学生的代码规范有了明显提升,85.81％的学生的代码规范达到良好水平.这些教学改革应用于今年疫情期间的在线教学中,通过这些举措的实施,克服了在线教育的不利之处,学生的整体学习水平基本保持了稳定.

摘要： 介绍了某核电3、4号机组常规岛厂房整体通风系统因为程序逻辑错误导致的自动化控制不可用故障,通过分析上位机程序,调整解决故障.

摘要： 本文阐述了VB上机编程过程中的常见错误,主要包括编译错误、运行错误和逻辑错误.对于不同的错误类型,提出相应的解决办法,并结合具体程序调试教学,详细介绍添加断点、单步执行、跟踪变量的方法在调试程序时的操作步骤,希望对提高学生的纠错能力和程序设计水平有较大的帮助.

摘要： 软件缺陷是软件开发和维护过程中不可避免的.随着现代软件规模的不断变大,软件缺陷的数量以及修复难度随之增加,为企业带来了巨大的经济损失.修复软件缺陷,成为了开发人员维护软件质量的重大负担.软件缺陷自动修复技术有希望将开发者从繁重的调试中解脱出来,近年来成为热门的研究领域之一.搜集了 94篇该领域最新的高水平论文,进行了详细的分析和总结.基于缺陷修复技术在补丁生成阶段所使用的技术手段不同,系统性地将软件自动修复技术分为4大类,分别是基于启发式搜索、基于人工模板、基于语义约束和基于统计分析的修复技术.特殊地,根据对近几年最新研究的总结,首次提出了基于统计分析的技术分类,对已有分类进行了补充和完善.随后,基于对已有研究的分析,总结了该领域研究所面临的关键挑战及对未来研究的启示.最后,对缺陷修复领域常用的基准数据集和开源工具进行了总结.

摘要： 西门子S7-1200 PLC程序调试的方法较多,给工程人员带来了极大的方便.以三相异步电机星三角启动为例,探讨了程序调试的几种常用方法,利用S7-PLCSIM仿真软件创建SIM表和序列表调试方法,在TIA Portal软件中使用程序状态功能及创建监控表调试法,分别介绍了操作过程,应用方面的区别.

摘要： 针对学生在程序设计训练课程的学习过程中普遍存在的问题,提出在教学过程中要强化调试能力的训练、引导学生模块化编程、规范编程习惯、训练阅读代码的能力,使学生的编程能力明显增强.

摘要： Java程序设计课程是计算机专业的专业基础必修课,就当下的教学情况来看,学生学习和应用Java语言的能力还有待提高和进步,本文提出了通过上好生动的第一堂课和采用项目驱动教学方法来激发同学们的编程兴趣;通过加强程序调试能力的培养来树立学生们程序调试成功的信心;通过加强编程过程考核切实提高学生程序编写代码的熟练程度和实际编程能力.

摘要： 型号产品中的大多数零件实现了数控加工.数控加工程序调试时间长、效率低,且易产生零件质量问题,通过使用数控仿真软件VERICUT对数控加工程序仿真,可以避免机床上试切新程序而浪费宝贵的加工时间.同时,还具有对刀具轨迹进行验证分析和优化功能,能够提高零件加工效率、缩短加工时间和制造周期.

摘要： 对《机械设计与制造》2006年3月第3期P155中《pro/E环境下尺寸公差在模具设计中的应用》一文提出在建立三维模型过程中应添加尺寸公差，笔者提出置凝。对建立三维模型过程中是否需要添加公差进行了探讨,强调了数控加工过程中程序调试的重要性.从计算机中的模型得到合格的产品必须得经过无数次的机床程序调试才能实现。计算机中的模型塑造得再准确，没有后续的机床程序调试，照样得不出合格的产品。况且在计算机中按基本尺寸进行建模，完全可以达到实际加工要求，需要提高的是把程序调试得更适合机床使用。

摘要： 数值计算在研究燃料电池问题中是非常重要的方法之一.文中从CFD流体计算软件fluent的求解机理、燃料电池问题基本设置、编写用户UDF、程序调试等方面,详细研究了如何利用fluent软件来数值模拟质子交换膜燃料电池的流场,电流密度场及质量组分分布.

摘要： GDB是GNU开源组织发布的一个UNIx下的程序调试工具.它具有强大的远程调试功能,这使其成为嵌入式系统的首选调试工具.本文详细分析了GDB的结构,工作方式,以及远程调试的实现,并分析如何将GDB移植到具体的嵌入式系统中.

摘要： 本文介绍了一种使用Visual Basic程序编程平台调试单片机程序的办法.并在调试"失重法称量控制器"时,采用此法取得了良好的效果.

摘要： LPC1788作为Cortex-M3核的ARM微控制器,在嵌入式系统设计中易用、可靠、高效.本文从针对其开发软件的配置、程序的加载与动态调试、系统程序的编写、图形界面和汉字的处理等方面进行了系统分析和论述,为其使用提供了帮助.

摘要： LPC1788作为Cortex-M3核的ARM微控制器,在嵌入式系统设计中易用、可靠、高效.本文从针对其开发软件的配置、程序的加载与动态调试、系统程序的编写、图形界面和汉字的处理等方面进行了系统分析和论述,为其使用提供了帮助.

摘要： LPC1788作为Cortex-M3核的ARM微控制器,在嵌入式系统设计中易用、可靠、高效.本文从针对其开发软件的配置、程序的加载与动态调试、系统程序的编写、图形界面和汉字的处理等方面进行了系统分析和论述,为其使用提供了帮助.

摘要： LPC1788作为Cortex-M3核的ARM微控制器,在嵌入式系统设计中易用、可靠、高效.本文从针对其开发软件的配置、程序的加载与动态调试、系统程序的编写、图形界面和汉字的处理等方面进行了系统分析和论述,为其使用提供了帮助.

摘要： LPC1788作为Cortex-M3核的ARM微控制器,在嵌入式系统设计中易用、可靠、高效.本文从针对其开发软件的配置、程序的加载与动态调试、系统程序的编写、图形界面和汉字的处理等方面进行了系统分析和论述,为其使用提供了帮助.

摘要： 本申请适用于软件测试技术领域，提供了一种程序调试方法、程序调试装置、终端设备及存储介质，包括：在运行待调试程序的每一条操作指令之前，判断是否满足预设的暂停条件；若满足预设的暂停条件，则暂停运行所述操作指令，并监测是否接收到预设调试器发送的调试指令；若接收到预设调试器发送的调试指令，则执行所述调试指令，所述调试指令用于获得第一调试结果；在执行所述调试指令之后，运行所述操作指令，并监测运行所述操作指令的过程中是否产生异常结果；若监测到运行所述操作指令的过程中产生异常结果，则将所述异常结果作为第二调试结果上报给所述预设调试器。通过上述方法，能够有效提高程序的调试效率。

摘要： 提供一种减轻调试作业者的负担、提高调试作业的效率的程序调试装置。在程序调试装置中，在停止命令为执行条件不成立的带执行条件的命令时，继续执行调试对象程序直到即将到达下一个执行的执行条件成立的带执行条件的命令或者下一个执行的没有执行条件的命令。

摘要： 本发明公开了提高程序调试效率的程序调试器及一种程序的调试方法，该方法包括：获得程序的弱函数相关的调试信息记录；响应于接收到对该程序中该弱函数设置断点的指令，获得与至少一个调试信息记录的每个一一对应的断点地址；响应于该程序被执行到设置的该弱函数相关的断点，获得该程序的程序计数器所指向的地址；在与至少一个调试信息记录的每个一一对应的断点地址中，获得与该程序的程序计数器所指向的地址匹配的断点地址；在该程序的弱函数相关的至少一个调试信息记录中，对匹配的断点地址设置标记；以及响应于再次接收到对该程序中该弱函数设置断点的指令，根据设置标记后的至少一个调试信息记录，获得匹配的断点地址对应的调试信息记录。

摘要： 本发明涉及的程序调试装置按照无条件的中断以及带条件的中断来停止程序的执行；按照无条件的中断，无论带执行条件指令的条件如何，都要停止程序的执行；按照带条件的中断，只有带执行条件指令的条件为真时才要停止程序的执行，该程序调试装置包括：接收单元，按照用户的操作接收断点；决定单元，按照程序调试装置的状态来决定将收到的断点设为无条件的中断还是带条件的中断；以及停止单元，按照决定单元决定的无条件的中断或带条件的中断来停止程序。

摘要： 提供一种减轻调试作业者的负担、提高调试作业的效率的程序调试装置。在程序调试装置中，在停止命令为执行条件不成立的带执行条件的命令时，继续执行调试对象程序直到即将到达下一个执行的执行条件成立的带执行条件的命令或者下一个执行的没有执行条件的命令。

摘要： 本申请提出了一种无代码开发平台的程序调试方法和程序调试装置。本申请提出的技术方案中，浏览器端通过接收用户输入的指示断点位置的断点指示信息和指示断定调试的第一调试指令，并根据断点指示信息在指定断点位置处的语句之后添加断点语句，得到第二程序代码；然后向服务器端发送第一调试指令和第二程序代码，使得服务器端能够根据第一调试指令对包括断点语句的第二程序代码进行调试。该方法能够实现对无代码代发平台开发得到的程序的任意位置的断点调试，从而能够实现语句级的调试，进一步地，能够实现错误信息的精确定位。

摘要： 本申请适用于软件测试技术领域，提供了一种程序调试方法、程序调试装置、终端设备及存储介质，包括：在运行待调试程序的每一条操作指令之前，判断是否满足预设的暂停条件；若满足预设的暂停条件，则暂停运行所述操作指令，并监测是否接收到预设调试器发送的调试指令；若接收到预设调试器发送的调试指令，则执行所述调试指令，所述调试指令用于获得第一调试结果；在执行所述调试指令之后，运行所述操作指令，并监测运行所述操作指令的过程中是否产生异常结果；若监测到运行所述操作指令的过程中产生异常结果，则将所述异常结果作为第二调试结果上报给所述预设调试器。通过上述方法，能够有效提高程序的调试效率。

摘要： 本发明公开了提高程序调试效率的程序调试器及一种程序的调试方法，该方法包括：获得程序的弱函数相关的调试信息记录；响应于接收到对该程序中该弱函数设置断点的指令，获得与至少一个调试信息记录的每个一一对应的断点地址；响应于该程序被执行到设置的该弱函数相关的断点，获得该程序的程序计数器所指向的地址；在与至少一个调试信息记录的每个一一对应的断点地址中，获得与该程序的程序计数器所指向的地址匹配的断点地址；在该程序的弱函数相关的至少一个调试信息记录中，对匹配的断点地址设置标记；以及响应于再次接收到对该程序中该弱函数设置断点的指令，根据设置标记后的至少一个调试信息记录，获得匹配的断点地址对应的调试信息记录。

摘要： 本发明公开了一种基于核心注入式调试器的被调试程序调试方法，属于计算机软件技术领域。本方法为：1)将调试器划分为核心工作模块与人机交互界面模块；2)将核心工作模块和人机交互界面模块分别放在同一宿主主机的两不同进程中实现；3)人机交互界面将接收的调试指令通过进程通信传入到核心工作模块所在的宿主进程中，再由该宿主进程传递给调试器核心工作模块，对被调试程序进行相应的调试动作；4)调试器核心工作模块将调试过程中从被调试程序获取的调试数据，由宿主进程通过进程通信传递给人机交互界面模块，再由人机交互界面模块解析并显示。本方法解决了针对调试器进程检测的反调试方法，可快速开发人机交互界面，提高了调试的扩展性。

摘要： 本公开提供了小程序调试方法、装置、设备、介质及计算机程序产品，涉及计算机技术领域，尤其涉及软件测试技术领域。具体技术方案包括：获取第二电子设备发送的小程序的代码包，对代码包进行解析得到小程序的业务代码和调试代码；基于业务代码运行小程序；获取小程序运行过程中的异常信息；根据异常信息，调用调试代码对小程序进行调试。本公开的技术方案可提高问题定位和调试的效率。