Object-Z 规格说明的SQL 动画模拟.pdfVIP

计算机科学%$’()* #+,* + ） !#$%’( 规格说明的)*+ 动画模拟! 周 静 缪淮扣 （上海大学计算机工程与科学学院 上海%$% ） 摘 要 软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的 确认方法。本文研究了-./01234 规格说明的567 动画模拟方法，设计了从-./01234 到567 的转换规则，并提出了模块封 装的思想，即用存储过程表示类、对象和模式等模块，用户通过调用执行存储过程确认规格说明是否满足其需求。 关键词 -./01234 ，规格说明，确认，567 ，动画模拟 ,-$ ./01203/ 34 !#$%’( )5$%040%203/ 0/ )*+ 48-9 :;= ?@- 8AB;3C(A （D())0=0 (E D(FGA20H I=;00H;= BJ 51;010 ，5KB=KB; 9;L0HM;2N ，5KB=KB; %$% ） .672% OK0 LB);JB2;( (E 2K0 M(E2PBH0 MG01;E;1B2;( K()JM 2K0 .B)B10 JAH;= 2K0 M(E2PBH0 J0L0)(GF02Q OK0 B;FB2;( 201K()3 (=N (E 2K0 E(HFB) MG01;E;1B2;( ;M B R;J (E 2K0 LB);JB2;( F02K(JMQ OK0 GBG0H M2AJ;0M 2K0 B;FB2;( (E -./01234 MG01;E;1B2;( ; 567，BJ J0M;=M 2K0 HA)0M (E 2K0 2HBME(HFB2;( EH(F -./01234 2( 567 ，;2 BJLB10M 2K0 ;J0B (E 2K0 F(JA)0 01BGMA)B2;( BM P0)) ， BF0)N J0(20M 1)BMM ，(./012 BJ M1K0FB 021Q F(JA)0M P;2K M2(HB=0 GH(10JAH0 ，2K0 AM0H 1B LB);JB20 PK02K0H 2K0 MG01;E;1B2;( MB2;MEN 2K0;H H0SA;H0F02 2KH(A=K 0T01A2;= 2K0 M2(HB=0 GH(10JAH0MQ 8$9:37;6 -./01234 ，5G01;E;1B2;( ，’B);JB2;( ，567 ，@;FB2;( 情况，以此确定所描述的规格说明是否与用户需求相一致。动 ! 引言 画模拟的过程如图U 所示。 随着信息技术的不断发展，计算机已广泛应用于社会的各 目前，国内外已有一些相关的研究工作，已有几种不同的 个领域，人们愈来愈重视软件的质量。大量软件项目开发的事 方法将规格说明转换成用VH()(= 、0H1AHN 、8BMR0)) 、:BLB 等语言 实表明：大部分的软件开发费用是用于纠正在测试阶段发现的 所编写的可执行程序。针对不同的动画模拟策略已开发出相 各种错误，而这些错误中的很大一部分是由需求分析阶段对规 应的动画模拟工具。例如， 格说明描述不精确引起的。为了克服采用自然语言和程序设 W43OO［X ］：实现对W 规格说明的动画模拟，它从初始状态 计语言描述规格说明的缺陷，人们提出了