软件规格说明综述

虽然很早就提出了软件规格说明，但是，对它的研究仍需进一步深入。目前，软件规格说明了已成为计算机科学中一个相对独立的研究领域。本文从当前的研究成果出发解释了软件规格说明，介绍了软件规格说明标准，软件规格说明方法和软件规格说明表示方式。     

从软件功能实例规格说明到软件功能形式规格说明的自动转换

软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。     

软件自动化系统NDAOTO/SON

登记号 880081 开发单位南京大学计算机软件研究所功能简介本系统实现了从自行设计的图形化规格说明语言GSPEC书写的软件规格说明到S-ON PASCAL程序的自动生成,并能在一定程序上保证软件的正确性。GSPEC既能     

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

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

面向对象软件的形式规格说明技术

本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。     

基于灰色聚类算法的需求分析

James Martin等人的研究成果表明软件产品的大部分故障来源于需求阶段。为了提高软件产品的质量,保证软件需求规格说明(Software Requires Specification,SRS)的一致性、正确性、无歧义就显得尤为重要。利用自然语言处理技术,通过对软件需求规格说明中功能性需求语句进行词语划分并做词性标注,将每个功能需求语句转换为由关键词构成的权重向量,结合灰色聚类算法最终实现将功能语义相似的需求语句聚合在一起,从而达到需求分类的目的。分类的结果不仅方便需求分析人员进行需求审查,同时也方便软件开发人员进行软件编程以及维护人员对软件系统的修改和变更。     

现有Z面向对象扩充语言的比较

引言软件规格说明的形式化技术提供了一种能独立于实现的、可推理的系统数学模型,具有     

面向系统能力的形式化分析和测试方法

国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行描述,存在语义不准确的现象,直接影响系统测试的质量。针对上述问题,提出了一种面向系统能力的形式化分析和测试方法。通过该方法,测试工程师可得到语义清晰的系统能力需求描述,并实施面向系统能力的系统测试,有效地提高系统测试的充分性和准确性,从而提高系统软件质量。     

基于代数规格说明的软件构件重用方法

软件重用的关键是构造可重用的构件库中合适构件重用的方法，文中提出了采用基于代数规格说明的形式化方法来表示软件构件，并给出可重用构件进行抽取，修改的规格说明匹配法，在考虑了精确匹配算法的基础上，特别针对构件抽取着重提出了弱精确匹配方法。     

大功率固体激光加工系统中监控软件与PLC通讯的实现

介绍了在两种情况下大功率固体激光加工系统中监控软件与PLC通讯的实现,并对两种方式进行了比较。一种是用VB6．0开发的监控软件与PLC串行通讯的实现,给出了具体的实例说明;一种是基于触摸屏开发的监控软件与PLC通讯的实现。     

软件工程CASE工具——RSL/RSA

软件的发展经历了若干阶段,到今天已进入了软件工程时代,软件工程将系统开发分为几个阶段,其中需求定义与分析阶段的技术和方法已成为软件工程时代所要解决的主要课题之一。需求分析的关键技术是需求定义与分析的质量问题,“需求规格说明语言/需求规格说明分析系统”(RSL/RSA)是一种以规格说明为核心,以需求规格说明数据库为基础的计算机辅助需求分析系统,本文从软件工程的角度,提出了需求分析的关键技术、集 成化的软件工具包的概念和RSL/RSA系统的设计目标,同时介绍了计算机辅助需求工程工具RSI/RSA系统的功能、结     

可复用构件表示模型与检索研究

本文根据AND-CASE环境对软件构件的要求,提出可复用构件表示模型,将刻面法和规格说明相结合的综合刻面法描述构件库中的构件,以兼顾刻面法的灵活易用性和规格说明的规范性,并将其应用于AND-CASE环境,有效实施内建层次词典检索和多种形式的构件匹配。     

Object-Z规格到实现机制探讨

形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Java实现的几条转换机制,并运用案例研究来说明这些机制。     

一种可重用构件模型——类属构件

软件重用是在开发一个新的应用系统时,重复使用以前在别的应用系统开发活动中所建立和使用过的软件资源。这些软件资源不仅包括源代码,还包括软件开发方法、需求规格说明、设计结构、开发工具与支撑环境、测试分析数据和维护信息等。软件重用技术有助于提高软件开发的生产率,提高软件系统的可靠性。降低软件开发的成本.因而它已成为软件工程的重要研究课题。     

通用组态软件在实时控制系统的应用

本文提供了一个实例,说明如何利用面向对象的分析和设计方法,使用通用组态软件来实现一个实时控制系统。该系统是用在生产线上的一个综合测试平台,本系统已经使用组态软件MCGS实现了。     

两种形式语言:RSL与Z的分析比较

RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。     

一种面向软件行为和多视点的需求模型验证方法

软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.     

带约束的Eiffel:一种约束引导的强类型面向对象语言

强类型的面向对象语言很适合软件工程的需要。本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明。本文提出的带约束的Eiffel语言结合了Eiffel语言强类型和继承机制与TbingLab Ⅱ的约束引导系统,并且对两者都有改进,因而有益于软件的规格说明和开发。     

基于Matlab的机器人避障仿真软件设计

为了提高机器人避障算法开发效率,设计了一种基于Matlab的机器人避障算法设计与试验仿真软件。该软件分为用户图形界面、避障算法系统模型两大部分。其中用户图形界面是基于Matlab 图形用户界面( GUI)实现的,能够实现参数设置、结果展示等功能,给用户提供了一个操作及管理平台;避障算法系统模型是本软件实现的关键,包括探测传感器模拟和机器人运动模拟,其通过Matlab语言编程和Simulink模块组建实现。全面阐述了仿真软件的系统建模、软件编程和用户图形界面设计,并对仿真软件实现所采用的关键技术进行了详细说明。仿真实例表明,该软件运行平稳,能清晰直观地展现机器人的避障过程。     

指挥控制装备软件保障系统设计及实现

作为软件密集型装备,指挥系统的软件保障需求明显;简要介绍装备系统软件结构及主要功能,对其在部队使用过程中出现的问题进行分析;提出软件保障工具的主要功能及系统设计方案,并对系统实现方法进行详细说明。应用表明:指挥系统软件保障系统对提高部队软件保障能力具有重要意义。