(数理逻辑与软件工程)ASEChapter03SoftwareTest.ppt

A B C D E F G H 高级软件工程练习3 姓名 学号 为测试软件程序中的未知故障数, 采用植入故障测试方法, 我们植入50个故障, 经测试组测试发现了43个故障, 其中有40个是植入故障, 问未知故障数是多少? 2. 为测试软件程序中的未知故障数, 采用双组测试方法, 派两个组独立地测试该软件程序, 第一组发现 25 个故障,第二组发现 30 个故障, 其中有20 由两组共同发现的, 问未知故障数是多少? 4 5 1 2 3 E1 E3 E2 10 11 ∧ ∧ ∧ ~ ~ Cause-and-effect graph 高级软件工程练习3 设有原因效果图 如右, 根据这个 原因效果图设计 测试例, 把空的 输入表目添上. Decision table for cause-and –effect graph Test1 Test2 Test3 Test4 Test5 Case1 I S S X X Case2 S I S X X Case3 S S I X X Case4 I I I S X Case5 I I I X S Effect1 P P A A A Effect2 A A P A A Effect3 A A A P P I: invoke, true, S: suppress, false, X: don’t care A: absent, P: Present, 空置表目 Thank You The end of Chapter 3 边 * * * Cause and effect graph is a special graph. Its nodes is Basic events(called cause), intermediate events(incured by other events ) and effects( terminal results). Its edges have the following kinds A B If A then B C A B If (A and B) then C ∧ C A B If (A or B) then C ∨ C A B If not (A and B) then C ∧ ~ C A B If not (A or B) then C ∨ ~ A B If (not A) then B ~ Example Water-level monitoring system The system send a message to the dam operator about the safty of the lake level. Input function LEVEL(A, B) A: height of water, B: rainfall amount Procedure The function calculates whether the water le