软件工程教案4(第三章)

《软件工程教案4(第三章)》由会员分享，可在线阅读，更多相关《软件工程教案4(第三章)（84页珍藏版）》请在装配图网上搜索。

1、,,*,,,,,,,,,,,,,,,,,,,,,,Click to edit Master title style,,Click to edit Master text styles,,Second Level,,Third Level,,Fourth Level,,Fifth Level,,3.3,需求建模,模型的作用,建模的原因：,,在建模过程中了解系统,,通过抽象降低复杂性,,有助于回忆所有的细节,,有助于开发小组间的交流,,有助于与用户的交流,,为系统的维护提供文档,,,,模型化或模型方法是通过抽象、概括和一般化，把研究的对象或问题转化为本质（关系或结构）相同的另一对象或问题，从而加以

2、解决的方法。模型化方法要求所建立的模型能真实反映所研究对象的整体结构、关系或某一过程、某一局部、某一侧面的本质特征和变化规律。,模型的类型,数学模型,,描述模型,,图形模型,需求分析的步骤,,当前,,系统,,目标,,系统,,物理,,模型,,逻辑,,模型,,逻辑,,模型,,物理,,模型,模型化,抽象化,具体化,实例化,怎,,么,,做,做,,什,,么,当前,,系统,目标,,系统,需,,求,,定,,义,,逻辑模型和物理模型,,,模型是对对象系统的形式化的特征,,抽象，概括性或近似地表示；,,,,构造模型的过程是一个抽象、分,,析的过程。,,对象,,系统,,模型,,系统,抽象,（映射）,模型应用,模型

3、构造的过程,,逻辑模型 物理模型,,,(,本质模型、概念模型,),,(,实施模型、技术模型,),现,,行,,系,,统,目,,标,,系,,统,描述重要的业务功能，无论系统是如何实施的。,描述现实系统是如何在物理上实现的。,描述新系统的主要业务功能和用户新的需求，无论系统应如何实施。,描述新系统是如何实施的（包括技术）。,需求分析过程示意,,学,,生,(1),通过对现实环境的调查，,,,获得当前系统的物理模型,,,,,,,,学,,生,购,,书,,申,,请,购书,,单,发,,票,领,,书,,单,书,,107,,张,教务科,206,,王,会计室,206,,李,出纳员,303,,赵,教材科,

4、学生购买教材的物理模型,需求分析过程示意,(2),去掉具体模型中的非本质因素，,,,抽,象,出当前系统的逻辑模型,,,,学生购买教材的逻辑模型,,学,,生,,,,,学,,生,购,,书,,申,,请,购书,,单,发,,票,领,,书,,单,书,,审查,,有效性,开发票,开领,,书单,发书,需求分析过程示意,(3),分析当前系统与目标系统的差别，,,,建立目标系统的逻辑模型,,,,计算机售书系统的逻辑模型,,学,,生,,,学,,生,购书单,发票,领书单,,审查并,,开发票,开领,书单,,无效书单,分析阶段中常用的模型（逻辑模型）,数据流图（,DFD,）,,实体,―,联系图（,ERD,）,,类图,,实例

5、图,,时序图,,状态图,,协作图,,事件列表,,数据流定义,,数据元素定义,,,……,SafeHomede,的第,1,层,DFD,,控制,,面板,,与用户,,交互,,控制,,面板,,显示,密码,电话号码拨音,传感器状态,显示信息,配置请求,用户命令,,和数据,,配置,,系统,,警,,铃,,电,,话,,线,,传感器,配置信息,,显示信息,,和状态,,监控,,传感器,,激活／不,,激活系统,传感器信息,,密码,,处理,警告类型,检验,id,信息,开始,,停止,状态信息,,,,,,,,,,客户,,,,,,保险销售人员,,签订一份,,保险单,,销售统计,,客户统计,使用用例图举例,,状态图,,,,,,

6、例：,,,,状态,1,Do:,活动,1,,状态,2,.…...,,事件,1[,条件,1] /,动作,1,结束,,事件,初始,,事件,,,,空闲,,可视菜单,左边按钮按下,/,显示弹出菜单,左边按钮弹起,/,擦除弹出菜单,,光标移动,/,高亮菜单项,,弹出菜单动作,,,接电话的顺序图,,：,,,受话者,,交换机,,远程交换机,,受话者,,,,,,,,,,,,,拿起话筒,听通话声,拨号码,......,铃响信号,铃响,铃响停止信号,,拿起话筒,铃响停止,,,<10,,d,e,a,b,c,{b-a<1},{e-d<5},{c-b<10},,,路径,,,合作图举例,,,,,,,,,,,,,,,,,

