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

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

测试方法综述

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

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

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

联锁软件测试集可视化生成

生成充分而有效的测试集是软件测试过程的重要环节．根据联锁软件测试集的特点，在测试集自动生成算法基础上引入可视化技术．在测试集生成过程中，以图像方式显现数据之间的规律和联系，即时检验数据正确性．这种算法为用户提供了友好的人机交互界面，有利于减少冗余数据，提高测试集生成的效率．     

软件重用技术与GIS软件开发研究

给出了软件重用的定义,研究了领域分析、重用再工程、面向对象的程序开发方法以及基于重用的软件开发原则和软件重用技术在地理信息系统（ＧＩＳ）软件开发中的应用．     

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

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

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

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

基于线性残差独立性测试的致病基因检测

使用因果推断相关的机器学习方法辅助检测致病基因时,作为因果推断的核心工具,条件独立性(CI)测试算法在高维生物数据场景中往往存在时间复杂度高以及准确性低等问题。为此,提出一种融合偏相关测试与线性残差独立性测试算法,压缩CI测试条件集的搜索空间,同时提高准确率。设计一种因果推断策略,在减少冗余CI测试的同时结合V结构与因果函数模型的优点,在应用于真实癌症数据的致病基因检测场景中可以区分Markov等价类,找到真正的因果关系。实验结果表明,提出的算法有较好的致病基因检测性能。     

可信密码模块符合性测试方法与实施

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率.能够发现更多产品不符合标准带来的问题.     

MADCE中解决资源占用冲突的协调策略

提出了一个基于系统局部知识来管理系统资源的协调策略,它可有效管理可重用资源和消耗性资源,并较好地解决了这两类资源分配时的冲突问题．     

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

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

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

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

Multisim仿真软件在三相电源相序检测中的应用

介绍一种EDA(电子设计自动化)仿真软件M u ltis im 2001应用在三相电源相序检测的仿真方法;建立三相交流电源,设计相序检测电路;调用仿真软件提供的测试工具和仪表进行仿真,根据仿真结果进行分析和观测三相电源相序的变化规律.     

基于软件体系结构的需求分析与设计

提出了一种新的软件系统分析和开发方法．把领域知识划分为３类,然后向软件系统进行多层映射．并以两个实例说明了这种分类和转换方法．     

软件构件的设计与重用

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

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

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

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

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

软件复用技术实现策略研究

首先分析和提出了一种基于ＯＷＥ（ＯｂｊｅｃｔＷｉｔｈ Ｅｖｅｎｔ）的软构件描述方法,然后深入探讨了如何利用面向对象方法实现软件复用的策略,最后着重分析了继承机制对软件复用的支持以及在分布处理环境中的改进方案．