白哥乐
- 作品数：10 被引量：14H指数：1
- 供职机构：北京邮电大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- Java异常故障模式分析被引量：1
- 2009年
- 丰富、高效的异常处理机制是Java语言的重要特征之一。正确使用异常处理机制可以使程序的设计更加安全、可靠,但如果使用不当,则会让程序变得复杂难懂,进而影响程序效率。针对Java异常处理方面容易出现的故障模式进行了分析、分类并分别给出了相应的示例。
- 杨洪路高文龄宫云战白哥乐
- 关键词：JAVA异常处理
- 一种基于代码静态分析的多线程死锁检测方法及系统
- 本发明提供一种基于代码静态分析的多线程死锁检测方法及系统，该方法包括：对待测软件源程序进行词法、语法及语义分析，生成抽象语法树和控制流图；通过遍历抽象语法树，生成程序的指向分析图，对程序中的线程类进行分析，生成线程类并发...
- 宫云战杨朝红王雅文白哥乐金大海肖庆姚欣洪
- 文献传递
- 一种基于代码静态分析的数据竞争检测方法及系统
- 本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名...
- 黄俊飞宫云战杨朝红金大海姚欣洪王雅文肖庆白哥乐
- 文献传递
- 一种基于代码静态分析的数据竞争检测方法及系统
- 本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名...
- 黄俊飞宫云战杨朝红金大海姚欣洪王雅文肖庆白哥乐
- 软件安全静态检测技术与工具被引量：13
- 2009年
- 提出了一种软件安全漏洞的检测方法,重点介绍了静态测试。对当前基于源码分析的软件安全测试工具进行了分类并加以分析。
- 杨洪路宫云战高文龄白哥乐
- 关键词：漏洞安全测试测试工具
- 多线程死锁静态检测方法研究
- 死锁会导致程序无法正常运行或终止，甚至导致系统崩溃，带来不必要的损失。死锁的运行状态空间过大，难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析，提出了多线程死锁静态检测方法。该方法首...
- 白哥乐杨朝红王雅文
- 关键词：软件开发多线程程序软件测试
- 基于源码分析的软件安全测试工具综述
- 本文简单介绍了软件安全测试,概括的介绍了安全测试,对目前现存的安全测试工具进行了分类,对安全测试工具进行了概括的介绍,并主要介绍了基于源码分析的软件安全测试工具。
- 白哥乐宫云战杨朝红
- 关键词：软件安全漏洞软件安全测试源码分析
- 文献传递
- 基于静态源码分析的多线程死锁检测方法研究
- 随着计算机的发展，软件的规模不断扩大，其复杂度也随之增加，软件故障正成为计算机系统失效和停机的主要因素，软件质量成为计算机领域研究的热点，软件测试已成为软件质量保证的关键步骤和软件工程中不可或缺的部分。互联网的发展加快了...
- 白哥乐
- 关键词：软件安全测试死锁检测别名分析
- 一种基于代码静态分析的多线程死锁检测方法及系统
- 本发明提供一种基于代码静态分析的多线程死锁检测方法及系统，该方法包括：对待测软件源程序进行词法、语法及语义分析，生成抽象语法树和控制流图；通过遍历抽象语法树，生成程序的指向分析图，对程序中的线程类进行分析，生成线程类并发...
- 宫云战杨朝红王雅文白哥乐金大海肖庆姚欣洪
- 多线程死锁静态检测方法研究
- 死锁会导致程序无法正常运行或终止,甚至导致系统崩溃,带来不必要的损失。死锁的运行状态空间过大,难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析,提出了多线程死锁静态检测方法。该方法首...
- 白哥乐杨朝红王雅文
- 关键词：死锁检测别名分析
- 文献传递
