大型CFD软件自动化测试平台的初步设计与实现 被引量：9

1

作者 何磊 赫新 +2 位作者 马戎 张益荣 张来平 《空气动力学学报》 CSCD 北大核心 2016年第4期418-425,共8页

针对大型通用CFD软件研制的需求,为了提升CFD软件的开发效率,初步设计与开发了一个CFD软件自动化测试平台。该平台基于MySQL数据库,通过前台界面和远程集群后台管理程序的网络信息交互,实现了自主研发的通用CFD软件平台(HyperFLOW)的自... 针对大型通用CFD软件研制的需求,为了提升CFD软件的开发效率,初步设计与开发了一个CFD软件自动化测试平台。该平台基于MySQL数据库,通过前台界面和远程集群后台管理程序的网络信息交互,实现了自主研发的通用CFD软件平台(HyperFLOW)的自动测试及验证与确认。根据需要适当修改前置处理接口,该平台亦可推广应用于其他CFD软件的自动测试。本文重点介绍了平台的基本框架和总体设计思路、平台的数据库和前台管理GUI设计、网络交互和后台管理等,并利用典型算例对计算结果的验证与确认过程进行了简要介绍,最后对平台构建的后续工作进行了展望。 展开更多

关键词 自动化测试 验证与确认 HyperFLOW 软件 CFD 软件开发 GUI 设计 MYSQL 数据库

在线阅读 下载PDF 职称材料

安全软件验证与确认中的单元模块测试技术 被引量：11

2

作者 李铎 张良驹 冯俊婷 《原子能科学技术》 EI CAS CSCD 北大核心 2008年第6期551-556,共6页

核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中... 核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。 展开更多

关键词 安全软件 单元测试 验证与确认

在线阅读 下载PDF 职称材料

仿真系统的校核与验证的自测试软件 被引量：4

3

作者 贾荣珍 刘丽 +1 位作者 王行仁 詹文军 《系统仿真学报》 EI CAS CSCD 2000年第6期617-620,共4页

建模与仿真(M&S)的校核、验证与确认(VV&A)是目前仿真技术领域中的重要课题。VV&A是保证M&S的置信度和可用性的关键技术。VV&A贯穿于整个M&S的全生命周期，复杂仿真系统的校核与验证（V&V）需要自动化、可... 建模与仿真(M&S)的校核、验证与确认(VV&A)是目前仿真技术领域中的重要课题。VV&A是保证M&S的置信度和可用性的关键技术。VV&A贯穿于整个M&S的全生命周期，复杂仿真系统的校核与验证（V&V）需要自动化、可视化的测试工具。介绍一种在Windows平台下开发的，遵循VV&A原则、并使用了VV&A技术的自测试软件，该自测试软件同时作为飞行实时仿真系统性能测试与评估的有效工具，具有一定的通用性。 展开更多

关键词 仿真系统 校核 验证 自测试软件

在线阅读 下载PDF 职称材料

软件验证与确认在MIS开发中的应用 被引量：2

4

作者 高月 梁成才 +1 位作者 王川 陆伟 《计算机工程》 CAS CSCD 北大核心 2011年第1期84-86,89,共4页

介绍软件验证和软件确认的概念及其相互关系,以一个实际的管理信息系统开发项目为例,描述在软件开发生命周期中验证和确认活动的具体实现,以及如何使验证和确认与项目的整个生命周期相配合、如何与项目实体相关联,证明软件验证和确认是... 介绍软件验证和软件确认的概念及其相互关系,以一个实际的管理信息系统开发项目为例,描述在软件开发生命周期中验证和确认活动的具体实现,以及如何使验证和确认与项目的整个生命周期相配合、如何与项目实体相关联,证明软件验证和确认是保证软件产品质量的有效手段。 展开更多

关键词 能力成熟度模型集成 软件验证 软件确认 管理信息系统

在线阅读 下载PDF 职称材料

计算机信息系统的验证与确认

5

作者 刘润杰 薛锦云 +1 位作者 童兆丰 吴世兴 《计算机工程》 CAS CSCD 北大核心 1996年第S1期323-323,共1页

计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简... 计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V ＆ V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a 展开更多

关键词 系统的验证与确认 计算机信息系统 软件规范 系统测试

在线阅读 下载PDF 职称材料

运用CMMI流程于电信系统测试管理的设计与实作 被引量：1

6

作者 董元昕 曾宪雄 刘至轩 《北京交通大学学报》 CAS CSCD 北大核心 2010年第3期42-47,共6页

