一种从组织业务数据中获取软件需求的方法

针对隐藏于组织业务海量数据中的隐性软件需求获取提出一种方法。该方法的基本思想是：组织业务海量数据中隐含软件需求,它是以隐性知识形式存在于海量数据中的,隐性知识利用的解决方案就是组织及利益相关者对待开发软件系统的要求（软件需求）。首先,构建一个完整的、无冲突的、正确的待开发软件系统目标及其关系模型,并在待开发系统目标指导下,利用数据挖掘技术对数据进行挖掘,从中发现隐性知识;然后,识别知识的有用性和可用性;最后为可用性知识的利用提供解决方案。进而获取隐藏于大量数据中的隐性软件需求．     

问题驱动的需求捕获中问题分析与解决技术研究

问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并清晰地表达出来.协同式的问题分析与解决方法可以帮助利益相关者找到并表达出真实、一致的解决方案.方法的基本思想是:首先各个利益相关者平等地、按照一定流程协同地分析问题表述的可理解性、问题的价值、问题存在原因;然后利益相关者协同地识别解决方案.通过关联原因和解决方案来保证解决方案的客观性.通过问题的分类,提出问题及协同元素的元模型,及时关注相关联的问题,评估利益相关者的参与程度,用以帮助利益相关者分析与解决问题.选取“高校学生选课系统”进行实例研究,结果显示协同式问题分析与解决是一种在实际应用中行之有效的方法.     

基于UMLsec的软件安全需求建模方法研究

安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础.针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法.在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证.科研信息系统实例表明了该方法的有效性.     

一种基于场景的需求验证方法

在软件需求分析工作中,需要检验获取的需求是否同客户的需求相一致.文章提出一种基于场景的软件需求验证方法,给出了基于场景的系统模型检验验证算法,并通过一个实例对其进行了检验.该方法运用有限状态自动机对软件需求进行建模,以消息序列图描述作为验证条件的场景,对获取的需求的正确性和完备性进行验证.     

关联规则挖掘发现问题的协同式需求获取方法

提出一种关联规则挖掘发现问题的协同式需求获取方法。该方法的基本思想是：首先,通过关联规则挖掘发现问题;然后,识别问题的解决方案,进而获取隐藏于大量数据中的隐性需求。     

知识引导的软件可信性需求的提取

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求...     

可信软件非功能需求可满足性经济学方法分析

针对软件可信性的重要性以及非功能需求的策略选取对软件可信性的影响,提出了一种在早期需求工程阶段将用于辅助决策的经济学和需求工程相结合的方法,并提出了可信软件非功能需求可满足性的策略选取框架,以辅助策略选取。首先,对功能需求及经济学方法概念进行了定义和转换,例如,将软件开发过程中的非功能需求看作经济学生产过程中的生产要素、软件的利益相关者看作生产过程中的生产者等;并定义了非功能需求分解模型。在此基础上,基于模糊集合论和信息熵对软件非功能需求进行模糊排序从而获取利益相关者的关键非功能需求,并利用经济学中生产过程的相关方法计算使用策略的可信性效益,辅助策略的选取。以移动基础维护管理平台为例,使用提出的方法,说明了所提方法的可行性。     

情景感知的软件需求获取与建模技术综述

情境感知的移动应用能够适应用户当前状态,因此这类应用越来越受到青睐。但由于上下文情景的维度是无数的,这使得获取和建模情境感知系统的情景需求成为一大挑战。本文通过文献综述的方法,旨在:(1)发现有哪些情境感知的需求获取与建模方法;(2)评估这些方法的技术转移成熟度。通过对所选择的61篇相关文献,进行数据抽取和分析综合,本文总结并识别出11种需求获取的方法、10种需求建模的方法以及它们的技术转移现状。结果显示:(1)最受欢迎的情景感知需求获取方法是用例和场景,而最常用的情境感知需求建模方法则是面向目标的方法;(2)在大多数相关文献中的需求获取与建模技术的技术成熟度都不高,不利于其面向工业界进行技术转移。     

基于环境的多形态时间需求建模方法

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.     

可信软件需求获取与分析研究综述及展望*

需求获取与分析是可信软件领域的研究热点,近年来得到了广泛的关注和快速的发展。首先分析了中小型软件系统中需求获取方法与分析方法的国内外研究现状,接着对新近出现的可信软件中需求获取与分析方法进行了分析和综述;最后对需求获取与分析方法的研究动态进行了总结与展望。     

应用软件开发的需求风险及控制

在应用软件开发过程中,由于软件需求本身的隐含性、用户与开发者之间的沟通障碍,以及需求随着时间、用户的变化而变更等原因,可能使需求分析偏离实际需求而最终导致软件开发的失败,这种可能性称为需求风险。需求分析是软件开发过程中最初始、最基础的工作,也是最重要的工作之一,其成败将直接并最终决定软件开发的成败,并且呈倍增效应。需求分析的关键是使隐含的需求明确,使变更的需求可控,采用座谈会、需求调查表、需求启发、角色扮演等方法可以使需求明确化;采用面向对象的方法及UML工具、领域专家的全程参与、需求分级、二次开发接口等方法可以使需求变更处于可控范围内。实践证明,这些都是控制需求风险的有效方法。     

复杂软件需求开发方法研究

软件需求开发方法研究是当前复杂软件系统开发中最重要的问题之一。本文首先基于软件开发生命周期模型,对软件需求开发工作进行了介绍。进而总结了软件需求所必须包含的内容,分析了软件需求的特性。基于迭代改进的开发方法,本文将需求开发工作分解为需求捕获、需求分析、需求编写和需求确认四部分活动,并对每部分工作的详细活动和目的进行了分析和总结。软件开发工程实践证明,科学的软件需求开发方法是提高软件开发效率,提高软件开发质量的重要手段。     

