摘要：需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。

摘要：软件的需求分析是软件生命期的一个重要阶段。软件需求工程以描述语言、分析方法和支援工具为主要内容,它对于保证软件质量、降低维护费用以及实现软件工程的自动化有着十分重要的意义。本文首先简要介绍软件需求工程的基本内容和两类有代表性的需求描述和分析方法,然后谈谈程控交换软件支援系统中关于软件需求工程的初步设想。

摘要：近年来各高校围绕“立德树人”的根本任务,在各类专业课中以柔和的方式引入“课程思政”,以一种潜移默化的形式对大学生进行思政教育将是专业课程教学改革的新导向。文章首先解读了“课程思政”的含义,然后论述了《软件需求工程》课程思政现状,最后提出了该课程的课程思政改革措施和教学设计方法,以期从多角度、全方位和全过程等方面达到教书和育人的目的。

摘要：软件开发包含需求、设计、编码和测试等4个阶段，其中需求是最关键的一个输入。据统计，不成功的项目中有30％～40％的问题是由需求造成的。大量研究表明，需求阶段发现和纠正错误的代价是软件开发各阶段中成本最低的。

摘要：随着计算机技术的飞速发展,计算机软件在核电仪控系统领域起到了举足轻重的作用。因此,正确定义核电仪控系统安全软件需求是核电厂安全、可靠运行的保证。通过对软件需求的分析和研究,可以实现软件需求的正确定义。首先,从软件需求的来源入手。来源包括运行工况、产品性能、服务堆型等。然后,结合国内外标准法律法规中的相关要求和实际案例,分别从软件应用功能、软硬件约束、性能要求、自监督、软件失效五个方面,分析软件需求需要关注的重点及难点。最后,利用软件验证与确认(V&V)的方法进行软件需求确认,形成核电仪控系统安全软件需求的分析及研究的闭环。在分析和研究的过程中,不仅系统地明确了软件需求,也通过科学的方法验证了软件需求的正确、有效。该研究为后续的软件设计及软件实现奠定基础。

摘要：针对国家和军队信息化建设中需求工程面临的挑战,考虑需求工程对人员的技术能力、交流协调能力、问题分析能力、社会知识基础的综合要求较高,结合软件工程知识体(SWEBOK)、软件工程教育知识体(SEEK)等规范最新进展,对软件需求工程本科和研究生课程的建设进行了思考,针对课程内容建设、教学实践环节设计、考核方式等提出一系列改进措施,并对这些措施的具体实施进行讨论。

摘要：实时操作系统作为核电厂数字化仪控系统的核心组成部分,在核电厂数字仪控系统中发挥重要作用。但我国核电厂应用的实时操作系统严重依赖进口。为打破国外技术壁垒、实现核电厂的实时操作系统完全自主化,对适用于核电厂的实时操作系统软件需求进行研究。深入学习了实时操作系统的经典书籍,研究了核电软件法规和实时操作系统相关标准,调查了实时操作系统在核电数字仪控系统中的应用需求,分析了在核电厂成熟应用的友商产品的软件需求。提出了适用于核电厂数字仪控系统的可靠性和安全性的实时操作系统软件需求,包含外部接口需求、功能需求、性能需求和软件系统属性等。该研究为后续实现独立自主的核电仪控实时操作系统软件的设计及研制奠定了基础。

摘要：需求是软件项目的基础,如何把握用户需求,是项目成功与否的关键。一个灵活的软件需求分析技术,可以帮助开发人员准确获取用户需求。用例建模是面向对象软件开发技术的重要组成内容,它能够完整地捕捉系统的功能性需求,体现用户和系统之间的交互关系。通过一个实例分析,简要介绍如何使用用例建模技术,完成软件需求分析。

摘要：软件需求是一种不确定信息,用证据理论对软件需求进行定量的分析能够明确软件对不同需求的信任度和需求之间的信任度,减少软件需求工程的模糊性,为软件的设计与实现提供必要的依据。

摘要：测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进行阐述.定义了一种测试需求的元模型和测试需求建模方法,利用测试需求建模方法,可以得到测试需求模型,从而得到相应的测试目标,生成所对应的测试用例.并给出了对SIP协议进行测试的实验分析,在其中体现了利用测试需求建模得出的测试需求模型的作用.