文档介绍：捅要需求正确性验证方法⒍云浣辛松钊胙芯俊M保普飧龊诵奈侍猓信息技术的发展以及战争形态的变化,对一体化低车男枨笕找嫫惹校统顶层设计技术的指导和应用。需求工程作为系统开发的第一步,是后续开发阶段的基础和依据;正确确认系统的需求是成功开发低车墓丶胖实男枨罂以减少和尽量避免系统开发后期错误的出现及其给系统造成的高昂修正代价。需求本文针对低承枨笱橹の侍猓岢隽嘶谀P图煅橛敕抡娴腃系统深入分析了低承枨蠊娓裉逑怠系统需求验证任务体系这两个前导性治隽薈系统需求规格体系、低承枨笱橹と挝裉逑深入分析针对大规模信息系统的“系统需求哪诤胪庋樱隽艘惶酌魅证活动的层次、目的、实质及特点,给出需求验证活动模型;分析不同枨具体子任务项,亦即枨笱橹と挝裉逑怠⒘薓框图,提出了P筒⒔辛诵问蕉ㄒ在明确了以上两个基本问题之后,建立了椒ǖ淖芴蹇蛲迹⑿问蕉义了P停悍治龌谀P偷难橹し椒ㄔ贑系统需求验证任务体系中的定位和出发点;确定了以P臀:诵摹⒁曰赑模型检验和基于模型仿真两条路径为支柱的、分别针对低承灾市枨蟮目尚行砸约靶形P枨建模的部分,并对其对功能对象建模部分的语义进行精简和提取,提出模型;和共同构成P汀6訮辛诵问。芯苛嘶赑P图煅榈腃性质需求可行性验证方法基于应用研究考虑,选择基于转换的模型检验方法:将模型低车目7⒑徒ㄉ瑁又厥右孕枨蠊こ毯吞逑到峁辜际跷:诵牡腃系验证,作为需求工程单独列出的一个重要阶段和基本活动,其目的和结果正是为了得到优质的需求。的基础问题,并通过旅防空指挥信息系统的综合案例研究了方法的具体应用。本文的主要工作和成果包括以下几个方面:的定义;结合低车奶氐悖娣治鯟系统问题域需求、解系统需求以及项目需求应该包含的规格内容,并在描述形式上找出与疍体系结构框架产品的可能的对应关系,给出了一套完备的低承枨蠊娓裉逑怠F饰鲂枨笱规格进入到需求验证活动模型中的情况,得到了低承枨笱橹と挝袼的正确性进行验证的蛲肌;诒臼笛槭襉P停A羲允堤宥韵定义,为后续模型检验做好准备。国防科技大学研究生院博士论文第
转换为时间自动机网模型,利用已有较成熟的基于时间自动机的模型检验器对模型进行性质验证。模型到时间自动机的转换是其中的关键:研究了两种模型之间的对应关系,给出了详细的转换过程和步骤。然后通过分析并调整模型检验器的两个输入P陀胄灾市枨蠊的基点和验证点,将模型检验用于性质需求的可行性验证,给出了基于模型检验的低承灾市枨芯苛嘶赑P头抡娴腃行为需求正确性验证方法分析了需求描述模型和需求验证模型的区别,进而指出,将行为需求描述模型转换为可执行的行为需求验证模型,并通过对验证模型的执行和仿真来实现对描述模型的验证与分析,是行为需求语用层次正确性验证的一种有效手段。具体研究了基于序列图描述的低承形P枨蟮挠镉貌愦握沸匝橹ぃ渲兄饕Q芯苛诵列图到模型的转换:分析了两种模型的对应关系以及转换思路,给出了具体的转换算法,包括简单序列图转换算法和复合序列图转换算法两部分。在此基础通过旅防空指挥信息系统的综合案例详细阐述了如何运用基于哪P检验和模型仿真来验证系统的性质需求和行为需求:首先用旅防空指挥信息系统的型仿真的方法进行正确性验证:然后,以旅防空指挥信息系统的子系统——雷达干扰机系统为例,说明了如何利用基于模型检验的方法来验证系统层次的性质需求。案例研究证实了本文所提基于P图煅橛敕抡娴男枨笱橹し椒本文的研究工作对于深入研究低车男枨笱橹ぜ际酢⑻岣逤系统的需求开发质量提供了一定的研究基础,具有理论和实践意义。模型检验,仿真,需求规格体系,的验证方法的具体步骤。上,总结了基于模型仿真的行为需求验证方法的过程与步骤。芯苛嘶赑模型的需求验证方法的应用例子,说明了场景及其组合表示的作战层次的行为需求,如何运用基于模目捎眯院陀行浴主题词:需求验证,可行性验证,正确性验证国防科技大学研究生院博畚
琑..∞產甿.。,’匣甈第猯甌.,—.,,.,【哐’,
,..国防科技大学研究生院博士论文,甈—啊跫’......,
图目录需求工程中涉及的角色及其关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯需求工程过程的输入和输出⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯需求工程过程的螺旋模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯需求与体系结构在系统开发过程中的交叉关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯论文的研究思路、主要创新点及对应章节示意图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯问题域需求与解系统需求的来源示意图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯全系统各需求之间及其与涉众之间的关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..髡叫枨