基于Ingres关系数据库的扩展栅格数据模型

设计基于关系数据库扩展栅格数据模型，以实现栅格类型的影像数据管理。首先依据开源数据库管理系统Ingres的自定义扩展机制，扩展实现栅格数据模型；然后设计栅格类型物理存储结构，并对分块技术和金字塔结构技术进行详细阐述；栅格数据模型扩展能很好地实现数据库管理系统Ingres管理栅格类型影像数据的功能。     

对美军标MIL-PRF-22191F可热封柔性透明阻隔材料规范的分析研究

分析研究了美军标准MIL-PRF-221191F《可热封柔性透明阻隔材料》的结构、性能指标、加工要求、检验验收等内容,并与国家相关标准对比分析之后,提出了该标准的应用建议。     

Java自动化基本路径测试研究

针对Java单元测试自动化程度和测试效率较低的问题,对基于Java程序的基本路径测试方法进行研究,提出了基于Java代码的基本路径生成方法和程序插桩方法,给出了插桩节点和控制流图节点的定义。首先,通过对Java源代码进行分析,构建程序的控制流图,进而对控制流图进行遍历生成基本路径集合;然后,对被测程序进行插桩,以获取程序的执行路径,插桩过程中保持节点和基本路径中的节点一致,使得插桩后的被测程序执行时得到的路径能够和基本路径集合进行自动化比对;最后,通过以测试数据为输入执行被测程序,对执行路径和基本路径进行比较,判断测试数据集对基本路径的覆盖度。通过实验,验证了所提出方法的有效性。     

软件覆盖测试技术研究

测试理论认为测试不可能发现程序中所有潜在的软件错误,那么就需要一个可信的方法来度量测试的完成程度。对软件的覆盖测试就是用来度量在某一测试标准下的完成程度,即该测试标准下的覆盖率。覆盖率越高则说明测试工作进行得越完全,软件就越可信。根据覆盖测试的目标不同,逻辑覆盖可分为语句覆盖(SC)、判定覆盖(DC)、条件覆盖(CC)、条件判定组合覆盖(CDC)、多条件覆盖(MCC)、修正判定条件覆盖(MCDC)和路径覆盖(PC)。     

软件全生命周期安全性测试方法研究

当前,软件安全问题日益突出,生产高度安全的软件产品已成为研发方向。实施科学的安全性测试是保证软件安全性的有效手段,验证安全策略的有效性,排查问题隐患,以尽量小的代价将产品投产后的应用风险降到最低。软件安全性测试方法手段多样,基于软件产品生命周期全过程的安全性测试方法就是其中之一。     

软件测试中的Mock辅助生成技术研究

Mock技术对提高软件单元测试的独立性和全面性起到了重要作用。现有的Mock生成框架需要人为编写Mock方法的逻辑,工作量较大且易引入人为错误。针对测试中Mock方法构建效率较低的问题,提出了一种基于数据驱动思想的Mock辅助生成方法,定义Mock模型描述要实现的内部逻辑,从而将输入输出数据独立于测试脚本。首先,通过对程序的分析,辅助确定待模拟方法及其输入输出参数;其次,针对输入输出关系进行建模;然后,根据输入输出关系为待模拟方法生成Mock方法;最后,将被测对象中的待模拟方法替换为Mock方法。通过实验,证明了所提出方法的有效性。     

军用软件的黑盒测试方法综述

在对军用软件进行功能测试时,通常采用黑盒测试方法,常用的黑盒测试方法有等价类划分法、边界值分析法、错误猜测法、因果图法和场景法等。在设计测试用例时针对实际军用软件综合应用这几种黑盒测试方法。