基于半监督学习的新能源运行错误数据辨识系统

为增强系统主机对于新能源运行错误数据的准确辨别能力,避免数据信息错误分拣,设计了基于半监督学习的新能源运行错误数据辨识系统。借助PT-LAB处理平台,平衡数据分辨模块与运行指令分析模块间的新能源运行错误数据传输关系,实现辨识系统的硬件运行环境搭建。根据半监督支持向量取值结果,求解UCI学习参数的计算数值,并根据参数向量之间的实时映射关系,确定数据库E-R图的连接形式,完成辨识系统的软件运行环境搭建。结合相关硬件设备结构,实现基于半监督学习的新能源运行错误数据辨识系统设计。对比实验结果表明,在半监督学习算法的影响下,系统主机对于待传输新能源运行错误数据的提取准确度超过了90.0%,能够较好地解决数据信息的错误分拣问题。

C语言教学中常见的运行错误和逻辑错误

总结了编译器不能发现的常见运行错误和逻辑错误,以帮助初学者能较好的掌握程序调试技巧,提高编程能力。

基于Astree的机载软件运行时错误测试方法

随着机载软件日趋复杂,软件代码的质量也更加难以保证。而软件测试是保证软件开发质量的关键手段,如何高效地进行软件测试成为目前的一个重要研究方向。机载软件系统架构错综复杂,在软件开发过程中可能存在较多的运行时错误,而采用传统的测试工具很难检测到软件的运行时错误。通过专业的运行时错误测试工具对代码进行分析和测试,在软件开发阶段尽早发现代码的运行时错误,有利于更加高效地提高软件质量,保证软件的可靠性。本文通过使用Astree对机载软件进行代码测试,能够有效地发现代码运行时错误,提高了软件测试的效率,并提升了软件的质量。

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的.

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.

VB处理运行时错误方法的应用

通过分析应用程序运行产生的各种运行时错误，指出了只有通过编写错误处理程序才能解决这些问题；设计了设置错误捕获、编写错误处理程序、退出错误处理程序、错误处理顺序、自动生成错误等具体方法及步骤。

基于变量跟踪的运行时错误现场分析工具

运行时错误是程序动态运行时产生的错误,错误发生后,需要借助传统的调试手段分析错误原因。对于某些异常行为和多线程程序不能再现真实的执行环境,传统的调试分析手段的作用不明显。如果能够捕获程序执行时的变量信息,那么运行时错误现场也会被捕获,进而以此为依据分析错误原因。对此提出基于变量跟踪的运行时错误现场捕获技术,它可以根据用户需求捕获特定变量信息,从而有效提高了变量信息获取的灵活性。以该技术为基础实现了运行时错误现场分析工具(RFST),该工具能够为程序运行时错误分析提供错误现场和辅助分析手段。

控制软件多任务程序运行时错误检测方法

发动机控制软件多任务程序运行时,共享变量的处理容易发生数组访问越界、除零、数据溢出等错误,从而造成异常的后果。采用动态测试的方法检测此类错误成本大、效率低。本文借助Poly Space测试工具,模拟软件动态运行时的行为,使用静态验证的方法有效检测可能发生的运行时错误,更高效地发现多任务程序中的缺陷。

软件运行时错误测试工具评析

从减少软件开发成本和缩短软件开发周期的角度考虑,尽可能的在软件编码时期发现软件缺陷无疑是最佳选择,但软件运行时错误是所有的软件缺陷中最具风险的,发现该类错误最有效的手段就是专用测试工具。通过对几种主流的软件运行时错误测试工具的对比分析,探讨了各个工具的优缺点及选择的诸多因素,对于软件测试人员如何选择合适的该类测试工具,具有实际参考价值。

C语言中常见错误分析及程序调试

总结分析了C语言中常见错误及程序调试的相关技巧,以提高初学者的编程能力。

浅析C语言编程实践中的常见错误

C语言的上机实践是学习C语言必不可少的重要环节。本文列举和分析了在C语言上机实践中的常见错误,并进行了归纳和总结。

不起眼的“陷阱”──BASIC程序常见错误及预防

本文列举了BASIC程序中常见的运行错误，分析了各类错误出现的原因，并指出解决问题的思路和方法。

抽象解释技术在嵌入式软件测试中的应用

随着人们对软件地位的重视程度提高,软件测试也成为软件工程中必不可少的一部分[1],软件测试技术的发展也日新月异,抽象解释技术的出现无疑是一个大的变革。从剖析运行错误和抽象解释的概念入手,先后讨论了抽象解释技术在嵌入式软件测试中的工作原理和应用案例情况,最后阐述了基于抽象解释技术的测试方案的好处。

Java异常处理机制的研究

本文分析Java异常产生的原因,介绍异常处理方法,对比了运行时异常和非运行时异常,说明了异常处理模型。

C语言调试技巧

介绍C语言的一些基本调试技巧,并对编译器不易发现的常见逻辑错误和运行错误进行总结,以期能给广大C语言学习者一些帮助。

MapLand:地图绘制软件

如果你已经用过Microsoft Excel 5.0,而且想看到按地域分布的信息是如何呈现在一张国家或州地图上的,那么Software Illustrated公司的MapLand也许正是你所需要的工具。这个价格为99.95美元的绘图程序允许你按照信息的地理含意来描述信息,例如,销售额或客户收入示图。 MapLand作为Excel的一个附加程序安装,并在Excel的工具棒中插入一个地图按钮。