Web系统用户登录与访问控制测试模板模型

针对Web系统登录安全与资源分配等问题,使用变异测试、访问控制等技术构造测试脚本模型,建立相对通用的测试脚本模板.数据驱动与待测系统登录接口实现了关联,对变异后的模板脚本进行了调试.利用湖北软件测试公共服务平台的测试工具构造了自动化测试实例,建立了多用例访问请求,并且执行了测试.最后,对一些实际的Web系统进行测试.结果表明,该模型能够检测Web用户登录安全与访问控制资源分配等错误,为Web用户登录安全提供了一种技术的检测手段.     

基于组件的加权组合错误注入测试方法

在传统错误注入方法的基础上,结合组合变异测试技术,提出一种面向组件的错误注入加权组合测试方法。对组件环境的注入条件设置加权因子,在组件集成测试系统平台下面向第三方组件进行注入测试,自动生成XML格式的测试监控日志。实验结果表明,该方法能依据组件的软件环境发现并分析从高风险到低风险的组件漏洞。     

面向Web系统的测试和诊断实现

针对目前Web系统的性能、安全和功能缺陷,提出一种"安全+性能+功能"测试与系统诊断相结合的测试方案.系统运行时全面测试性能,包括网络连接、数据库与应用服务器;然后测试系统的功能模块;采用先扫描再攻击的方法发现系统的漏洞与脆弱点;重点对系统的脆弱点进行诊断,全面分析后提出解决方案.使用湖北软件测试平台的测试工具构造测试实例,对某些大型Web网络系统进行了测试,实验结果表明,只有经过全方位检测和诊断后的系统才能得到更好应用.     

基于XML Schema技术的编译符号表生成方法

传统的编译中间代码通常不能在移动、嵌入式和分布式等环境之间转换，而符号表的构造与管理贯穿整个中间代码的生成过程。本文提出一种基于XML Schema及其相关技术生成编译中间代码的符号表的方法。首先给出整体方案，然后阐述了如何运用XML Schema等技术表示编译器的前端，以及后端的目标机体系结构。生成的编译器符号表能通过XML工具统一管理和验证，从而使生成的编译中间代码有较高的可移植性，能被不同环境中的编译器采用。     

组件技术及其在网络上的应用

依据COM组件技术的通用性、开放性等基本特点，分析了COM技术与Web结合的优势，实现了COM技术在Web系统中的应用，即通过Visual Basic等开发工具开发了网上安全管理组件、HTML型Help系统中的COM组件(树形目录控件、索引和搜索组件)等。     

面向组件接口的XACML变异测试策略

XACML是一种适用于各种信息资源保护的访问控制语言。由于其严格的语法规范,且具有多种平台之间的可移植性,非常适用于各种组件交互的安全管理。借助该访问控制语言提出的一种面向组件的三层访问控制方法,组件交互、接口调用和参数访问都能实现安全控制。在该基础上设计了相应的变异测试策略,规则变异可以导致策略变异,策略变异可以导致整个策略集的变异;反之亦然。通过测试具体实例与验证其语义模型,该测试策略为组件访问及交互提供了安全保障。     

面向不同行业软件的质量评测模型及实践

针对不同的行业类型软件的质量需求和应用,提出了建立对应的软件质量评测模型,论述了系统质量评价时涉及的相关质量特性选择根据和方法。还结合几个实际的工程测量类软件产品,给出了工程测量类软件测试模型的一个应用实例。测评过程展示了测试实践中遇到的问题和解决方法,如一些接口交互错误和格式化数据类型错误等。最后软件的质量得到了改进,并且统计出一个较全面和客观的评价结果。     

无线网络中基于PSNR的视频数据流传输仿真分析

针对无线网络环境低带宽、高错误率和高时延的特点,在NS2中建立仿真模型,利用基于PSNR的客观质量评估方法,分别对不同的数据包错误率、压缩量化参数、GOP的长度、数据包的长度对于图像质量的影响进行仿真分析.仿真结果给出的结论为无线网络更加有效地进行视频数据流传输提供了有益的参考.     

基于XMLAPI的组件扩展接口变异测试方法

在传统的组件接口变异测试方法基础上,提出一种基于XML API的组件扩展接口变异测试方法.首先给出组件扩展接口测试的框架,建立起扩展接口的定义模型.XML API在组件内部建立处理数据集的XML校验器,实现了原组件接口的扩展.借助组件外部的XML Schema变异算子,完成了组件内部数据集的自动验证和组件接口参数的测试.该方法具有多种优点,例如可视的多功能测试接口、可跨平台的通用性的测试语言等.实验表明,该方法可以应用于COM,CORBA,EJB等多种组件的测试环境.     

通过PowerDesigner实现公交系统的初步设计

利用 Power Designer对河南省机动车管理系统的需求分析及总体设计模型进行仿真 .在需求分析中弄清系统开发的软、硬件环境及目标 ,在此基础上完成系统流程图、系统结构图、实体关系图的设计 ,讨论数据字典的构造 ,实现了数据模型的创建及相应的标准概念模型报告的生成和物理模型的生成 .对如何利用快速原形法开发工具 ,把物理模型转化成 Power Builder程序进行了展望 .