7、,,打印机忙,,保存打印文件,,队列,,,,计算机,,,,打印机空闲,,,打印文件,,,,,,打印机,,,打印服务器,,打印文件,,,电梯,状态图举例,,,,,,,在一楼,,,,,,上升,,停滞,,,下降,,,回到一楼,,,,,,,回一楼,,想要到,,达楼层,,,,想要到,,达楼层,,电梯行程,,开始,向上,向上,向下,F1:,航班信息文件,＝,{,航空公司名称＋航班号,,＋起点＋终点＋日期 ＋起飞时间＋降落时间,},,航空公司名称＝,2{,字母,}4,,,航班号＝,3{,十进制数字,}3,,,字母＝,“,A,”…“,Z,”,,十进制数字＝,“,0,”…“,9,”,,起点＝

8、终点＝,1{,汉字,}10,,,起飞时间＝降落时间＝时＋分,,时＝,“,00,”…“,23,”,,,分＝,“,00,”…“,59,”,,,日期＝年＋月＋日,,年＝,[2000,｜,2001,｜,2002,｜,2004],,,月＝,“,01,”…“,12,”,,,日＝,“,01,”…“,31,”,§3.4,分析建摸方法,结构化分析,(,传统建模方法,),,面向对象分析,§3.4.1,结构化分析方法,(Structured Analisys,,SA,),,基于数据流技术的分析方法,,,需求获取应遵循的三条基本原则：,,,分解,,抽象,,投影,分析模型的主要目标,描述用户需要,,建立创建软件设计的

9、基础,,定义软件完成后可被确认的一组需求,,分析模型的结构,,,数据,,字典,数据,,流图,E-R,图,状态,变,迁图,加,工,规,约,控制规约,数,据,对,,象,描,,述,分析模型的元素,数据字典,(DD),：,模型核心,(,中心库,),,E-R,图,(ERD),：,,数据流图,(DFD),,,指明数据在系统中移动时如何被变换,;,,描述对数据流进行变换的功能,;,,DFD,中每个功能的描述包含在加工规约,,,(,小说明,),。,,状态变迁图,(STD),,,指明作为外部事件的结果,,,系统将如何,,动作。,3.4.3,数据建模,E-R,图是数据建模的基础,将分析模型转换为软件设计,,,数据

10、,,字典,数据,,流图,E-R,图,状态变迁图,加,工,规,约,控制规约,数,据,对,描,,述,象,,数 据 设 计,体系结构设计,接口设计,过程设计,,,,,,,,,分析模型,设计模型,将设计模型,,金字塔倒立,,的后果是什么？,,数 据 设 计,体系结构设计,接口设计,过程设计,讨论要点,SA,方法建立功能模型的描述方法,,,DFD,,DD,,,其他描述方法,3.4.4,功能建模和信息流,,,,,基于,,计算机,,的系统,输入信息,信息流模型,输出信息,,外部实体,,,外部实体,,,外部实体,输入信息,,,外部实体,,,外部实体,输出信息,输出信息,一,.,数据流图,,(,DFD,，,D,

11、ata,F,low,D,iagram),,,描述逻辑模型的图形工具， 表示数据在系统内的变化。,,,,实例,,考务处理系统功能,,(1),对考生送来的报名单进行检查,;,,(2),对合格的报名单编好准考证号后将准考证送给考生，并将汇总后的考生名单送给阅卷站,;,,(3),对阅卷站送来的成绩单进行检查，并根据考试中心制定的合格标准审定合格者,;,,(4),制作考生通知单,(,含成绩及合格,/,不合格标志,),送给考生,;,,(5),按地区进行成绩分类统计和试题难度分析，产生统计分析表。,顶层数据流图,,考,,生,,,考务,,处理系统,考,,试,,中,,心,,阅卷站,不合格报名单,报名单,准考证,

