数字化核安全级仪控系统软件验证和确认平台的设计与实践

在针对数字化核安全级仪控系统中的软件进行验证和确认（V＆V）过程中,为了确保V＆V工作可信、有效、高效地开展,构建一个软件V＆V平台,支持包括准备、执行和管理等全过程的V＆V活动。该V＆V平台基于通用数据库。通过集成定制工具与商用工具,来提供V＆V工作所需的方法和手段。通过多个核级软件的V＆V项目的应用实践,证明该平台对于开展V＆V活动发挥了重要作用,使得数字亿核安全级仪控系统具有清晰证据支持的高安全性与高可靠性。     

基于CMMI验证工具的研究与设计

按照一定的过程生产产品并不能保证一定没有缺陷，所以需要增加生产过程中的检验措施，这就是质量控制。质量控制根据参照标准不同会有两种类型：验证和确认，简称V＆V。本文介绍了实施CMMI3级验证过程的支持框架及工具的设计。     

军事建模与仿真中的V＆V技术及其方法探讨

许多大型传统软件工程的帮助和使用文档都对软件的校核和验证(V＆V)技术作了详细描述,提出了测试软件稳定性、完整性和使用性的一套总的程序.军事建模与仿真中的校核与验证(Verification and Validation,V＆V)问题是建模与仿真全面质量管理的关键环节,主要解决军事模型的可信性和可用性问题,在军事建模过程中占有重要地位.该文旨在对军事建模与仿真的V＆V问题进行初步探讨,给出军事建模与仿真的V＆V方法.     

核电仪控系统安全软件需求的分析及研究

随着计算机技术的飞速发展,计算机软件在核电仪控系统领域起到了举足轻重的作用。因此,正确定义核电仪控系统安全软件需求是核电厂安全、可靠运行的保证。通过对软件需求的分析和研究,可以实现软件需求的正确定义。首先,从软件需求的来源入手。来源包括运行工况、产品性能、服务堆型等。然后,结合国内外标准法律法规中的相关要求和实际案例,分别从软件应用功能、软硬件约束、性能要求、自监督、软件失效五个方面,分析软件需求需要关注的重点及难点。最后,利用软件验证与确认（V&V）的方法进行软件需求确认,形成核电仪控系统安全软件需求的分析及研究的闭环。在分析和研究的过程中,不仅系统地明确了软件需求,也通过科学的方法验证了软件需求的正确、有效。该研究为后续的软件设计及软件实现奠定基础。     

核级DCS应用V&V安全保密分析方法研究

为确保核级DCS应用软件具有较高的可靠性与安全性,需要对核级DCS应用软件开展验证与确认工作。安全保密分析为验证与确认工作的专项分析任务之一。本文遵循相关标准法规的要求,并结合核级DCS应用软件开发过程及不同开发阶段产品的特性,研究并提出了一种适用于核级DCS应用软件V&V安全保密分析的方法。该方法已在某核级DCS项目应用软件V&V活动中得到应用,确保了应用软件具有较高的安全保密水平。     

建模与仿真的动态V＆V技术综述

校核与验证（V＆V）技术包括非正规、静态、动态和正规四类技术，是保证建模与仿真（M＆S）的可信度的重要手段。动态V＆V技术是其中应用范围较广、数学和逻辑上比较正规的技术。它要求模型转化为应用并被执行，根据模型的执行行为来评价模型的精确性。首先简要介绍了M＆S的VV＆A和校核与验证技术的分类情况，然后论述了动态校核与验证技术并分析了各自的特点，最后介绍了在建模与仿真过程中动态V＆V技术的适用范围。对用于校核与验证的动态测试技术和统计技术作了重点介绍。     

Z和VDM规格说明的差异比较

实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义,在软件开发中有着相当重要     

核电厂安全级仪控设备的商品级软件鉴定初论

