核级软件的验证与确认技术研究

核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V＆V工具,实现核级控制系统应用软件的一套自动化V＆V流程。     

Tutorial Series 7 Software Project Verification and Validation

From prototype techniques presently used, new directions are emerging that lead to improved management and earlier detection of errors.     

软件验证与确认在MIS开发中的应用

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

面向适航标准的机载软件测试验证工具综述

机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法.软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障.对机载软件及适航标准进行了简介;按照系列适航标准,从DO-178C、基于模型的开发与验证(DO-331)和形式化方法(DO-333)三个...     

协同软件工程工具评价模型研究

协同软件工程（Collaborative Software Engineering,简称CSE）是一个快速发展的领域,各种协同软件工程工具层出不穷,既有商业化的集成开发环境,也有一些实验原型。但就其支持协同的本质而言,还需要做深入的研究。在分析了国内外对CSE工具的研究与开发的基础上,文章提出了协同软件工程工具评价体系Co-Workstyle模型。该模型给出了评价CSE工具的四个核心指标：感知、同步、制品、协调,并用于对现有的协同软件工程工具进行分析。     

舰船装备软件可靠性验证与评价技术研究

针对舰船装备软件可靠性验证周期长、效率低、缺少有效手段和依据等现状,本文研究了四种软件可靠性验证统计方案,并结合验证过程中指标类型、测试环境的预期寿命、可承受的最大测试时间、可承受的最大失效数等因素,给出了不同侧重因素时软件可靠性验证统计方案的选择策略,为舰船装备软件提供一种普适性软件可靠性验证与评价方法,具有重要的工程意义。     

面向验证的软件可信证据与可信评估

随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型。该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯。最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法。     

软件可信评估研究综述:标准、模型与工具

安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.     

软件质量测评体系和工具综述

介绍了国内外软件测评体系现状,提出了软件测评的总体技术要求,分析了目前测评单位所使用的软件测试工具的主要功能,为建立软件测评体系提供技术依据和实施参考。     

数字化核电站非1E级DCS软件验证与确认

DCS软件的高质量及高可信度对于系统的可靠性和可用性起着至关重要的作用。本文阐述了数字化核电站非1E级DCS软件验证与确认适用的国内外标准以及V&V模型,提出了DCS软件完整性等级与功能分类的关系,以及对应的V&V独立性要求。给出了DCS软件V&V的方法以及文件体系。本文对项目中开展DCS软件V&V工作提供了指导和建议。     

Verification,Validation, and Testing of Software: Special Issue of the Programmirovanie Journal

Programming and Computer Software -     

Machine Learning Tools for Automatic Mapping of Martian Landforms

Automated or semiautomated tools for Martian data analysis can substantially broaden the scope of scientific inquiry. Recognizing this opportunity, we've undertaken research to apply pattern-recognition and machine-learning tools to automatic analysis and characterization of the Mars surface. This research includes machine surveys of specific Iandforms, such as impact craters and valley networks, and automatic generation of geomorphic maps. A geomorphic map is a thematic map of topographical expressions or landforms. Machine learning can play a vital role in automating this mapping process. A learning system can employ clustering techniques to fully automate the discovery of meaningful landform classes. A clustering tool based on unsupervised learning offers maximum automation for geomorphic mapping.     

实时UML及其在月球车实时软件开发中的应用

实时UML(UML-RT)是统一建模语言(Unified Modeling Language,UML)在实时系统的扩展和应用,其简洁清晰的面向对象可视化建模方法可以有效解决实时系统中的复杂建模问题;分析了应用实时UML概念和原理进行实时系统可视化建模的问题和方法,并以包含多个子系统的复杂实时系统-月球车系统为例,论述了应用实时UML进行实际软件设计的过程和问题;使用实时UML使得设计过程形象和易于组织,同时方便了项目成员间的交流,大大加快了软件开发的进程。     

Model-Based Verification and Validation of Properties

One of the key issues in software development, like in all engineering problems, is to ensure that the product delivered meets its specification. Verification and validation are well-established techniques for ensuring the quality of a product within the overall software development lifecycle. With models being expressed in the Unified Modeling Language, the application of verification and validation is complicated. Firstly, concerning verification, a UML model is typically not the input language of a verification tool. Secondly, with regards to validation, a UML model is also not directly executable.In this paper, we show how verification and validation can be achieved for UML models. Within our approach, graph transformation techniques are applied for automated translation of UML models into a language understood by a verification tool or directly into an implementation. By the use of such semantic-preserving transformations, both verification and validation can be lifted up to the model level, allowing for a seamless integration of verification and validation into a UML-based development process.     

实施系统级软件确认评测的构想

系统级软件确认评测十分重要。本文根据实际工程需求 ,对系统级软件确认评测的实施过程提出一种简单构想     

基于Agent仿真模型的校核与验证研究

首先对国内外基于Agent仿真模型的校核与验证方面的发展情况进行了述评;然后,提出了一个完整的基于Agent仿真模型的校核与验证框架,该方案中包括表面验证、参数灵敏度分析、模型校准与运行时验证;最后以环境经济政策仿真模型中的校核与验证为例对该框架进行了简单说明。     

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。