12、考生通知单,成,,绩,,清,,单,合格标准,错误成绩,,清单,考生名,,单,统计分析表,,登记,,报名单,报名单,准考证,1,,统计成绩,2,不合格,,报名单,考生通知单,成,统计分析表,0,层,数据流,图,考生名册,绩,清,单,合,,格,,标,,准,考生名,,单,成,绩,清,单,错,误,一层数据流图,(a),,检查,,报名单,报名单,准考证,1.1,,编准考证号,1.2,不合格,,报名单,考生名册,考生名单,合格,,报名单,,登记,,考生,1.3,一层数据流图,(b),,检查,,成绩清单,2.1,,审定,,合格者,2.2,考生名册,正确,,成绩清单,,制作,,通知单,2.3,,分析,,统计成

13、绩,2.4,,分析,,试题难度,2.5,试题得分清单,考生,,通知单,难度,,分析表,合格,,标准,分类,,统计表,成绩清单,错误,,成绩清单,经审定的,,成绩清单,,,DFD,可以用来表示一个系统或软件在任何层次上的抽象。,,较大型软件系统,DFD,分成多层,(,子图、父图概念,),,可以表示数据流和功能的进一步的细节。,,,S,,,2,,1,,3,,,2.2,,2.1,,2.3,,,3.1,,3.2,,,,顶层,,（不编号）,0,层,1,层,,数据流和控制流举例,,（使用,Ward,和,mellor,符号）,,监控固件和,,操作接口,每个固件状态,动作,,警告,,机器人初始化控制,操作命令

14、,部件状态缓冲器,位置,,命令,开始,/,停止,,处理,,机器人命令,机器人命令文件,操作,,设置,处理活动,记录机器人动作,位串,数据和控制模型的关系,,DFD,加工规约,加工模型,,DFD,控制规约,控制模型,数据输出,数据条件,数据输入,控制输入,控制输出,加工,,激活者,SafeHomede,控制面板,,与用户,,交互,SAFEHOME,ARMED POWER,,,,,01,,,1,,2,,3,,4,,5,,6,,7,,8,,9,,*,,0,,#,OFF ARAY STAY,MAX TEST BYPASS,INSTANT CODE CHI

15、ME,READY,panic,alarm,,check,,fire,away,,stay,,instant,,bypass,,not ready,SafeHomede,的第,0,层ＤＦＤ,,,,SafeHomede,,软件系统,用户命令,,和数据,显示信息,,,控制面板,,,传感器,传感器,,状态,,,警铃,,电话线,警告类型,电话号码,,拨音,控制面板显示,SafeHomede,的第,1,层,ＤＦＤ,,控制,,面板,,与用户,,交互,,控制,,面板,,显示,密码,电话号码拨音,传感器状态,显示信息,配置请求,用户命令,,和数据,,配置,,系统,,警,,铃,,电,,话,,线,,传感器,配置信息

16、,,显示信息,,和状态,,监控,,传感器,,激活／不,,激活系统,传感器信息,,密码,,处理,警告类型,检验,id,信息,开始,,停止,状态信息,监控传感器的第,2,层,ＤＦＤ,电话号码拨音,传感器状态,配置数据,,显示格式,配置信息,,产生警告,,信息,,拨号,,评估设置,传感器信息,,读传感器,警告类型,传感器,id,类型,传感器,id,,类型定位,SafeHomede,的第一层ＣＦＤ,,控制,,面板,,与用户,,交互,,控制,,面板,,显示,显示活动状态（完成、在处理中）,,配置,,系统,,警,,铃,,电,,话,,线,,传感器,配置信息,,显示信息,,和状态,,监控,,传感器,,激活／不

17、,,激活系统,警告,,信号,,密码,,处理,传感器,,事件,警告,,状态,超时,闪烁标志,开／关切换,SafeHomede,的状态变迁图,读用户,,输入,超时,监视系统,,状态,传感器,,事件行为,显示用户反馈,与,“,用户交互,”,有关,开关,/,切换,与,“,监视,&,控制系统,”,有关,显示活动状态,与,“,用户交互,”,有关,传感器事件,与,“,显示信息,&,状态,”,有关,与,“,监视,&,控制系统,”,有关,传感器事件,传感器事件,与,“,监视,&,控制系统,”,有关,传感器事件,与,“,显示信息,,&,状态,”,有关,闪烁,与,“,显示信息,&,状态,”,有关,二,.,数据字典,

