关于需求分析建模与模型验证技术的.docVIP

华中师范大学 硕士学位论文 关于需求分析建模与模型验证技术的研究 姓名：林云 申请学位级别：硕士 专业：计算机应用 指导教师：李晓燕 2000.11.1  禽 ⑧黠篁 摘要 现的功能越来越多，软件的规模也越来越大。通过对航天计算机系统的软件所 普遍存在着的错误进行分析，结合～些实际数据，我们清晰地看到，软件需求 规格说明常常是引起软件错误的重要来源。需求规格说明是需求分析阶段的产 品，我们通常采用的是未使用任何限制非形式化的自然语言进行描述，这种自 然语言书写的需求说明，虽然易于理解和使用，但难以保证其正确性、完整性、 无二义性、一致性，验证过程只能采用不太规范、不太严格的人工走查的方法 进行检查，稍微复杂一些软件的需求规格说明的检查，实际上已经超出了人工 检查的能力。 作为软件工程一个重要分支的需求工程，是指应用已证实有效的技术、方 法进行需求分析，确定客户需求，帮助分析人员理解问题并定义目标系统的所 本文的主旨是关于需求分析建模和模型验证技术的研究，文中的“分析模 型”是需求规格说明的半形式化表示。本文较为全面地研究了以结构化和面向 对象两大主流分析方法为基础的需求分析建模技术，包括两种分析方法发展的 简史和主要思想，以及基于两种方法的分析模型的构成。并讨论了模型验证的 内容、两种方式：静态验证和动态验证的实现原理。一根据我国航天工业界软件 开发水平的现状以及飞行软件的特点，本文选择了一套结构化建模技术，以期 成为航天工业界的需求分析说明规范，同时，为了加速规范的推广，研制了一 并以设计框架为基础叙述了实现的技术途径。??诤教旆植际降ピ???开 发的需求分析阶段经过初步测试性使用：证实了它在辅助分析建模、模型验证 上所起的作用基本达到了预期的效果。， ?丶?謁 分析模型、模型验证静态验证动态验证计算机辅助工程需求 工程  、¨?，、 ???? ? ?? ???????? ???????瓵?? ?? ? ? ????????? ??? ???．?? ??????????? ?? ??? ???????，???? ?? ? ? ??????? ??????????? ???? ? ? ? ?? ???? ?????甌? ? ?????? ? ? ??／??? ? ????? ? ?????????????． ? ? ??????琑????? ?? ??? ???????? ??? ? ? ? ?? ???? ? ? ? ??? ? ? ?? ?????? ??????? ????? ?? ??? ? ???．?? ????? ?????? ? ? ??：??? ???? ? ? ? ????，?? ? ? ????? ????? ??? ? ????????? ????  ? ? ? ????． ? ?????保 畐?????? ???? ???琺????????，???  ⑧ 硕士学位论丈 ? ??? 引言 ?? 在计算机发展的初期，软件规模不大，软件开发所关注的是代码编写，需 求分析很少受到重视。随着系统规模的扩大，软件开发引入了生命周期的概念， 并且，人们逐渐从实践中认识到，作为第一阶段的需求分析与定义在整个软件 开发与维护过程中越来越重要，直接关系到软件研制的成功与否。由此，? 年代中期，在软件工程研究领域兴起了一个新的研究分支：需求工程 ?????? 随着计算机技术应用的日益广泛，在航天领域，计算机系统越来越多地被 应用于各种航天飞行器上，完成越来越复杂的功能，成为航天飞行器的大脑和 神经中枢。与此同时，计算机系统的复杂性日益增大而目前有关技术的尚未完 善，又使得计算机系统给航天飞行器的正常运行和可靠性、安全性带来很多隐 患。通过对航天计算机系统的软件所普遍存在着的错误进行分析，结合国外的 一些实际数据，我们清晰地看到，软件需求规格说???????? ??????? 常常是引起软件错误的重要来源，航天计算机系统软件开发过程中严格实施需 求工程的必要性越来越明显。制定一个在技术上和可推广性上适合于我国航天 工业界的需求分析说明规范，是需求工程实施的第一步。同时，为了加速规范 应用的推广，需要开发一套支持该规范的??工具，用来辅助分析人员开发 需求规格说明。 ??航天飞行软件的错误密度 目前在国内外航天飞行器上采用软件实现的功能越来越多，软件的规模也 越来越大。这一现象的形成，一方面是因为航天飞行任务越来越复杂，另一方 面是因为计算机技术??ㄓ布?⑷砑?的迅速发展所形成的。前者是需求牵引， 后者是技术推进。 采用软件来实现飞行器系统所需要的一些功能，有如下好处： 用软件实现功能的多样性、灵活性：飞行任务所需要的一些复加功能必须 。 用软件来实现。用软件实现的功能便于进设计后期进行修改。