基于W模型的面向对象软件测试教学研究

如何进行面向对象软件测试教学是目前一个亟待解决的问题。测试过程模型为软件测试教学提供了一种新思路,基于W模型设计了一种行之有效的面向对象软件测试教学过程,并详细给出了实践教学中采用的软件测试策略。该教学方法有利于学生对测试过程形成一个整体认识,符合软件工程系统化思想。     

教材管理系统的软件测试与可靠性分析

介绍了所开发的一种教材管理系统。论述了该系统的软件测试和维护，并讨论了系统的可靠性。     

软件测试过程要因分析

软件测试是软件生命周期的一个重要阶段,是一种实践性很强的工作,影响测试结果与产品质量的要因实际上贯穿在整个开发流程中,本文正是从这个角度,在项目开发的分析、设计和实现的整个过程中分析了要因及相应的改善手段.     

一种基于知识的模型管理系统

提出了一种基于知识的模型管理系统实现框架,分析了模型管理系统的知识方法引入的必要性和框架知识表示结构对于模型知识表示的适应性.同时就如何运用模型框架知识表示,实现模型选择机能作了具体的描述和讨论,给出了一个模型框架知识表示实例系统以验证所提出的概念思想.     

基于Web应用系统的软件测试

随着Web技术的发展,基于Web应用系统已经变得越来越庞大和复杂,如何保证Web应用系统的准确性、可靠性和安全性已成为软件测试的一个重要课题。本文比较了几种软件测试模型优缺点,分析了基于Web应用系统的功能测试、性能测试,探讨了基于Web应用系统的安全性测试。     

一种改进的支持外部Web服务集成的过程模型

围绕供应链管理系统的特点,针对跨企业过程中服务的集成需求,提出了一种支持外部Web服务集成的适合供应链管理系统的建模方法——基于Web服务的过程模型（Web Service-based ProcessModel,WSBPM）,并构建了一个基于WSBPM模型的供应链管理原型系统。该模型为虚拟企业实现供应链管理系统提供了一种框架,系统的运行结果表明,WSBPM模型具有良好的外部Web服务集成能力。     

一种适用于智能家电嵌入式软件的框架构件模型

通过对家电控制器常用MCU体系结构、程序设计语言、常用家电控制程序设计代码以及外设驱动源码的研究,制定了一种应用于智能家电嵌入式软件的框架构件规范,实现了划分和设计框架代码片段,以及对框架代码片段封装的方法;所设计的模型已成功应用于某863项目中。     

企业级项目中软件测试工作的研究与改进

通过对现有软件开发模型和测试模型的分析,总结各个模型的优点,结合一些应用项目的实际情况,对现有的软件测试工作模型进行了改进,介绍了一套行之有效的软件测试工作模型。该测试模型要求对软件开发的全过程开展积极的分析、度量和改进,充分地了解测试工作中的质量状态,如同开发过程一样地组织软件测试．     

一种基于过程框架结构生成机械设计专家系统的方法

本文针对机械产品设计过程的多阶段、多层次的特征,提出了机械产品设计知识组织的层次结构模型和设计过程框架(DPF)描述概念,研制出设计过程的控制结构和 DPF 程序处理器,使完成某一设计任务的专家系统可以采用多知识表示形式和多推理模式,能满足机械产品设计复杂过程的需要.     

软件测试的风险管理及应用

风险管理在软件质量管理体系中有着非常重要的作用.风险的起因来自于软件项目和产品研发过程中的不确定性,而这种不确定性就很可能给整个软件产品的质量带来各种各样的隐患.通过在软件测试过程中进行风险识别、风险分析和风险控制,从而进一步提高软件质量.该文从3个方面对软件测试风险管理进行阐述,并对软件测试常见风险进行分析,提出应对措施.     

支持基于决定的过程模型的代码组织与管理

本文简述了基于决定的过程模型，论述了在该模型中的代码组织与管理的思想，数据结构，并就代码视集管理及礤实现进行了描述。     

利用框架设计模式开发嵌入式网络协议

为了规范地开发嵌入式网络协议，设计了一个软件框架，它将UML状态机的事件、定时器、状态、状态机等核心数据结构整合为一体，提供了实现UML状态的各种接口。项目开发结果表明，该软件框架清晰地反映了状态机各个状态之间的嵌套层次关系，能够将嵌入式网络协议的UML状态图高效地转化为该网络协议的实现代码，成功地生成特定的嵌入式网络协议。     

基于中间件的C/S应用软件测试

软件测试是保证软件质量的重要手段.随着网络技术的快速发展,越来越多的软件是基于客户/服务器方式开发的.这就要求有一种有效的又不同于传统测试策略的软件测试策略.重点讨论了基于中间件的C/S应用软件测试用例的构成和构成策略及具体的基于协议集的测试方法等.     

动态系统安全性分析软件框架设计与研究

在动态系统安全性分析软件设计需求的基础上，采用面向对象的系统分析和集成的思想，组件化和层次化的实现方式，设计和开发了一种动态系统安全性分析软件平台；研究了平台进行动态系统安全性分析工作的主要内容；给出了综合利用各种安全性资料，基础数据，以及知识、模型库等有关信息，使不同种类的安全性分析工具在同一个集成环境中方便地集成，不同层次上的分析工具在不同阶段有效运行的软件框架。     

软件测试中态势分析的应用研究

通过在"二维模型正演"软件的测试中引入态势分析法,分析了优势和机会因素、弱势和威胁因素,经过对这些因素的分析,最终给出了适合"二维模型正演"软件的测试策略和测试方法。最后通过测试结果的统计分析验证了态势分析法在制定软件测试策略和测试方法时的有效性。     

Markov模型的软件可靠性测试充分性问题的研究

在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。