18、(,DD,，,DataDictionary),,DD,是对所有与系统相关的数据元素的一个有组织的列表,,,以及,精确的、严格的定义,，使得用户和系统分析员对于输入、输出、存储成分和中间计算有共同的理解,,,,数据字典的作用,DFD,中的数据流、数据存储表示某个有组织的数据集合，它们要由,SA,的其他描述工具,-,需求字典,(,数据字典,),来描述,，包括：,,词条描述,,数据结构描述,,加工逻辑说明,DD,中数据结构的描述方式,,定义式,,,Warnier,图,,巴科斯范式（,BNF,）,F1:,航班信息文件,＝,{,航空公司名称＋航班号,,＋起点＋终点＋日期 ＋起飞时间＋降落时间,},,航空

19、公司名称＝,2{,字母,}4,,,航班号＝,3{,十进制数字,}3,,,字母＝,“,A,”…“,Z,”,,十进制数字＝,“,0,”…“,9,”,,起点＝终点＝,1{,汉字,}10,,,起飞时间＝降落时间＝时＋分,,时＝,“,00,”…“,23,”,,,分＝,“,00,”…“,59,”,,,日期＝年＋月＋日,,年＝,[2000,｜,2001,｜,2002,｜,2004],,,月＝,“,01,”…“,12,”,,,日＝,“,01,”…“,31,”,,重复项：,起点＝终点＝,1{,汉字,}10,,,航空公司名称＝,2{,字母,}4,,,航班号＝,3{,十进制数字,}3,,,,组合项：,日期＝年＋月

20、＋日,,,起飞时间＝降落时间＝时＋分,,选择项：,年＝,[2000,｜,2001,｜,2002,｜,2004],,,原数据项：,字母＝,“,A,”…“,Z,”,,,十进制数字＝,“,0,”…“,9,”,,,时＝,“,00,”…“,23,”,,,分＝,“,00,”…“,59,”,,,月＝,“,01,”…“,12,”,,,日＝,“,01,”…“,31,”,,定义式中使用的符,,操作符 含义描述,,,＝ 定义为,,＋ 与,(,顺序结构,),,,｛,...,｝ 重复,(,循环结构,),,〔..,｜,..〕,或,(,选择

21、结构,),,〔.. , .. 〕,,( ... ),任选,,,m..n,界域,,＊,...,,＊ 注释符,,限制重复次数举例,:,｛,3,5,或,5,3,｛ ｝,表示允许重复,3-5,次,｛ ｝,3,3,或,3,3,｛ ｝,表示恰好重复,3,次,｛ ｝,｛ ｝,｛ ｝,1,表示至少出现,1,次,表示允许重复,0,至任意,次,数据流条目,给出,DFD,中某个数据流的定义，,,通常包括：,,数据流标识,,数据流来源,,数据流去向,,数据流的数据组成,,流动属性描述：频率、数据量,购,,书,,单,发票,领书,单,审查并,,开发票,开领,,书单,无效书单,,学生,1,2,各班学生,,用

22、书 表,举例：,,,,学生,教材存量表,数据流条目说明举例,数据流名,:,发票,,别名,:,,无,,简述,:,,学生购书时填写的项目,,来源,:,,学生,,去向,:,,加工,1“,审查并开发票”,,组成,:,(,学号,),＋姓名＋｛书号＋数量｝,,数据流量,:,1000,次,/,周,,,高峰值：,开学期间,1000,次,/,天,,数据存储条目,(,数据文件词条,),对某个文件的定义，包括：,,,文件名,,描述,,数据结构,,数据存储方式,,关键码,,存取频率和数据量,,安全性要求,数据存储条目说明举例,文件名,:,库存记录,,别名,:,无,,简述,:,存放库存所有可供货物的信息,,组成,：,货

23、物名称＋编号＋生产厂家,,＋单价＋库存量,,组织方式,：索引文件，以货物编号为,,关键字,,查询要求,:,要求能够立即查询,数据项条目,(,数据元素词条,),不可再分解的数据单位，包括：,,,名称,,描述,,数据类型,,长度,(,精度,),,,取值范围及缺省值,,计量单位,,相关数据元素及数据结构,数据项条目说明举例,数据项名,:,货物编号,,别名,:,G-No,G-num,,简述,:,本公司的所有货物的编号,,类型,:,字符串,,长度：,10,,取值范围及含义,:,,,第,1,位：,[J,｜,G] (,进口,/,国产,),,,第,2∼4,位：,LB01.. LB29 (,类别,)

