审查Java代码的常见错误

代码审查是消灭Bug最重要的方法之一，这些审查在大多数时候都特别奏效。由于代码审查本身所针对的对象，就是俯瞰整个代码在测试过程中的问题和Bug。并且，代码审查对消除一些特别细节的错误大有裨益，尤其是那些能够容易在阅读代码的时候发现的错误，这些错误往往不容易通过机器上的测试识别出来。本文就常见的Java代码中容易出现的问题提出一些建设性建议，以便您在审查代码的过程中注意到这些常见的细节性错误。     

如何高效开发企业级的数据库信息系统

介绍了以PowerBuilder为软件开发工具,充分利用面向对象技术,并融合了软件工程理论进行规范、高效、快速地开发企业级数据库信息系统的基本思想和方法;强调了数据库系统开发过程中需要注意的几个重要环节,简要地阐述了其关键部分应该注意的问题,这些环节涵盖了软件开发的过程管理、系统设计和具体的代码编写等几个方面,以此提高代码的重用率,加强代码可维护性,减少程序错误,维护版本一致性,从而提高软件开发效率。     

单向错误校正/检测代码理论

本文提出了关于单向错误校正/检测代码的某些基本理论。我们定义了对称的、非对称的及单向错误类,并推导了单向错误校正/检测二进制码的充分必要条件。出于实际需要,我们推导了单个错误校正和所有单向错误检测(SEC—AUED)代码的两种新类型。术语—非对称的码距,非对称的错误,定权向量,汉明距离,SEC—AUED 代码、对称错误,单向错误。     

剖析Web服务器压力测试

Web服务处于分布式计算的核心位置．它们之间的交互通常很难测试。分布式开发、大型的开发团队以及对代码日益组件化的期望都有可能使Web服务的开发变得越来越容易隐藏错误。这些类型的错误极难检测出来．压力测试是检测这类代码错误的一种有效方法．但是只有在压力系统设计得比较有效的情况下才能发挥作用。本将让你深入了解一下这种压力系统的基本要求。     

代码走查的研究与实践

代码走查能够有效地发现30％～70％的逻辑设计和编码错误，错误的检测效率高达全部查出错误的80％，代码走查比动态测试更有效率，能快速找到缺陷，但传统的代码走查非常耗费时间。采用工具辅助进行代码走查，大大提高了测试效率，采用白盒、黑盒综合测试策略设计测试实例，提高了缺陷检测率。     

开放源码软件安全吗

开放您软件的源代码会改进其安全性吗?开放源码软件与安全性相关的主要好处是所谓的“许多双眼睛”现象——让更多的人仔细检查您的代码,这使您能及时地发现和纠正错误,尤其是与安全性相关的错误。的确,这种现象能够帮助您找到代码中的一些问题;如果不开放源代码,您可能就找不到这些问题。但是,无法保证这些仔细检查您开放源码的人会找到代码中的任何安全性问题,更不用说找到所有问题了;也无法保证任何找到安全性问题的人会真正报告这些问题。     

利用Excel Word的VBA自动生成学生成绩单

该文介绍了通过编写代码,使Excel与Word互相配合,自动生成单个学生的成绩单,从而节省了大量的重复性劳动,避免了错误,提高了劳动效率,适合各级各类学校使用。     

操作系统内核并发错误检测研究进展

并发错误是程序设计语言和软件工程领域的研究热点之一.近年来,针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大,与应用程序级并发错误检测相比,操作系统内核的并发错误检测研究仍面临巨大的挑战.对此,国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错...     

关于构造玩家之间的冲突

静态代码分析代码检查分析(Code Review)非常有必要。因为往往一个人写出的代码,其中的错误是很难被自己发现的。在过去,可以通过将自己的代码交给一些有经验的程序员进行人工审核检查来及时发现其中的错误。这是一个人工的过程,可谓费时费力,而且效果也不一定很好。而现在,这个过程已经完全可以做到自动化了,这就是静态代码分析。静态代码分析就是一个根据一套规则     

在Adobe Flex项目中整合Papervision3D的编程实现

介绍了将Papervision3D集成到Adobe Flash Builder 4的Sparks容器结构中的一种实现方法,并通过加入让stage侦听ADD_TO_STAGE事件代码的方式,避免出现Error#1009错误。     

数控加工程序的正确性检查

