软件工程习题

投入1元5角硬币 (1) (21) 退还5角硬币 E

?? 投入2元硬币 (2) (11) (22) 送出“可乐”饮料 ? 按“可乐”按钮 (3) (23) 送出“雪碧”饮料

? 按“雪碧”按钮 E (4) ? (12) (24) 送出“红茶”饮料 按“红茶”按钮 (5)

(2) 测试用例设计

输 入 投入1元5角硬币 投入2元硬币 按“可乐”按钮 按“雪碧”按钮 按“红茶”按钮 中间 结点 输 出 已投币 已按钮 退还5角硬币 送出“可乐”饮料 送出“雪碧”饮料 送出“红茶”饮料 (1) (2) (3) (4) (5) (11) (12) (21) (22) (23) (24) 1 1 0 1 0 0 1 1 0 1 0 0 2 1 0 0 1 0 1 1 0 0 1 0 3 1 0 0 0 1 1 1 0 0 0 1 4 1 0 0 0 0 1 0 0 0 0 0 5 0 1 1 0 0 1 1 1 1 0 0 6 0 1 0 1 0 1 1 1 0 1 0 7 0 1 0 0 1 1 1 1 0 0 1 8 0 1 0 0 0 1 0 0 0 0 0 9 0 0 1 0 0 0 1 0 0 0 0 10 0 0 0 1 0 0 1 0 0 0 0 11 0 0 0 0 1 0 1 0 0 0 0 测试用例 每一纵列为一个测试用例 【5-12】由shooman公式： ITMTTF? K(ET?EC(T)

5

其中，IT = 10，MTTF1 = 0.4，T1 = 160，n1 = 100，MTTF2 = 2，T2 = 320，n2 = 300。得： 100000IT0.4?MTTF1? K(ET?100)K(ET?EC(T1)

100000IT2?MTTF2?

K(ET?300)K(ET?EC(T2)

(1) 解得程序中固有得错误总数ET = 350，此外K = 1000。 (2) 设MTTF = 10，有

100000

10?1000(350?x)

- 解得x = 340。由可靠性累积曲线EC (t) = ET (1-eK1 t )，

- 得 100 = 350 (1-e160K1)

- 300 = 350 (1-e320K1)

-- 解得 K1 ? 0.01。代入：340 = 350 (1-eK1 t ) = 350(1-e0.01 t )

t = (ln(35))/0.01 ? 356 (小时) 因此求得为使MTTF = 10，测试和调试该程序需要花费356小时。 (3) MTTF与测试时间t之间的函数关系：

-- 因为EC (t) = ET (1-eK1 t )，则ET - EC (t) = ET eK1 t。代入shooman公式：

ITIT1000002???K(ET?EC(t))K?ETe?K1t1000?350e?0.01t7e?0.01t【5-13】在对照需求做有效性测试和软件配置审查时，是由软件开发者在开发环境下进行的测试。而接下来做验收测试时则以用户为主。软件开发人员和QA（质量保证）人员也应参加。由用户参加设计测试用例，使用用户界面输入测试数据，并分析测试的输出结果。一般使用生产中的实际数据进行测试。

如果软件是为多个客户开发的，则需要进行α测试和β测试。α测试是由一个用户在开发环境下进行的测试，也可以是公司内部的用户在模拟实际操作环境下进行的测试。软件在一个自然设置状态下使用。开发者坐在用户旁边，随时记下错误情况和使用中的问题。这是在受控制的环境下进行的测试。

β测试是由软件的多个用户在一个或多个用户的实际使用环境下进行的测试。这些用户是与公司签定了支持产品预发行合同的外部客户，他们要求使用该产品，并愿意返回有关错位错误信息给开发者。与α测试不同的是，开发者通常不在测试现场。因而，β测试是在开发者无法控制的环境下进行的软件现场应用。

MTTF?面向对象的软件工程

例题分析

【例1】请说明下面有关范型的叙述的正确答案。 (1) 问题的解决是基于规则的，它把有关问题的知识分解成一组具体规则，用语言的if_then等结构来表示这些规则。

(2) 问题的解决把软件视为由一系列步骤构成的算法。每一步骤都是带有预定输入和特定输出的一个过程，连贯起来产生合理的稳定的贯通于整个程序的控制流。

(3) 把一个问题分解成独立执行的模块。让不只一个程序(进程)同时运行。这些进程互相配合，解决问题。

(4) 把标识和模型化问题论域中的主要实体做为系统开发的起点，主要考虑对象的行为而不是必须执行的一系列动作。 供选择的答案： ① 面向存取 ② 面向对象 ③ 过程性 ⑥ 面向进程 ⑦ 说明型 ⑧ 原型 答案：(1) ④ (2) ③ (3) ⑥ (4) ②

④ 逻辑性 ⑤ 函数型

分析：逻辑性的范型把有关问题的知识分解成一组具体的规则，这些规则常常是用一种语言的“if_then”结构等来表示。过程性的范型产生过程的抽象，这些抽象把软件视为处理流，定义构成一系列步骤的算法，每一步骤都是带有预定义输入和特定输出的一个过程，把这些步骤串联在一起可产生合理的稳定的贯通于整个程序的控制流。面向对象范型把标识和模型化问题论域中的主要实体做为系统开发的起点，主要考虑对象的行为而不是必须执行的一系列动作。面向对象系统中的对象是数据抽象与过程抽象的一个混合体。表示这些实体的数据