通过软件测试的验证(Verification)与确认(Validation),提升软件质量,是软件工程中常用的重要方法.为了让测试管理落实在软件开发过程中,本研究考虑实务上的软件测试需求,参照能力成熟度整合模式(CMMI)中产品整合(Production Integrati... 通过软件测试的验证(Verification)与确认(Validation),提升软件质量,是软件工程中常用的重要方法.为了让测试管理落实在软件开发过程中,本研究考虑实务上的软件测试需求,参照能力成熟度整合模式(CMMI)中产品整合(Production Integration)流程,设计并实作一套测试管理系统.通过差异分析(Gap Analysis)、流程定义(Process Definition)、流程部署(Process Deployment)等流程分析与导入程序,详细定义测试流程及测试管理系统包含的功能,开发测试管理系统,将其运用在电信业,并进行相关的测试活动,其结果符合软件成熟度整合模型ML3的规范要求,能有效改善软件测试管理的工作. 展开更多

关键词 软件质量管理 能力成熟度整合模式 软件测试 产品整合 验证与确认

在线阅读 下载PDF 职称材料

基于动态分析的软件不变量综合技术 被引量：3

7

作者 王博 卢思睿 +1 位作者 姜佳君 熊英飞 《软件学报》 EI CSCD 北大核心 2020年第6期1681-1702,共22页

软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析... 软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析的不变量综合技术是该领域的核心问题,提出了“学习者-预言”框架统一描述相关方法,并且在此框架内根据学习者的归纳方法将综合技术大致分为4类,分别是基于模板穷举的方法、基于数值计算的方法、基于统计学习的方法以及基于符号执行的方法.其次,讨论了基于动态分析综合的不变量在软件验证和软件工程等领域的重要应用.随后,总结不变量生成技术中常用的实验对象程序和开源的不变量综合工具.最后,总结该领域并展望未来的研究方向. 展开更多

关键词 不变量 动态分析 软件规约 软件验证 软件测试

在线阅读 下载PDF 职称材料

核安全级软件静态测试技术研究 被引量：5

8

作者 陈卫华 白涛 +1 位作者 谷鹏飞 彭华清 《核科学与工程》 CAS CSCD 北大核心 2016年第3期392-397,共6页

核安全法规和相关标准规定必须对核安全级数字化设备进行硬件鉴定和软件验证与确认(V&V),以证明执行核安全功能的软件的质量和可靠性,其中软件代码静态测试是核安全级软件实现阶段V&V的关键环节之一。本文在分析核安全级软件编... 核安全法规和相关标准规定必须对核安全级数字化设备进行硬件鉴定和软件验证与确认(V&V),以证明执行核安全功能的软件的质量和可靠性,其中软件代码静态测试是核安全级软件实现阶段V&V的关键环节之一。本文在分析核安全级软件编程规范的基本要求及Klocwork、Testbed工具测试特性与局限性的基础上,针对嵌入式软件开发主要采用的C语言,提出人工走查与工具自动化测试相结合的安全级软件静态测试的基本框架和评价准则,从而保证核安全级软件静态测试的质量。 展开更多

关键词 核安全级 软件 验证与确认 静态测试 规程规范

在线阅读 下载PDF 职称材料

温州市域铁路S1线车辆制动系统的第三方独立安全评估 被引量：2

9

作者 王晓东 齐万明 张红萍 《城市轨道交通研究》 北大核心 2020年第8期151-153,共3页

根据温州市域S1线一期工程车辆合同的的要求,车辆制动系统需要通过第三方的独立安全评估。介绍了该线车辆制动系统安全评估所进行的主要工作,分别从制动系统需求规范、制动系统详细设计规范、制动系统软件质量保证计划、制动系统设计阶... 根据温州市域S1线一期工程车辆合同的的要求,车辆制动系统需要通过第三方的独立安全评估。介绍了该线车辆制动系统安全评估所进行的主要工作,分别从制动系统需求规范、制动系统详细设计规范、制动系统软件质量保证计划、制动系统设计阶段及之前的验证报告、制动系统需求测试规范五个方面,介绍了制动系统安全评估的过程。 展开更多

关键词 安全评估 需求规范 详细设计规范 验证报告 软件质量保证计划 需求测试规范

在线阅读 下载PDF 职称材料

反应堆保护系统应用软件集成测试方法 被引量：3

10

作者 康礼鸿 郭小星 廖一波 《核电子学与探测技术》 北大核心 2017年第7期673-677,共5页

为进一步确保反应堆保护系统的安全可靠,建立了一套通用应用软件集成测试方法。该方法应用于福清核电厂5号、6号机组RPS系统,本文详细描述了该方法中的测试设计、仿真环境搭建、测试执行以及测试结果评估,为今后其他DCS项目的集成测试... 为进一步确保反应堆保护系统的安全可靠,建立了一套通用应用软件集成测试方法。该方法应用于福清核电厂5号、6号机组RPS系统,本文详细描述了该方法中的测试设计、仿真环境搭建、测试执行以及测试结果评估,为今后其他DCS项目的集成测试提供参考。 展开更多

关键词 反应堆保护系统 验证和确认 软件集成测试 TXS

在线阅读 下载PDF 职称材料

轨道交通控制软件中基于场景的需求分析方法 被引量：1

11

作者 闫倩倩 缪炜恺 《计算机工程》 CAS CSCD 北大核心 2021年第8期284-293,300,共11页

针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供... 针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供模板。在对需求的确认和验证中,根据形式化规范建立需求模型,导出相关图表,基于此检查领域专家关注的场景。同时制定场景描述规则,使场景可以在需求模型中正确执行。在此基础上,从特殊变量、效率、场景质量三方面对场景进行优化,更充分地验证需求的正确性。实验结果表明,对于典型车载控制软件,该方法较传统分析方法可多探测到10%的潜在缺陷,效率提升80%以上。 展开更多

关键词 形式化方法 需求规约 需求确认和验证 场景优化 轨道交通控制软件

在线阅读 下载PDF 职称材料

生成测试数据的结构归纳法

12

作者 宋国新 《华东化工学院学报》 CSCD 1990年第5期572-574,共3页

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。

关键词 程序系统 归纳法 测试数据

在线阅读 下载PDF 职称材料