《基于xUML可执行模型的C4ISR系统需求开发与验证方法研究》由会员分享，可在线阅读，更多相关《基于xUML可执行模型的C4ISR系统需求开发与验证方法研究（95页珍藏版）》请在金锄头文库上搜索。
1、国防科学技术大学硕士学位论文基于xUML可执行模型的CISR系统需求开发与验证方法研究姓名：付广胜申请学位级别：硕士专业：军事运筹学指导教师：陈洪浑20071201国防科学技术大学研究生院学位论文摘要C 4 I S R 系统需求工程是我军信息化建设的重要组成部分，需求验证是需求工程建设的重要环节，它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于x U M L 的需求开发与验证方法开展研究。首先介绍C 4 I S R 系统需求论证的背景，提出基于可执行模型的系统需求验证方法，总结了需求描述、验证以及可执行模型建立方法的国内外研究现状。而后研究了C 4 I S R 系统需求的概念和层次，
2、以及需求分析与需求验证的基本概念，总结了需求验证工作的主要内容组成，提出了基于可执行模型的需求验证过程，为需求开发与验证方法的研究提供了理论指导。论文将M D A 的思想引入到C 4 I S R 系统需求的开发中，提出了基于x U M L的需求规范化开发方法，使用x U M L 的各类图形实现需求的描述，建立了平台无关的需求模型。基于可执行模型的需求验证是验证需求模型动态特性的有效手段，论文针对C 4 I S R 系统需求各种模型的特点，分别加强了动作行为语义，绑定了性能参数，从而建立了C 4 I S R 系统需求可执行模型；根据C 4 I S R 系统需求行为和性能描述的特点，论文提出了基于
3、x U M L 可执行模型的C 4 I S R 系统需求行为完整性、正确性、可行性的验证方法和性能验证方法。最后，以海上护航编队防空指挥信息系统为背景，对论文提出的需求开发与验证方法进行了应用，验证了方法的合理性。主题词：C 4 I S R 系统，需求验证，可执行模型，x U M L第1 页鞠防科学技术大学研究生臻学位论文A B S TR A C TR e q u i r e m e n t sE n g i n e e r i n go fC 4 I S RS y s t e mi sa l li m p o r t a n tp a r to fM i l i t a r yI n f o
4、 r m a t i o n a lC o n s t r u c t i o n I ti su s e dt os t a n d a r d i z ea n ds u p p o r tt h ea c q u i r e m e n t ,d e s c r i p t i o n ，v e r i f i c a t i o na n dm a n a g e m e n to fm i l i t a r yi n f o r m a t i o n a lr e q u i r e m e n t s T h ev e r i f i c a t i o no fC 碡I S
5、Rs y s t e m Sr e q u i r e m e n t si sa ni m p o r t a n ta p p r o a c ho fr e q u i r e m e n t se n g i n e e r i n g t tC a ne f f i c i e n t l yr e d u c et h er i s kc a p i t a lo ft h ed e v e l o p m e n to fs y s t e m T h i st h e s i sm o s t l yr e s e a r c h e so nt h em e t h o do
6、 ft h e d e v e l o p m e n ta n dv e r i f i c a t i o no ft h eC 4 I S Rs y s t e m Sr e q u i r e m e n t s T h eb a c k g r o u n do ft h ea r g u m e n t a t i o no ft h eC 4 I S Rs y s t e m Sr e q u i r e m e n t si si n 拄o d u c e d T h em e t h o do ft h ev e r i f i c a t i o no ft h eC 4
7、I S Rs y s t e m Sr e q u i r e m e n t sb a s e do fe x e c u t a b l em o d e l si fp u tf o r w a r d T h ep r e s e n ts t a t e so ft h em e t h o d so fd e s c i p t i n ga n dv e r i f y i n gC 4 I S Rs y s t e m sr e q u i r e m e n t sa n db u i l d i n ge x e c u t a b l em o d e l sa r ec
8、 o n c l u d e d T h ef r a m e w o r ko fv e r i f i c a t i o no f 蛾eC 4 I S Rs y s t e m sr e q u i r e m e n t si sr e s e a r c h e d T h eb a s i cc o n c e p t so fr e q u i r e m e n t sa n a l y s i sa n dv e r i f i c a t i o n a r ei n t r o d u c e d t h ec o n t e n to fr e q u i r e m
9、e n t sv e r i f i c a t i o ni sc o n c l u d e d ，a n dt h ep r o c e s sm e t h o do f r e q u i r e m e n t sv e r i f i c a t i o ni sp u tf o r w a r d ，T h i st h e s i si n t r o d u c e st h ei d e ao fM D Ai n t ot h ed e v e l o p m e n to fC 4 I S Rs y s t e m Sr e q u i r e m e n t s ，a
10、 n dp r e s e n t st h es t a n d a r dm e t h o do ft h ed e v e l o p m e n to fC 4 I S Rs y s t e m Sr e q u i r e m e n t sb a s e do nx U M L I tu s e sd i a g r a m so fx U M Lt od e s c r i p tt h eC 4 I S Rs y s t e m Sr e q u i r e m e n t s ，a n db u i l dp l a n t f o r mi n d e p e n d e
11、 n tm o d e l s ( P I M ) T h ev e r i f i c a t i o no fr e q u i r e m e n t sb a s e do ne x e c u t a b l em o d e l sc a l le f f i c i e n t l yv e r i f yt h ed y n a m i cc h a r a c t e r i s t i c so fr e q u i r e m e n t sm o d e l s ，a n di fi n c l u d e st h ev e r i f i c a t i o no
12、fb e h a v i o ra n dp e r f o r m a n c eo fr e q u i r e m e n t s T h i st h e s i ss g e n g t h e n sa c t i v es e m a n t i co fe a c hC 碍I S Rs y s t e mr e q u i r e m e n t sm o d e l ，a n da f f i l i a t e sp e r f o r m a n c ep a r a m e t e r sw i t ht h e m ，a n dS Oc o n s t r u c t
13、 st h ee x e c u t a b l er e q u i r e m e n t sm o d e l so fC 4 I S Rs y s t e m T h et h e s i sp r e s e n t sam e t h o dt ov e r i f yt h ei n t e g r a l i t y ,c o r r e c t n e s s ，f e a s i b i l i t yo fb e h a v i o rr e q u i r e m e n t sa n dt h ep e r f o r m a n c er e q u i r e m
14、 e n t s A tt h ee n d ，o nt h eb a c k g r o u n do ft h ed e s i g no ft h ea e r i a ld e f e n c ec o m m a n da n dc o n t r o ls y s t e mo fc o n v o yf o r m a t i o n ，a na p p l i c a t i o ni sg i v e nt oi l l u s t r a t eh o wt ou s et h em e t h o d sp r e s e n t e di nt h et h e s i
15、 s K e yW o r d s ：C 4 I S RS y s t e m ，R e q u i r e m e n t sV e r i f i c a t i o n ，E x e c u t a b l eM o d e l s ， x U M L国防科学技术大学研究生院学位论文表目录衣日豕表3 1x U M L 四层元模型体系结构2 1表3 2x U M L 图形元素与C 4 I S R 系统需求元素对应关系表3 4表5 1 作战单元及作战活动表：6 9表5 2 警戒雷达对象状态转换表7 3表5 3 测试向量表7 4表5 4 系统延时与攻击强度关系表7 7第i v 页国防科学技术大学研究生院学位论文图目录图1 1 论文的组织结构与安排11图2 1C 4 I S R 系统需求层次关系图1 3图2 2 基于可执行模型C 4 I S R 系统需求验证过程的三阶段1 5图2 3 基于可执行模型的C 4 I S R 系统需求验证过程16图3 1x U M L 图形分类2 2图3 2C 4 I S R 系统需求开发的三阶段2 4图3 3C 4 I S R 系统需求的开发过程2 4图3 4C 4 I S R 系统作战概念需求
