一个面向网络并行环境的需求规约语言

提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达用户的功能需求,允许将非经和半形式化的需求定义嵌入形式化的需求定义中。因此,ＯＯＲＳＬ语言是一个半形式化的语言,它为网络并行环境下的软件自动化和软件形式化开发提供了支持介绍了ＯＯＲＳＬ的设计思想和主要语法成分。给出了一个实例。     

基于对象的嵌入式实时软件需求模型

The embedded real-time software requirements are analyzed, and an object-oriented software requirements model is proposed. At the same time, an example, employing this requirements model is introduced in practice.     

一种面向嵌入式实时软件的需求建模语言

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元．利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。     

面向嵌入式实时软件系统需求工程环境——SREE

1 前言软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS)。对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要。但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂。为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE具的需求工程正不断向着需求工程自动化的方向发展。     

面向实时嵌入式机载软件的测试技术研究

文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实现中的４个核心技术进行了简要的阐明，最后，介绍了以上软件测试方法在实际工程项目中的应用情况。     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

嵌入式实时系统的软件需求检测

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.     

面向对象的形式化规约语言GOOZ

在总结和评价现有Z语言面向对象扩充的基础上，设计了一种新的扩充语言GOOZ，该语言克服了Z＋＋，Object_Z等语言的一些缺点，其书写规约具有简洁，明确，接口定义清晰，模块无整，结构良好，易于验证的特点。     

一种面向多目标的适应性设计规约方法

自适应软件越来越多地被应用于不同的领域,如各种分布式信息系统、安全攸关的抗毁系统、防病毒防入侵系统等.正确理解系统的适应性需求,是正确开发自适应系统的前提.将面向目标的规约语言(KAOS)进行扩展,增加了策略模型,建立支持面向多目标的基于动态策略的适应性需求规约方法.     

A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development

We present a time domain extension of the hierarchical and modular discrete event specification (DEVS) formalism. This extension is important for establishing a seamless real-time software development framework. Formalisms help describe a system unambiguously. If formal models are implemented without any consistent frameworks, however, it is hard to guarantee that there is no semantic gap between models and codes. Real-Time DEVS, named RTDEVS, is an extension of DEVS that can be characterized in three perspectives: the real time execution of models, the addition of time interval functions, and the activity specification for each state. After analyzing a system, the framework based on RTDEVS helps to expand each model of the system for executing in a real-time environment. In order to support the RTDEVS formalism, we propose abstract executive concepts based on the abstract simulator concepts of the DEVS formalism. Also, we implement an RTDEVS execution engine, named DEVS Executive, which runs on real-time Mach.     

基于企业流程的需求形式化说明语言

需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。     

基于构件的嵌入式实时软件建模与分析

嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也也使得分析结果具有可复用、可扩展的优点。