基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况．通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便．     

PC机与BAS100A测试仪通讯软件的研制

通过通讯软件将微机与BAS100A测试仪连接在一起，在菜单的提示下进行分析样品的测试、绘图、数据的处理、数据存盘等，整个过程轻松、自如、方便、快捷，软件的设计达到了预期的目的。     

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.     

基于网络的地理信息软件构架

在回顾地理信息系统（GIS）软件构架的基础上,提出了网络时代的GIS软件构架方式,即基于浏览器／服务器方式的InternetGIS体系,对这种构架的特点进行了分析。同时,对InternetGIS的基本实现技术做了描述。     

基于模型检测的软件安全性验证方法

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.     

基于递阶的软件过程模型重用方法

将重用技术应用到软件过程仿真和控制之中,提出了一种基于递阶的软件过程模型重用方法,并对其中的元模型重用进行了重点阐述,将演化计算与元模型重用结合起来,给出了形式化描述,以及重用实现算法.针对每一个软件项目都建立软件过程模型是比较繁琐和费时的工作,因此重用已有的软件过程模型不仅能缩短开发周期,也能提高软件的可维护性和可靠性.     

面向Agent的软件框架

软件框架是软件重用的一种有效技术,然而传统的软件框架是采用面向对象的技术,软件框架的实现存在不足之处.本文采用面向Agent的软件框架,从框架的构件、交互机制和变化性的处理机制进行了阐述,与传统的面向对象的软件框架相比,具有较强的适应性,提高了框架的重用能力.     

基于软件行为的可信动态度量

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.     

软件构件的设计与重用

根据软件工程的原理和方法研究了计算机软件重用的过程、方法及关键性技术;提出了一种基于可重用构件库的软件重用方法;并简要地介绍了支持这种方法的一个原型系统。     

测试方法综述

对软件项目使用的各种测试方法进行了统计和分类,讨论了测试方法与应用规模之间的关系,功能点与测试实例数、测试人员数之间的关系,以及测试方法与测试人员组成之间的关系,并分析了测试纠错效率．     

面向使用的GUI软件关键测试路径选择策略

从软件统计测试的思想出发，提出了窗口导航网（WNN）模型，并通过WNN选择关键测试路径，以降低GUI软件的测试代价．提出了多种窗口和输入粒度，从不同层次上描述GUI软件，并在一定粒度上构建WNN模型．模型中的顶点对应GUI中的窗口，弧对应窗口之间的转移，各弧关联一个[0，1]区间的实数，描述转移发生的概率．使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题．实例分析表明，通过WNN模型能有效地获取关键测试路径．     

非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

基于模块开发控制的一个软件可靠性分配模型

提出了一个软件可靠性分配模型，该模型在保证系统开发费用最低的前提下，将可靠性指标分配到各模块中，此外还运用了遗传算法来搜索模型的最优解，实践表明，这是一个有效的途径。     

基于软件结构的可靠性分配

给出了根据软件模块重要度和复杂度进行软件系统可靠性分配的方法． 这种分配方法充分考虑了模块复杂性与重要性对可靠性分配的影响,从而使分配结果更加合理． 最后,依据本文提出的可靠性分配的方法,给出了一个实际例子．     

构造面向对象软件可复用测试用例的模式研究

从分析测试用例的共性着手，将面向对象系统中的测试用例依据它们的设计方法分为：状态检查测试用例与状态比较测试用例，并进而得出关于这两类测试用例的详细描述．以此为基础，提出了一个统一的测试用例生成、执行的模式，使测试用例能够独立于被测对象，以达到测试复用的目的．