24、,,,第,5∼7,位：,“,A00,”,..,“,A99,”,(,规格,),,,第,8∼10,位：,“,001,”,..,“,999,”,(,品名编号,),F1:,航班信息文件,＝,{,航空公司名称＋航班号,,＋起点＋终点＋日期 ＋起飞时间＋降落时间,},,航空公司名称＝,2{,字母,}4,,,航班号＝,3{,十进制数字,}3,,,字母＝,“,A,”…“,Z,”,,十进制数字＝,“,0,”…“,9,”,,起点＝终点＝,1{,汉字,}10,,,起飞时间＝降落时间＝时＋分,,时＝,“,00,”…“,23,”,,,分＝,“,00,”…“,59,”,,,日期＝年＋月＋日,,年＝,“,00,”…“,99

25、,”,,,月＝,“,01,”…“,12,”,,,日＝,“,01,”…“,31,”,存折,＝户名＋所号＋帐号＋开户日期＋性质,,＋（印密）＋,1{,存取行,}50,,户名＝,2{,字母,}24,,所号＝“,001”..“999”(,注：储蓄所编码，,,规定三位数字,),,帐号＝“,00000001”..“99999999”,,(,注：帐号规定由八位数字组成,),,开户日期＝年＋月＋日,,性质＝“,1”..“6”(,注：“,1”,表示普通户，,,“,5”,表示工资户等,),,印密＝“,0”(,注：印密在存折上不显示,),,存取行＝日期＋（摘要）＋指出＋存入＋余额,,＋操作＋复核,年＝,[2001

26、,｜,2002,｜,2003,｜,2004],,月＝,“,01,”,..,“,12,”,,,日＝,“,01,”,..,“,31,”,,摘要＝,1{,字母,}4(,注：表明该存取是存？是取？,,还是换？,),,支出＝金额,(,注,:,金额规定不超过,9999999.99,元,),,存入＝金额,,余额＝金额,,金额＝,“,0000000.01,”,..,“,9999999.99,”,,操作＝,“,00001,”,..,“,99999,”,,复核＝,“,00001,”,..,“,99999,”,,字母＝,[“a”..“z”,｜,“,A,”,..,“,Z,”,],,购书单,缺书,单,销售,采购,1,

