软件设计实验指导书-3

《软件设计实验指导书-3》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、实验指导书实验一：白箱测试法实验1.实验内容：编写一个程序，循环从标准输入读入某雇员的工作时间(以小时计)和每小时的工资数，计算并输出他的工资。若雇员月工作小时超过40小时，则超过部分按原工资的1.5倍的加班工资来计算。若雇员月工作小时超过50小时，则超过50的部分按原工资的3倍的加班工资来计算，而40到50小时的工资仍按照原工资的1.5倍的加班工资来计算。2.实矗要求：分别用白箱测试方法中语句覆盖、判断覆盖、条件覆盖、判断-条件覆盖、条件组合覆盖、路径覆盖测试程序中的设计缺陷，给出测试用例和相应的测试结果。上述结果用实验报告表现。3.实验课时：2学时4.程序参考答案：#include<

2、iostream.h>doublemain()inthours;doublepayment,wage;cout«npleaseinputhoursandperhourpay:”；cin»hours»wage;if(hours<40)payment=hours*wage;else讦((hours>40)&&(hours<=50))payment=40*wage+(hours-40)*1.5*wage;elseif(hours>50)payment=40*wage+10*1.5*wagc+(hours・50)*3*wage;cout«nThefinalpaymentare:H«payment

3、;returnpayment;an实验二：黑箱测试法实验1.实验内容：编写一个程序，循环从标准输入读入某雇员的工作时间(以小时计)和每小时的工资数，计算并输出他的工资。若雇员月工作小时超过40小时，则超过部分按原工资的1.5倍的加班工资来计算。若雇员月工作小时超过50小时，则超过50的部分按原工资的3倍的加班工资来计算，而40到50小时的工资仍按照原工资的1.5倍的加班工资来计算。2.实命要求:分别用黑箱测试方法中等价分类和边界值方法测试程序中的设计缺陷，给出测试用例和相应的测试结果。上述结果用实验报告表现。3.实验课时：2学时4.程序参考答案：a)#include

4、>doublemain()inthours;doublepayment,wage;cout«Hpleaseinputhoursandperhourpay:'1;cin»hours»wage;if(hours<40)payment=hours*wage;elseif((hours>40)&&(hours<=50))paymem=40*wage+(hours-40)*1・5*wage;elseif(hours>50)payment=40*wage+10*1.5*wage+(hours-50)*3*wage;cout«HThefinalpaymentare:M«payment;returnpa

5、yment;1实验三：TTCN实验环境1TTCN套工具集合TelelogicTau由UML、SDL和TTCN工具集合构成，其屮TTCN集成了产生、编辑和管理TTCN文档的工具。1.1TTCN主窗口Organizer你可以在Organizer中通过增加一个TTCN文档或打开一个已经存在的TTCN文档來创建一个TTCN测试套。Organizer是TelelogicTau的主窗口，它集成和协调各种系统工具。Organizer可以同时使用儿种工具，例如，在设计的同时使用编辑工具进行分析。Organizer具有可视化的特点，它集成当前你设计屮的文档和图表于整个开发过程。这些文档和图表包括TTCN文

6、档、SDL层次结构图、消息顺序图、对彖模型图、状态图、高层MSC和文本文档等。这些试图可以按照你的偏好來组织。你可以在BrowseiTableEditor和Finder浏览、编辑和查找TTCN测试套的内容oBrowser提供了测试套的结构信息，TableEditor被用于编辑和查看TTCN表的内容，Finder被用于显示按照不同搜索条件所查找到的测试套屮的内容。Organizer屮的操作被记录下来，并使用LogManager进彳亍管理。1.2创建一个测试套你可以使用TableEditor来手工编辑动态行为表中的声明和约束，你也可以使用其它的方法完成上述部分工作，以便减少手工操作带来的错

7、谋。数据字典一个代替手工操作的方法是使川数据字典。通过使川数据字典，你可以选择系统组件。例如PCOs、类型、约束和时间变量，你也可以使用他们创建行为声明。SDL与TTCN连接SDL与TTCN连接与数据字典的使用比较相似,所不同的是你可以在SDLtoTTCNlink中创建TTCN声明和基于SDL说明交互产生行为表。AutolinkAutolink支持白动牛成TTCN测试套的声明、约束和动态行为表。其牛-成的上述说明的基础是SDL说明和