面向软件逆向工程的GLR优化算法

GLR分析方法主要用于自然语言的处理分析,较少应用于软件逆向工程领域的语法分析.针对软件逆向工程领域的语法分析特点,分析传统确定性分析算法的局限性,阐述采用GLR分析算法的目的.通过实例剖析GLR算法的主要性能瓶颈,从分析表构造、分析动作执行等多个层面对算法进行优化,提出一种面向软件逆向工程的GLR优化算法.该算法已在一个可视化语法分析器自动生成环境中实现.实验结果表明,在分析无二义性输入串时,该优化算法与传统的LALR(1)文法具有可比性,实用价值较高.     

基于设计模式的可扩展Java静态分析器设计

鉴于静态分析器设计的复杂性,提出运用多种设计模式构建静态分析器系统.结合实例详细论述单件、访问者、外观及工厂方法等模式在构建Java静态分析器中的应用.旨在促使静态分析器系统开发中应用设计模式,设计出灵活、可复用和易理解的软件,提高软件的质量和软件的复用性及可扩展性.     

白盒测试中源代码变更管理方法的研究与实现

在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的改进方法,对于软件模块的比较采用了抽象的方法简化为目录树,而在文件比较中基于源代码静态分析工具,把文件比较的粒度分解到方法一级,进行了方法内部比较算法的研究,设计实现了源代码版本管理子系统。     

可定制高可用性Web应用程序界面的设计和实现

应用程序用户界面(UI)在体现终端用户所需功能的同时,应使用户高效、方便地使用这些功能。因此,友好的UI应该为用户提供一个可配置,可个性化设置并且具有高可用性的环境。在分析目前一些流行的系统所采取的用户界面方案之后,通过内蒙农牧林业科技信息服务平台(简称NMLPTii)的工程实践,提出一系列设计和实现可定制的、高可用性的Web应用程序界面的方法和原则,并在此基础上,依托信息体系结构的构建,提出多维度信息浏览和导航、多种交流模式、错误校验框架的应用以及可视化的管理等方法以提高Web应用程序的可用性。     

面向TTCN-3分布式测试执行平台的测试适配器框架的研究与设计

 由于分布式系统具有物理分布、并发访问、时序敏感、平台异构等特点,所以分布式测试系统必须适应上述特点.TTCN-3分布式测试执行平台能够满足分布式测试的要求,但TTCN-3测试系统静态绑定测试适配器的特点导致测试系统在单个测试执行节点上不具备同时和多种被测系统交互的能力,因此本文提出测试适配器框架的概念.该框架支持TTCN-3标准接口规范,在具备基本测试适配功能的基础上,整合面向多种被测系统的测试适配器,并在测试执行过程中根据测试脚本和被测系统的不同动态选择并调用适合的测试适配器,满足了TTCN-3分布式测试执行平台的需求,同时也增强了TTCN-3在分布式测试领域的应用能力.     

大型交互式领域应用软件白盒测试的组织和实施*

针对具有大型、交互式、领域特点的软件系统,对于实际的白盒测试项目进行了认真总结,系统地阐述了该类软件测试的技术、方法、策略、过程以及管理.通过描述测试项目的组织和实施过程,提出了进行大型交互式软件测试的基本思路,即从过程、管理、培训以及测试方法等方面提取共性特征.最后对测试发现的软件问题进行统计和分析,验证测试的有效性和意义.     

从UML设计模型到测试模型的研究*

为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程.通过实例说明如何从UML设计模型转换为UTP测试模型的过程.此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持.     

应用遗传算法自动生成测试数据的实验分析

将遗传算法应用于覆盖指定路径的测试数据生成已得到了广泛的研究.具体实现中,影响测试数据生成效率的因素很多,如先验知识,GA参数,路径复杂度等.本文在简要介绍应用GA生成测试数据的关键技术后,设计实验分析了影响测试数据生成的部分因素,并据此得出了一些结论.     

二维协同工作空间的并发操作加锁协议

提出一种用于在二维工作空间中协同作业的并发操作加锁协议和相应的锁调度算法，协议采用悲观锁，以抽象的二维空间为并发操作的对象，支持任意锁粒度，具有无死锁性质．加锁协议和算法存一个实时分布式协同绘图系统中实现．协议的实现采用多Agent系统模型。将面向Agent的程序设计中Agent的情绪值的概念用于控制锁的释放和调度，支持并发操作者之间的主动协同和细粒度感知．