27、2,第二层,DFD(,０层,),教材购销系统,,,教材存量表,,学,,生,F1,缺书登记表,F2,,书库,,保,,管,,员,进书通知,教材入,,库信息,领书单,DF01-10,DF20-02,销售,采购,1.0,2.0,第二层,DFD(,０层,),教材购销系统,,,教材存量表,,学,,生,F1,缺书登记表,F2,,书库,,保,,管,,员,DF02-20,DF20-10,DF10-01,1,2,XSMD,CGMD,,,DD,数据流条目说明举例,〔,图号,〕,,DF01-10 /*,有效购书单*,/,,DF01-10 =,学号＋姓名,,＋,{,书号＋数量,},,加工条目,(,加工逻辑说明,),

28、,加工类条目即数据处理描述，也称为,小说明,。描述实现加工的策略而不是实现加工的细节。,,小说明可认为是,DD,的组成部分。,,也可在,DD,中定义只说明每个加工的组,,成,(,每个处理分解成多少小处理,),,而在,,小说明中详细描述它的处理逻辑,.,加工条目,(,加工逻辑说明,),,加工逻辑名,:,登记报名单,,编号：,1.0,,,激活条件：收到报名单,,加工逻辑,：,{1.1,检查报名单,,,+ 1.2,编准考证号,,,+ 1.3,登记考生,},,,执行频率：,2000,次,/,日,ＤＤ定义方法,找出所有数据元素,,(,数据流，数据存储，数据项，加工,),,对数据项分类,,作结构定义,,排

29、序,,DD,的分类,,DD,中的命名,(,遵守系统开发规范规定,),,DD,的实现,(1),人工方法,,(2),自动方法,(,利用字典管理程序,),DD,应具特点,,(1),通过名字可方便查阅数据定义,,(2),无冗余,,(3),易更新修改,,3.,小说明,(,加工逻辑说明的另一种形式,),描述的内容：,,(1),处理逻辑,,描述基本加工如何把输入数据流变化为输出数据流的加工原则，不涉及具体处理方法。,,(2),执行条件,,(3),输入,,(4),输出,,(3),优先级,,(4),执行频率,,(5),出错处理对策,小说明举例,,加工名,:,分类采购,(CG111MD),,编号,,加工激活条件,

30、:,受到图书采购员分类,,采购操作命令,,加工逻辑,: (1) 1.1.1.1,预定图书,,,(2) 1.1.1.2,外采图书,,,(3) 1.1.1.3,赠送图书,,执行频率,:,随时,小说明举例,,处理名,:,月票额统计,(MHCW713MD),,编号,,激活条件,:,收到每日售票额信息,,处理逻辑,:1,统计月保险金总合,,月保险金信息,=,每日日保险,,金信息之和,,,2,统计月合计,,月合计信息,=,每日日合计信息之和,,执行频率,: 1,次,/,月,描述加工逻辑的工具：,,结构化语言,,判定表,,判定树,结构化语言,,介于自然语言和形式语言之间的语言,,结构化语言的特点：,

31、,无确定语法,,可分层、嵌套,处理名,:,核实订票处理,(MHGP3200MD),,编号,: 3.2,,激活条件,:,收到取订票信息,,处理逻辑,:1,读订票旅客信息文件,,,2,搜索此文件中是否有与输入信息,,中姓名及身份证号相符的项,,,IF,,有,,,THEN,,判断余项是否与文件中信,,息相符,,,IF,,是,THEN,,输出已订票信息,,,ELSE,,输出未订票信息,,,ELSE,,输出未订票信息,,执行频率,:,实时,判定表,(,决策表,),描述多条件、多目标动作的形式化工具,判定表举例,(,计算机票折扣率,),旅游时间,订 票 量,折 扣 量,7,－,9,，,12,月,≤20,

32、≤20,> 20,> 20,15%,5%,20%,30%,条件类别,,,四种条件组合,操作,条件组合下操作的执行,,1,－,6,10,11,月,处理名,:,计算折扣率,(MHGP534MD),,编号,,激活条件,:,收到预订票信息,,处理逻辑,:,计算折扣率,,,,,,,,,执行频率,:,实时,,,,,,旅游时间,订 票 量,折 扣 量,7,－,9,，,12,月,1,－,6,10,11,月,≤20,≤20,> 20,> 20,15%,5%,20%,30%,判定树,(,Decision,,决策树,),,条件,1,,条件,2,结果,,计,7,－,9,,,订票量,>20,:,,15%,,算,12,月

33、,,订票量≤,20,:,5%,,折,,扣,1,－,6,,,订票量,>20,:,30%,,量,10,11,月,,订票量≤,20,:,5%,,,,二,.,结构化分析实施步骤,1.,确定系统边界,,,画出系统环境图,,2.,自顶向下，画出各层数据流图,,3.,定义数据字典,,4.,定义小说明,,三,.,需求规格说明书,(,SRS,),,(,S,oftware,R,equirement,S,pecification,),,需求分析阶段要完成的文档。,,,SRS,的作用：,,开发者与用户间事实上的技术合同书,,开发者下一步设计和编码的基础,,测试验收目标系统的依据,SRS,大纲（模板）,,引言,,任务概

34、述,(,项目概述,),,,数据描述,(DFD,、,DD),,,功能描述,,接口,,性能需求,,属性,,其它需求,三,.,需求验证,(1),正确性,,(2),无二义性,,(3),完整性,,(4),可验证性,,(5),一致性,,(6),可理解性,,(7),可修改性,,(8),可被跟踪性,,(9),可跟踪性,,(10),设计无关性,,(11),注释,需求文档的陈述与改进举例（,1,）,,产品必须在固定的时间间隔内提供状态消息，并且每次时间间隔不得小于,60,秒。,,后台任务管理器,(,BTM,),应该在用户界面的指定区域显示状态消息。,,,a.,,在,后台任务进程启动之后，消息必须每隔,60(,1

35、0,),秒更新一次，并且保持连续的可见性。,,,b.,,如果正在正常处理后台任务进程，那么后台任务管理器,(,BTM,),必须显示后台任务进程已完成的百分比。,,,c.,,当完成后台任务时,，,后台任务管理器,(,BTM,),必须显示一个,“,已完成,”,的消息。,,,d.,,如果后台任务中止执行，那么,后台任务管理器,(,BTM,),必须显示一个出错信息。,需求不完整，,,导致需求不可验证,,,,改,,进,,需求文档的陈述与改进举例（,2,）,,产品必须在显示和隐藏非打印字符之间进行瞬间切换。,,用户在编辑文档时，通过激活特定的机制，可以在显示和隐藏所有,HTML,标记之间进行切换。,需求不可行、不完整、,,不确定性，导致需求,,不可验证,,,,改,,进,,