论文部分内容阅读
给出了软件测试学科的一个新的理论框架模型,在此框架模型中,软件测试学科由软件验证技术、软件确认技术以及软件测试管理技术这三个部分组成.然后逐一描述了这三个部分的具体内容以及它们在软件生命周期中的相互关系,从而阐述了对软件测试学科架构建设的新见解.
试论软件测试学科的架构建设
【摘 要】
：
给出了软件测试学科的一个新的理论框架模型,在此框架模型中,软件测试学科由软件验证技术、软件确认技术以及软件测试管理技术这三个部分组成.然后逐一描述了这三个部分的具
【机 构】
：
中国科学院研究生院中国科学院嫦娥工程地面应用系统软件质量部,中国科学院国家天文台月球与深空探测团组
【出 处】
：
计算机与现代化
【发表日期】
：
2005年11期
【基金项目】
：
中国科学院知识创新工程项目，中国月球软着落探测科学目标与有效载荷需求研究项目
其他文献
对高等院校的校园网格应用进行了分析，提出了一个基于网格技术的校园网格的框架。
论述了串行通信的基本概念以及RS-232和RS-485串行通信的区别,介绍了VB 6.0中的串行通信控件MSCommn、用于网络编程的WinSock控件和分布式监控模块,提供了利用网络技术实现远
传统Authorware课件通过简单按钮、文本进行帮助信息反馈，Microsoft Agent以其生动、活泼的画面、拟人化的表情、动作和言语等人性化特点对传统帮助系统产生了很大影响。本文
介绍了在PB下的一个通用打印预览窗口的实现。
提出了一种针对大数据量数字图像空域复合加密/解密的方法.加密过程是借助Logistic混沌动力学系统过程既非周期又不收敛,且对初始条件敏感性,产生实数值混沌序列;再通过离散
详细地叙述了通过钩子技术，将DLL从一个进程空间注入另一个进程空间，同时利用钩子抓取目标进程空间中的信息。并给出了实现例子。
SLA是对服务水平的约定,本文从网络的服务质量出发,结合网络监测在实际中的应用,设计并实现了基于SLA的网络监测系统.
以设计和实现江西省地税征管业务信息系统为例，就大型Web数据库系统的应用程序编程模型做了一定的研究．运用MVC设计模式的Struts实现解决系统中各个模块问复杂的信息交换和数据
介绍开放型计算机实验室管理系统的设计方法与实现技术，主要包括系统分析与设计、网络设计、条形码设计以及系统实施中的关键技术。
提出一种将自组织聚类神经网络运用于入侵检测的方法.在这种方法中采用自适应谐振学习算法进行训练;当网络的平均误差不再有意义地减少时,用遗传算法对网络继续进行训练得到