本篇文章从编译原理的角度介绍了G代码的词法分析、语法分析的方法,就其所涉及到的关键概念进行介绍,并以G代码程序为例对这些概念进行举例说明。     

MathWorks Polyspace工具帮助开发团队实现嵌入式软件质量目标

<正>2010年10月19日,MathWorks宣布推出对其Polyspace嵌入式代码验证产品的改进,此类产品可以证明源代码中不存在某些运行错误。Polyspace新特性包含了指标网络控制面板(metrics weh dashboard)、自动计划验证工作、电子邮件通知以及增强的代码指标支持,这些新特性使工程师能够选择并跟踪嵌入式软件质量的     

利用SIMD向量化的数据流软错误检测算法

由于现代处理器不断缩减芯片上元件尺寸、速度不断提高，会导致严重的可靠性问题.针对现有基于冗余的数据流软检错算法效率低下问题，本文提出一种基于SIMD向量化的数据流软错误检测算法VBSED,利用单指令多数据流并行性来提高软件冗余算法的效率，将原代码与冗余代码转换为高效率的SIMD代码，生成具有检错能力的加固程序.对比实验结果表明本文提出的算法可降低加固代码的时空开销，该算法还具有现有算法一般不能检测缓存等部件软错误的优点，并通过故障注入实验验证本文算法在寄存器、缓存和主存部件具有更高的错误检错率.     

使用EMF开发基于模型的Eclipse插件

长期以来，由Rational Rose等可视化对象建模工具得到的模型只能用于软件设计过程，这是因为没有一个很好的集成开发环境可以将这些模型自动转化成代码，而EMF的出现终于改变了这一不利局面。本文介绍如何借助EMF跨越存在于设计和实现间的鸿沟，由软件模型直接得到相应的实现代码，在今后的文章中你还将看到更多有关EMF的详细介绍和高级特性。     

图片文字抠出来

使用电脑时,我们经常遇到系统弹出错误提示框,想去网上搜索与错误提示相关的资料,还要先把错误提示框中的文字一一记录下来,如果提示的是一大堆代码,那可就难了。难道只能将文字抄下来吗?当然不,我们还可以借助“Alt PrintScteen”组合键,利用Word2003的OCR功能将文字从图片中“抠”出来。     

卓越的静态代码检测工具PC__Lint

PC__Lint是一个功能非常强劲的CC++静态代码检测工具，它不但能够检测出代码中的语法错误，还可以有效地提出许多代码在空间利用，运行效率上的改进点，在很多专业级的软件公司，比如Microsoft、Bonand等，Pc-Lint检查无错误无告警是代码要过的第一关，业界实践表明，通过使用PC__Lint，可以比较明显地提高软件的质量和开发速度。     

弄懂Windows错误的来龙去脉

常在河边走，哪有不湿鞋，Windows操作系统用长了，也照样会出现这样或那样的问题。人生病了，还可以去找医生，但Windows系统有了问题，它一般都会显示出一行错误代码，如果自己搞不懂这些代码到底是啥意思，也就无从下手去修复系统，让人伤透了脑筋。如何搞懂Windows错误的来龙去脉昵？可以通过以下的方式来实现。     

基于Java内存模型的并发程序模型检测

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序。     

VxWorks任务编程中常见异常分析

在任务运行过程中,会出现一些异常的情况,导致任务不能正常运行或者对操作系统造成影响。一般来说,这些异常是由程序的逻辑错误造成的,防止这些异常情况的出现和出现后进行补救就有格外重要的意义。1代码重入与共享在应用中,可能会出现多个任务调用同一段代码的情况,由于任务占用CPU是串行的,不会出现代码资源使用冲突。但是,不同优先级的任务同时调用同一段代码,则可能出现低优先级任务执行某一函数时被执行该函数的高优先级任务打断的情况,如果函数中要改写全局变量而没有使用互斥,就有可能导致错误的存取。例如在中断中调用内存分配或…     

使用JMX和J2SE5.0安全管理Web应用程序

JMX (Java管理扩展)提供管理本地和远程应用程序、系统对象和设备等的工具。本文说明如何使用JMX(JSR160)远程管理Web应用程序。本文将解释应用程序中需要的代码,这些代码能被JMX客户端使用。同时,还演示了如何使用诸如MC4J和jmanaged等不同的客户端连接到支持JMX的应用程序。此外,还详细介绍了使用RMI协议和JNDI来保护通信层。我们先分析一个简单的Web应用程序,这个程序监视已