一种基于异常控制流的错误程序行为分析方法

通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的"故障-差错-异常"传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.

从错误中成长:工程教育认证视角下程序设计能力培养

针对程序设计课学习效果欠佳的情况,分析学生在学习过程中遇到的细节处理能力差的情况。以工程教育认证为契机,提出反向利用错误程序,以学生为中心,让学生自主分析错误程序,分析错误发生的原因,总结编程规律,达到提高学生综合素质的要求。

测量内隐态度的情感错误归因程序

情感错误归因程序(AMP)是一种新近发展出来的以投射为基本原理的内隐社会认知研究方法。AMP的内部处理机制可分为情绪的激发、归因以及猜测三个过程,每种过程都有其发生概率。AMP具有良好的信度和效度,最突出的特点是其对警告的抗拒性。此外虽作为一种相对性的内隐测量工具,但AMP也能很好地研究单一的态度对象。还介绍了几种新近出现的AMP改进范式。

一种对象粒度的Java程序并发错误检测框架

由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,不考虑程序中的关联变量间的依赖关系,所以无法检测多个关联变量引发的并发错误.针对这一问题,本文实现了一个对象粒度的不变式检测框架OBJ-D,基于对象操作分析程序行为.OBJ-D通过记录对象的读写依赖,能反映同一对象中多个变量间的依赖关系,为检测多变量并发错误创造了条件.测试表明,在不影响训练敏感度和性能开销的前提下,OBJ-D能同时有效检测单变量和多变量引发的并发错误,并只引入很少的假阳性.

PHP5程序错误调试的实现机制研究

针对PHP5程序调试中存在的问题,总结了几种有效的调试方法,包括PHP5自身提供的异常处理调试、Apache和PHP中的错误报告调试、策略性语句调试、PHPEclipse插件调试、PHPEclipse的扩展调试等,对这些方法的应用特性进行了分析与整合,提出了一种较为灵活、有效的PHP5程序调试机制,该机制降低了PHP5程序调试的难度并提高了调试工作的效率。

浅析Visual Basic应用开发程序中的错误处理程序

Visual Basic是一种被大家熟知和应用的数据库开发软件,它具有简单、灵活、可扩充性强等优点,具有支持Active X Data Object数据对象存取模式、支持OLE数据库和组件对象模型、针对不同的数据库可以开发完善的客户机/服务器应用程序、管理数据源和创建服务器端控件、提供Data Report Designer设计工具及可以进行ODBC开发的API函数,支持多层数据库应用程序开发等一系列优质的特征。

一种实用的程序控制流错误检测方法

该文武介绍了一种检测软件控制流错误的方法,阐述了该方法的原理,给出了具体的实现方案和测试结果.本方法在RSCFC方法的基础上,通过把程序划分为若干个基本模块并分别为每个模块设定静态标记,在每个基本模块的首部和尾部分别加上相应的测试和设置指令,在程序运行时通过比较运行时生成的动态标记和编译时确定的静态标记是否匹配来检测程序控制流错误.本方法和RSCFC方法相比的优点在于:使用相同长度的标记可以编码更多的基本模块;在基本模块的起始处和结束处都进行错误检测,错误覆盖率高;可以在发生错误的当前基本模块检测出所有的单个控制流错误,不会延迟到控制流进入下一个基本模块.

VFP中错误处理程序的设计

大多数VFP程序员编程时总是将注意力放在功能上,很少提供有效的错误处理程序。本文针对这个问题介绍了两种常用的错误处理方法,并给出了实例。

探讨Explorer.exe应用程序错误

相信IE浏览器是很多网友平时最常用的软件之一,有时打开IE浏览器会出现Explorer.exe应用程序错误提示对话框。该对话框内容如:"0xa020bf59"指令引用的"0xa020bf59"内存。不能为"written";"0x0429e584"指令引用的"0x0429e584"内存。该内存不能为"read";要终止程序,请单击"确定"的信息框,单击"确定"后,又出现"发生内部错误,您正在使用的其中一个窗口即将关闭"的信息框,关闭该提示信息后,IE浏览器也被关闭。Explorer.exe应用程序错误的原因比较复杂,木马、病毒、浏览器插件、流氓软件都可能造成IE错误。本文简单分析这种错误的原因,详细介绍Explorer.exe应用程序错误的解决方法。

