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

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

Integration system research and development for three-dimensional laser scanning information visualization in goaf

An integration processing system of three-dimensional laser scanning information visualization in goaf was developed. It is provided with multiple functions, such as laser scanning information management for goaf, cloud data de-noising optimization, construction, display and operation of three-dimensional model, model editing, profile generation, calculation of goaf volume and roof area, Boolean calculation among models and interaction with the third party soft ware. Concerning this system with a concise interface, plentiful data input/output interfaces, it is featured with high integration, simple and convenient operations of applications. According to practice, in addition to being well-adapted, this system is favorably reliable and stable.

面向对象的软件需求分析

本文首先给出了面向对象的软件需求分析(OORA)与面向过程分析方法的区别,并从软件需求的角度简要地讨论了OORA所涉及的基本概念;依次评价了OORA的四种起源;分析了OORA的基本模型;比较了几种典型的OORA途径。最后指出了从传统方法转向OORA的几方面困难。

基于产品线需求分析的过程改进研究

以简化软件产品线中的需求分析过程、实现过程复用为目的,总结了当前软件生产线需求分析的特点以及分析过程,通过建立领域用户需求模型指导需求获取分析过程,采用基于改进原型法的需求获取方法,基于领域用户需求模型建立需求复用库,引入本体描述用户需求模型等方法,对软件产品线的需求分析过程进行了改进,并设计实现了一套图形化需求建模工具,有效地简化了需求分析过程,实现了过程复用。其研究结果应用到了D2G软件生产平台中。

基于系统理论过程分析的软件安全性需求分析与验证方法

针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。