-
题名计算机信息系统的验证与确认
- 1
-
-
作者
刘润杰
薛锦云
童兆丰
吴世兴
-
机构
江西师范大学计算机软件研究所
江西省计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
1996年第S1期323-323,共1页
-
基金
国家863高技术发展计划
国家自然科学基金资助项目
-
文摘
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V ＆ V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a
-
关键词
系统的验证与确认
计算机信息系统
软件规范
系统测试
-
Keywords
system verification and validation/computer information system/software specification/system test
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名迭代算子及其在可重用软件研究中的应用
被引量：4
- 2
-
-
作者
薛锦云
吴云峰
万剑怡
-
机构
江西师范大学计算机软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
1997年第2期145-152,共8页
-
基金
国家自然科学基金
国家863高科技项目基金
国家军用共性软件预研计划基金
-
文摘
迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用，已有１０多年研究历史，然而，至今对什么是迭代算子尚无确切和统一的定义，严重影响了对这一概念的理解，也阻碍了它的广泛应用，本文在分析研究现有各种迭代算子概念局限性的基础上，将迭代算子定义为包含于组合数据类型内部的抽象数据类型，得到了一种通用迭代算子模式，并给出了分立迭代算子和集成迭代算子的概念和模式。
-
关键词
迭代算子
可重用软件
循环机制
软件开发
-
Keywords
Iterator, abstract data type, reusable software, loop mechanism, soft ware development.
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名遗传算法机理的研究及应用
被引量：12
- 3
-
-
作者
肖美华
薛锦云
-
机构
南昌大学计算中心
江西师范大学计算机软件研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第20期137-139,共3页
-
基金
江西省教委科技计划重点资助项目(200018)
-
文摘
在介绍遗传算法的基本理论及主要特点的基础上，针对遗传算法的设计机理和步骤，从设计遗传算法的基本原则、设计遗传算法的基本步骤、常用的编码表示方案、适应性的度量、选择策略及控制参数的选取等诸方面进行了阐述和分析，并结合计算机布局问题，提出了一个基于模拟退火算法的混合遗传算法，结合实例进行了计算机仿真，验证了该算法的有效性。
-
关键词
遗传算法
计算机布局问题
选择策略
模拟退火算法
适应性函数
-
Keywords
Genetic algorithm
Packing problem
Selection strategy
Simulated annealing algorithm
Fitness function
-
分类号
O242.23
[理学—计算数学]
-
