软件测试质量评价方法

分析当前软件测试质量评价的研究现状及存在的几个误区,结合工作经验,基于度量简易、有效可行、相对公正的角度提出一种依据测试文档、测试充分性、抽测结果及测试效率进行测试质量评价的方法。最后通过实际项目进行软件测试质量评价验证,总结这种方法的下一步研究方向。     

一种软件模型检测方法及其原型系统

Microsoft Research.Zin项目

MOPS:an Infrastructure for Examining Security Properties of Software

程序分析技术 2005

基于符号模型检测方法的应对规划系统 2006

>>更多...     

机载雷达侦察系统试验数据录取及处理软件的开发与应用

对机载雷达系统的试验就是要在静态和动态试验环境下通过各种试验手段获取该设备的大量相关数据,通过对这些数据的分析整理,客观公正地评价该系统的各项性能和技术指标。开发了一套机载雷达侦察系统试验数据录取及处理软件,以完成该系统试验过程中数据的录取及处理,实现了对试验数据从人工处理到自动处理的转变。     

一种新的基于缺陷的软件测试描述语言-DBSTDL

在软件测试领域,缺乏统一的测试描述语言(TDL)已成为提高测试效率和复用程度的瓶颈。区别以设备、信号等为核心的传统测试语言,设计的测试描述语言(DBSTDL)面向软件缺陷,围绕软件缺陷与被测软件信息双重主线,设计了6类词, 3大类100多条基本语句, 3组句群, 2种主要的语言组合方式。应用DBSTDL语言实现了软件典型缺陷与测试样例库,验证了利用DBSTDL语言建库的思想。     

基于软件、测试、缺陷“三域”铰链的 软件测试新架构研究与应用

为推动软件测试更加精准深入高效,促进软件测试从“遍历式”向“启发式”转变,提出了一种新型的基于软件、缺陷、测试“三域”铰链的关联知识启发式的新型软件测试架构。通过信息表征模型化、缺陷数据知识化、测试投向精准化等,突破了软件测试数据聚类重组技术和软件典型缺陷模式提取技术,设计开发了相应的软件测试信息管理系统,实现软件精准化测试。在提高软件测试效益的同时,也为软件研制单位和使用单位提高研发质量、快速诊断排故等提供更具针对性的数据服务。     

网上扬声调度系统管理控制部分的设计

本文在介绍如何设计数字化的实时语音服务的基础上,提出了一种基于软件的网上扬声调度系统,该系统可以很好的支持网上通播、专向对讲、开会讨论等应用,并重点介绍了该系统中管理控制模块的设计.该控制模块可以很好地完成用户管理、指令处理以及语音传输控制.     

基于网格序列法和端点量化的等值线生成算法

为了提高等值线生成率,高效直观地绘制衍射极图及其他相应等值线图,根据晶体结构数据的特点和对等值线绘制的要求,提出了一种基于网格序列法的等值线生成算法NSVD-GA（Grid Scan and Vertex Digit-al-Generation Algorithm of Contour Lines Drawing）。该算法基于网格序列采用对网格端点量化后进行数字比较的方法绘制等值线,既避免了网格无关法等值线追踪起始点选取困难、网格出口判断复杂的问题,又有效地减少等值线值与端点的判断次数。该算法思路清晰,简洁高效,非常适合晶体结构等科研数据的等值线图表达及其他类似情况的等值线生成。     

基于VTR软件的脉冲压缩雷达抗干扰仿真

脉冲压缩雷达是一种抗干扰能力很强的雷达,这主要是因为脉冲压缩对噪声和常见的干扰信号具有很强的抑制作用。在虚拟实验靶场（VTR）软件基础上,根据脉冲压缩雷达的工作过程和抗干扰原理,建立了脉冲压缩雷达抗干扰仿真系统,并对典型脉冲压缩雷达的抗干扰性能进行了仿真。     

基于GJB2725A的军用软件测试管理系统设计与实现

规范军用软件测评过程,提高测试质量,依据军方颁布的相关军用软件测评规定,通过分析目前军方对装备软件测评项目实施过程和采用能力的要求,设计实现了一套模块化、可定制功能的军用软件测试管理系统,系统集成了软件测试过程管理、测试项目管理功能,可以实现对军用软件测评项目实施全过程管理,有效规范装备软件测试过程,保障测试按照规范要求实施,进一步提高军用软件的测评质量。     

装备试验中的软件缺陷信息在军用软件测试中的应用

软件是信息化装备中的重要组成部分,装备试验必然包含对装备软件的考核。由于这种考核是在逼真的使用环境下进行的,在此过程中产生的软件缺陷信息对软件测试具有很强的借鉴参考意义。但由于没有建立有效的共享渠道,这些信息未能很好地应用于软件测试。本文通过对装备试验信息的研究分析,以完整的软件缺陷信息描述格式为基础,探索基于试验信息建立装备软件缺陷库并应用于软件测试的思路和方法,以提高装备软件测试能力。