对于结构简单、功能单一的安全级数字化仪控设备中所包含的商品级软件,特别是已经完成设计开发的软件,要求软件设计方按照相关标准实施软件的设计开发过程以及验证与确认过程是不现实的。论述了安全级数字化仪控设备中所包含的商品级软件的鉴定方法,重点介绍了IEC标准和EPRI报告中相关的鉴定方法。通过对商品级软件进行安全评价,并完成相关鉴定工作,以补充证明软件在规定条件下执行其预定的安全功能是可行的。这有利于我国的数字化仪控设备厂商开展软件的鉴定工作。     

核电厂DCS安全级应用软件开发的危险分析

为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动.采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析.通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性.     

一种扩展UML/UP的需求分析方法

UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程.UML和UP结合在一起成为一种很强大的软件工程方法学.UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与后续的系统分析和设计有较大的鸿沟.分析了需求工程中用例和场景分析以及用例图示的高层设计方法.在此基础上,提出了在需求方面增强了UML/UP方法.     

软件需求的形式化转换模型

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。     

基于场景的软件测试工具系列的设计与实现

文章将场景技术用于软件测试工具系列Safepro的开发,在讨论测试工具开发共性的基础上,还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状,随后给出了系统的测试场景,并基于场景分析了系统的构成模式,讨论了测试数据流模型,包括测试过程的数据流模型,数据流的性能改进,以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。     

基于Web UI的软件自动化测试的研究

随着软件产品使用范围的提高和先进组建设备的出现．软件产品的复杂性也越来越强．这就需要对软件产品实施更加深入和透彻的测试。自动化测试以其覆盖率大．测试效率高．精度准等多个优点．越来越被人们重视和使用。而轻量级测试程序的开发．不仅具备自动化测试的全部优点．还能够减少对测试环境的要求和弥补对测试工具使用熟悉度较低所产生的工作效率问题．使自动化测试更快更经济的投入到日常工作中。基于汤森路透公司（Thomson Reuters、的Common Platform Searchand Navigation项目对Reference Data的测试需求设计一个轻量级测试程序．     

新的软件开发方法论需求：软件定义的高层构造

一、研究背景多年软件开发的实践,人们积累了丰富的经验,也熟悉了软件开发过程的一些实质性的关键环节。软件开发人员知道如何去协调各个阶段的开发任务,如何强调某些步骤     

Semi-formal design of reliable mesh generation systems

A reliable mesh generation infrastructure is designed based on software engineering principles. Formal methods, software design documents and clear modular decomposition criteria are introduced to improve the quality of mesh generation software. The design document for a simple 2D mesh generation data structure is presented using a semi-formal specification. The proposed semi-formal documentation system avoids any ambiguity during the software design process and will help in driving the software test cases. Using the proposed software, design techniques result in a consistent software design that is easy to extend and modify.     

软件测试过程分析

分析了传统软件测试的不足，阐述尽早开始测试的必要性，总结出系统测试过程所需经历的阶段——计划、设计、执行和评估。结合瀑布模型，分析了测试与开发并行工作的过程，在此基础上建立了软件测试阶段及其与软件开发各阶段的关系模型。     

Combining the requirement information for software defect estimation in design time

This paper analyzes the ability of requirement metrics for software defect prediction. Statistical significance tests are used to compare six machine learning algorithms on the requirement metrics, design metrics, and combination of both metrics in our analysis. The experimental results show the effectiveness of the predictor built on the combination of the requirement and design metrics in the early phase of the software development process.     

A behavioral analysis and verification approach to pattern-based design composition

Integrating software components to produce large-scale software systems is an effective way to reuse experience and reduce cost. However, unexpected interactions among components when integrated into software systems are often the cause of failures. Discovering these composition errors early in the development process could lower the cost and effort in fixing them. This paper introduces a rigorous analysis approach to software design composition based on automated verification techniques. We show how to represent, instantiate and integrate design components, and how to find design composition errors using model checking techniques. We illustrate our approach with a Web-based hypermedia case study.