基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.

软件需求规格说明自动生成工具

首先提出了一种面向业务流的需求分析方法 ,并给出了相应的条件有向图需求描述模型 (CDGRD) ,然后详细地介绍了基于 CDGRD的软件需求规格说明自动生成工具 .最后以某大型企业信息系统项目为例 ,详细讨论了

软件规格说明综述

虽然很早就提出了软件规格说明,但是,对它的研究仍需进一步深入。目前,软件规格说明已成为计算机科学中一个相对独立的研究领域。本文从当前的研究成果出发解释了软件规格说明,介绍了软件规格说明标准、软件规格说明方法和软件规格说明表示方式。文章同时指出了知识工程在研究软件规格说明的作用以及当前研究中存在的问题和分岐。

基于结构化方法编写软件设计说明

本文根据多年的软件项目工程化指导和评审的经验,选择目前广泛遵循的GJB438B-2009《军用软件开发文档通用要求》为依据,基于结构化的设计方法,对软件设计说明文档中重要章节和常出现问题章节的编写进行研究,为编写软件设计说明文档提供指导。

嵌入式实时软件需求规格说明的原型化检测方法

提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 .

一种获得应用软件规格说明的新途径

在4GL开发环境下,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界面模型来确定应用软件的规格说明,并详细介绍了确定界面模型的方法———OVID(ObjectViewInteractionDesign,对象视图交互设计)。

基于信息素养培养的信息技术学科定位与早期的软件说明书式教学的区别

对早期教学和新课程标准下信息技术的学科定位、教学设计理念、教学目标、教学内容、教学策略、教学评价等方面进行探讨,并提出培养学生的信息素养努力的方向。

一种软件需求规格说明描述质量评价方法

软件需求规格说明(SRS)作为需求工程的最终产品,其质量好坏直接影响后续的软件开发的质量高低。文章针对软件需求规格说明中存在的潜在需求缺陷,通过对其进行等级划分,更加客观地反映不同等级的潜在缺陷对于软件需求规格说明的影响。通过模糊层次分析法分别赋予不同的权值,验证了不同程度的模糊需求对软件需求规格说明的质量影响。

基于结构化方法的软件需求规格说明编写研究

软件需求规格说明是进行软件需求分析活动所产生的重要技术成果,也是开展后续软件开发的基石,其质量的好坏将直接影响软件开发的成败。一份规范的需求规格说明文档是软件开发人员与利益相关方沟通的有效手段。如何编写出既满足统一标准要求,又充分表达用户需求,且易被开发人员理解的需求规格说明文档,是困扰很多软件分析人员的问题。结合多年的软件项目工程化审查经验,选择目前广泛遵循的GJB438B-2009《军用软件开发文档通用要求》为编写标准,对基于结构化方法的软件需求规格说明文档中的重要章节和易出现问题的章节的编写进行研究,为软件需求分析人员编写规格说明文档提供借鉴。

功能点方法在软件需求开发中的应用研究

针对需求开发活动中存在的常见问题,将功能点识别方法应用于需求分析过程,从度量软件提供给用户的功能角度进行软件需求分析,并以某软件为例,以软件功能点模型作为约束标准,形成了标准、规范的软件需求规格说明,有效控制了软件需求的边界,亦辅助保证了需求的完整性等要求。

如何编写软件需求说明书

论述了软件需求应具备的叙述特征和说明特征,以及编写高质量软件需求应遵循的方针,并列举了一些需求质量评审的例子,对初学编写"软件需求说明书"的人员有一定的指导作用。

航电设备软件系统测试过程研究

嵌入式软件广泛应用于航空电子设备中 ,对其进行全面的系统测试是提高软件质量的十分有效的途径。首先分析了航电设备软件进行系统测试的特殊性 ,而后针对其特点提出了一种有效的系统测试工程化方法 ,并详细地阐述了方法中的每一个操作步骤 。

UML与B结合的软件开发研究与应用

B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。

基于结构化功能规格说明的测试方法和工具

由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．

软件的验收测试

本文简要介绍了软件测试的含义、目的,重点介绍了软件在验收阶段的测试内容,以笔者在实际工作中的经验总结了软件在验收阶段需要做的具体测试项目,以及目前应用比较广泛的B/S(浏览器/服务器)结构的软件在验收时需要重点测试的内容。

基于UML Specification实现软件系统测试自动化

本文基于软件系统测试理论及面向对象技术,结合一个合理的可以应用于实践的系统软件自动测试工具模型BUS-SUITE,分析基于UML Spec.实现软件系统测试自动化的理论基础、实现流程及关键技术.