软件项目需求波动风险分析及对策

从需求波动风险的定义出发,总结了需求波动形成的原因和对软件项目的影响,列举了一些代表性的风险分析和评估方法。最后提出了基于面向对象方法的系统需求工程的分析设计思路。     

A requirements taxonomy for reducing Web site privacy vulnerabilities

The increasing use of personal information on Web-based applications can result in unexpected disclosures. Consumers often have only the stated Web site policies as a guide to how their information is used, and thus on which to base their browsing and transaction decisions. However, each policy is different, and it is difficult—if not impossible—for the average user to compare and comprehend these policies. This paper presents a taxonomy of privacy requirements for Web sites. Using goal-mining, the extraction of pre-requirements goals from post-requirements text artefacts, we analysed an initial set of Internet privacy policies to develop the taxonomy. This taxonomy was then validated during a second goal extraction exercise, involving privacy policies from a range of health care related Web sites. This validation effort enabled further refinement to the taxonomy, culminating in two classes of privacy requirements: protection goals and vulnerabilities. Protection goals express the desired protection of consumer privacy rights, whereas vulnerabilities describe requirements that potentially threaten consumer privacy. The identified taxonomy categories are useful for analysing implicit internal conflicts within privacy policies, the corresponding Web sites, and their manner of operation. These categories can be used by Web site designers to reduce Web site privacy vulnerabilities and ensure that their stated and actual policies are consistent with each other. The same categories can be used by customers to evaluate and understand policies and their limitations. Additionally, the policies have potential use by third-party evaluators of site policies and conflicts.

关于软件需求中的不一致性管理

复杂软件系统开发的一个关键问题是分析和处理可能存在的不一致的需求描述.这个问题解决得好坏直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的一个不一致需求管理框架的基础上,就需求不一致性管理方面的有代表性的工作,进行了较为系统的分析,以期建立对当前需求工程中,关于不一致的需求管理方法和技术的全面认识.最后,对需求不一致性管理方面的研究进行了展望.     

浅谈软件项目的需求分析

当今世界各行各业对软件的依赖程度急剧增长,而在规定的时间和预算内开发出可靠并满足用户需求的软件系统,对于许多开发者来说都是一件非常困难的事情。由于软件项目中的需求变更而导致软件项目失败的案例越来越多,所以如何高质量完成需求分析已经被许多软件公司列入了重要的流程化管理中。需求分析的任务还不是确定系统怎样完成它的工作,而仅仅是确定系统必须完成哪些工作,也就是对目标系统提出完整、准确、清晰、具体的要求。     

一种基于MBSE的飞行传感器系统需求建模方法

针对传统的基于文档式的需求工程方法无法满足当前复杂系统的需求分析,论文提出一种基于模型系统工程(Model-Based Systems Engineering,MBSE)思想的传感器系统需求建模分析的方法,辅以DOORS工具对需求进行管理。首先,基于DOORS对飞行传感器系统的需求管理进行研究,以支持系统的需求演进,方便后续的需求建模分析;其次,在Rhap?sody环境下采用SysML用例图对飞行传感器系统需求进行静态建模分析,从参与者的角度分析系统需求用例;最后,通过对某型号无人机传感器系统应用实例的分析来验证该方法的有效性和可行性。     

Automated analysis of the SCR-style requirements specifications

The SCR(Software Cost Reduction)requirements method is an effective method for specifying software system requirements.This paper presents a formal model analyzing SCR-style requirements.The analysis model mainly applies state translation rules,semantic computing rules and attributes to define formal semantics of a tabular notation in the SCR requirements method,and may be used to analyze requirements specifications to be specified by the SCR requirements method.Using a simple example,this paper introduces how to analyze consistency and completeness of requirements specifications.     

Eliciting and prioritizing quality requirements supported by ontologies: a case study using the ElicitO framework and tool

As software complexity grows and clients demand higher quality software, quality requirements can no longer be considered to be of secondary importance. Thus, eliciting, specifying, prioritizing and validating quality requirements is a prerequisite to the development of effective and efficient information systems. Despite the critical importance of quality requirements, there is a considerable gap in the breadth and depth of quality requirements engineering (RE) support in most RE approaches. In practice, it is often the case to have quality requirements considered as an afterthought in the systems development process. While there is a wealth of modelling techniques and tools for functional requirements, there is very limited support for quality requirements in RE. Support for quality requirements is usually ad‐hoc, without clear guidelines on how to capture, specify and manage quality requirements and also without proper usage of standardized terminologies based on established quality models such as the ISO/IEC 9126 quality model. In this paper, we discuss a quality‐driven RE framework and tool that applies knowledge management techniques and quality ontologies to support RE activities. The ontology implements the quality characteristics and metrics prescribed by the ISO/9126 quality model, providing a common vocabulary to address quality concerns/aspects across RE activities. We empirically validate how the framework and tool can be used to effectively support the requirements elicitation and prioritization activities through a case study addressing the development of an intranet portal project at the University of Manchester.     

基于信息特征的需求开发与管理研究

如何荻取用户的真正需求是需求工程的难点.需求工程是创造性的高层次知识活动,根据知识等级层次,信息最接近于事实且涉及专业知识最少.以信息方式交流需求具有容易理解的优势,便于减少和消除人们因知识背景不同而产生的交流困难.应用信息特征探讨了几点有效提高需求开发与管理效率的对策.