VB中错误处理程序的设计

大多数 VB程序员编程时总是将注意力放在功能上 ,很少提供有效的错误处理程序。本文针对这个问题介绍了编写错误处理的几种方法 ,并给出了实例。

Foxpro2.5程序中的错误处理办法

Ｆｏｘｐｒｏ２５程序中的错误处理办法刘鹤刘亚彬关键一、引言查找程序错误是编程人员最感头痛的事，常常耗费大量的时间和精力。对于程序的语法错误由于程序执行时，Ｆｏｘｐｒｏ２５系统能找出错误信息，因而排除起来并不十分困难。但是对于程序的逻辑错误，则要花...

变频器频发“制动器顺控程序错误”的原因与处理

我公司2004年安装了两台5t、22．5m，A6型抓斗桥式起重机（简称行车）。行车运行至今，行车变频器“制动器顺控程序错误”故障出现几率最高。

程序性法律错误的救济问题研究

程序性法律错误是判决中存在的一种主要错误类型。程序性法律错误的救济有着与事实认定错误完全不同的救济理念和救济要求。表现在刑事上诉程序中,也体现出不同的救济方式。加强对程序法律错误救济问题的研究,有助于我们正确理解并构建科学合理的刑事上诉程序。

基于程序谱的错误定位技术的研究

基于程序谱的错误定位技术经由执行成功和失败测试用例来获取测试用例的代码覆盖信息,并基于这些信息来识别程序的错误所在。然而,这些技术的有效性会受到巧合正确性的不利影响。所谓的巧合正确性,是指当程序即便执行了错误处代码,却仍然能够产生正确的输出的情况。本文提出了一种基于聚类的策略,以提高基于程序谱的错误定位技术的有效性。这种策略基于相同聚类的测试用例拥有类似的行为的思想。因此,巧合正确测试用例不仅有很高的概率与失败测试用例类似,而且也有很高的概率彼此类似。

中美程序性制裁机制之比较——以无害错误规则及其借鉴为视角

随着人们程序意识的觉醒,程序性错误越来越受到刑事诉讼理论界和实务界的关注。如何在上诉程序中纠正一审的程序性错误也日益成为热点问题。美国上诉程序中的无害错误规则或许能为我国上诉程序的改革提供一个新的思路,我国应当在《刑事诉讼法》中明确无害错误规则的审查对象、审查标准、证明无害错误的主体,同时应当建立内部纪律惩戒制度、民事侵权诉讼制度、刑事追诉制度等配套制度以保障无害错误规则的顺利实施。

C程序常见错误剖析

C语言功能丰富,表达能力强,使用方便灵活,应用面广,然而,正是由于以上特点,C语言牵涉到的概念比较复杂,规则繁多,容易出错,特别是对于初学者更是难以掌握,本文就C语言程序常见错误进行剖析,以供初学者参考。

基于图可解释网络的软件错误定位

软件错误定位技术旨在通过挖掘程序与测试用例执行数据,提升定位准确性;针对SBFL技术过于依赖二进制覆盖信息的问题,提出一种基于图可解释网络的软件错误定位方法,将测试执行转化为图结构,利用图注意网络建模深度挖掘代码片段隐含的信息及其相互关系,并采用强化学习思想对图注意力网络学习后的决策过程进行解释,从而确定关键节点,缩小错误定位范围;实验的场景设立在Defects4j数据集的5个项目进行,并与SBFL及未经过解释的深度学习方法进行了对比;结果显示,基于图可解释网络的定位方法在Top-1、Top-3和Top-5指标上分别提升了7.26%、7.56%和9.96%,EXAM指数也提升了8.98%,显著优于其他方法。

PLC程序设计注意事项及软硬件错误检测(上)

1题论 对曾经使用程序书写器输入指令的PLC初学者而言,看到程序错误之红色指示灯一直持续闪烁,应该是我们的共同的记忆和经验。一般而言在主机面板上,除了程序错误指示灯之外,尚有电源、电池电压及CPU错误等指示灯,随时告知使用者在软、硬件上是否有错误产生。此外常闭接点（b）的使用方式有二种,