情形实例驱动的需求分析方法

一引言软件需求定义是软件需求的完整描述,是开发者和用户之间对最终的软件产品的功能和性能等方面达成的共识和契约。需求分析过程能否获得准确全面地反映用户需求的需求定义对软件产品的质量以及开发开销都具有重要影响。由于软件产品的规模日益扩大,复杂性不断提高,软件需求分析已成为一项非常困难的任务。本文引进情形实例这一概念     

一个面向对象软件度量自动生成工具

面向对象软件度量技术是面向对象开发方法中不可缺少的环。但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的。本文分析了面向对象程序设计语言的特点及其对软件度量的影响,并介绍了一个具体的支持Ｃ＋＋软件度量的自动生成工具。     

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

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.     

测控软件的软件测试方法研究

文章在总结测控系统开发经验的基础上，针对测控软件的特点，讨论了测控软件的静态及动脉测试。这些测试技术在某型综合自动检测系统的软件测试中得到了应用，结果证明了这些软件测试技术是保证工程研制进度、保障测控系统硬件及被测对象安全的重要手段。     

面向对象软件开发中数据驱动控制和软件重用

本文阐述了在面向对象软件开发中怎样采用数据驱动控制技术以提高软件可重用性的问题，并以软件开发实例进行了证明。     

基于面向对象的软件需求分析规范及实施方法研究

本文采用面向对象的技术，对软件需求分析的任务、实施步骤和方法进行了研究，并给出了相应的规范说明。     

面向过程分析的需求自动生成工具POSRAG

该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-OrientedSoftwareRequirementsAutomaticGenerator),其主要特征是以可视化过程建模为基础,通过正确的引导和提示,帮助用户和设计人员获取完整的用户需求,完成软件需求分析,并自动生成需求文档。文章详细描述了该系统的设计方案和实现过程。     

图形用户界面的自动生成

现代软件产品几乎全部采用交互式的图形用户界间。在图形用户界面大大提高了使用的方便性的同时,也使软件的开发任务变得更为复杂与团难。一     

一种用例驱动的应用系统分析和设计方法

本文给出了一种用例驱动的系统分析和设计方法，其要点是：（1）在分析阶段，采用例驱动方法，从Model-View-Controllr(MVC)的角度理解用户需求，建立MVC分析模型；（2）通过分析当前主流MVC开发环境，抽象出Model和View两者之间交互的一般实现模式，据此抽象的实一细节对MVC分析模型进行细化，完成从MVC分析到MVC设计和实现的无锡过渡，本文最后还介绍了方法在实例“停车场信息管理系统”开发中的运用实践。     

A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm

The design and functional complexity of medical devices have increased during the past 50 years, evolving from the use of a metronome circuit for the initial cardiac pacemaker to functions that include electrocardiogram analysis, laser surgery, and intravenous delivery systems that adjust dosage based on patient feedback. As device functionality becomes more intricate, concerns arise regarding efficacy, safety, and reliability. It thus becomes imperative to adopt a standard or methodology to ensure that the possibility of any defect or malfunction in these devices is minimized. It is with these facts in view that regulatory bodies are interested in investigating mechanisms to certify safety-crictical medical devices. These organizations advocate the use of formal methods techniques to evaluate safety-critical medical systems. However, the use of formal methods is keenly debated, with most manufacturers claiming that they are arduous and time consuming.In this paper we describe our experience in analyzing the requirements documents for the computer-aided resuscitation algorithm (CARA) designed by the Resuscitative Unit of the Walter Reed Army Institute of Research (WRAIR). We present our observations from two different angles – that of a nonbeliever in formal methods and that of a practitioner of formal methods. For the former we catalog the effort required by a novice user of formal methods tools to carry out an analysis of the requirements documents. For the latter we address issues related to choice of designs, errors in discovered requirements, and the tool support available for analyzing requirements .     

一种软件功能测试成本估算模型及其应用

软件测试是软件工程的一个重要阶段。在软件测试工作开展以前,恰当的估算软件测试的规模及成本,将使软件产品的质量得到大幅提高。提出一种基于算法模型的软件功能测试成本估算模型,给出了模型中参数的初步校准值,并在实践项目中进行了应用。实践表明,该模型在实践中可以较好地估算软件功能测试规模及成本,为测试计划的制定及测试工作的开展,起到积极作用。