![Java数组越界检测系统的设计与实现]()
论文摘要时至今日,软件的安全漏洞已经成为黑客进行攻击的重要途径。任何在软件设计或实现中所带来的安全漏洞,都有可能成为以后安全事件的隐患,给社会带来巨大的损失。数组越界是缓冲区溢...
![Java程序中异常流的测试与可视化研究]()
论文摘要异常处理机制是提高软件健壮性,可靠性的重要手段之一。它将程序中的正常控制代码和错误处理代码分离,为程序员开发高可靠的软件提供了条件。但它也给程序中引入了新的控制流和数据...
![Java程序维护中基于别名分析的错误诊断技术与工具]()
论文摘要在纠错性软件维护中,相当大一部分错误是由于程序对别名表达式指向的对象进行了误操作而引发的。因此,针对别名引发的软件错误,本文讨论了基于别名分析的错误诊断技术,以及基于别...
![基于Agent的数据流测试模型及实现技术研究]()
论文摘要我们对Web应用程序中(以JSP为例)由于引入内置对象和动作标签后引发的数据流进行了研究,在对数据流研究的基础上建立起函数级、函数群级、对象级,对象群级的测试模型,并分...
![基于程序关联性分析的软件测试方法研究]()
论文摘要随着软件功能的强大,复杂度的增加,只有加强软件的可理解性、可修改性、可测试性和可维护性,才能保证软件质量和延长软件生命。在软件的测试和维护过程中,对错误的跟踪定位和测试...
![GCC编译器安全验证方法研究]()
论文摘要编译器作为计算机软件中最为基础的软件之一,与操作系统、数据库系统一起被列为构成计算机系统软件的关键性的基础设施。而编译器作为任何软件的产生器,它的安全性、可靠性和稳定性...
![基于汇编语言的控制流错误检测算法研究]()
论文摘要随着集成电路的特征尺寸、供电电压和阈值电压的减少，处理器对串扰、电磁干扰以及粒子辐射等各种噪声干扰变得更加敏感，硬件瞬时故障导致的计算机系统可靠性问题日显突出。尤其在辐...
![并行化编译器中并行程序自动生成和性能优化技术研究]()
论文摘要高性能计算机的广泛应用使得人们对高效并行软件的需求急剧增加。面对庞大、复杂且对时效性要求极高的计算任务，如何充分利用高性能计算机的软、硬件资源，加速计算任务的快速完成；...
