【正文】 5） 轉(zhuǎn)換時(shí)間 (1) 語(yǔ)義 消息可以指定幾個(gè)不同的時(shí)間 （ 例如 ， 發(fā)出時(shí)間和接受時(shí)間 ） 。 這些時(shí)間可以用在約束表達(dá)式中 。 用 戶 可 以 按 需 要 為 特 定 的 目 的 給 出 時(shí) 間 表 達(dá) ， 如elapsedTime（ 占用時(shí)間 ） 和 startExecutionTime（ 開始執(zhí)行時(shí)間 ） 。 可以在約束中使用這些表達(dá)式 ， 以給消息指派有效的具體時(shí)間約束 。 (2) 表示法 可以賦予消息一個(gè)名字 。 把時(shí)間約束寫成為一個(gè)基于消息名 字 的 表 達(dá) 式 。 例如 ， 如 果 消 息 的 名 字 是 stim ， 用()表示發(fā)送時(shí)間 ， 用 ()表達(dá)接收時(shí)間 。 可以把時(shí)間約束表示在與箭頭對(duì)齊的圖的左邊上 ，也可以通過把布爾表達(dá)式 （ 可能包括時(shí)間表達(dá)式 ） 放在括號(hào)中表示約束 。 狀態(tài)圖 狀態(tài)圖用于描述模型元素 （ 如對(duì)象 ） 的行為 。 特別是 ， 用它描述元素之狀態(tài)的可能序列和動(dòng)作的可能序列 。 因?qū)μ囟ㄊ录?（ 如信號(hào)和操作調(diào)用 ） 的響應(yīng) ，元素在其生命期中要經(jīng)歷這樣的狀態(tài) ， 并執(zhí)行相應(yīng)的動(dòng)作 。 1 ) 狀態(tài)圖 (1) 語(yǔ)義 通過描述對(duì) 事件實(shí)例 接收的響應(yīng) ， 狀態(tài)圖描述了具有動(dòng)態(tài)行為能力的實(shí)體之行為 。 通常用狀態(tài)圖描述類的行為 ， 也可以用它描述其它模型實(shí)體 （ 如用況 、 參與者 、 子系統(tǒng) 、 操作或方法 ） 的行為 。 (2) 表示法 狀態(tài)圖是表示狀態(tài)機(jī)的圖 。 用適當(dāng)?shù)臓顟B(tài)表示狀態(tài)機(jī)圖中的狀態(tài)；一般地 ， 用連接狀態(tài)的有向弧表示轉(zhuǎn)換 。 (3) 實(shí)例 簡(jiǎn)單的電話狀態(tài)的轉(zhuǎn)換 其中： 狀態(tài) 轉(zhuǎn)換 Ringing 事件 2)狀態(tài) (1) 語(yǔ)義 一個(gè)狀態(tài)是對(duì)象在其生命期內(nèi)的一個(gè)條件 ， 或在對(duì)象滿足某個(gè)條件 、 進(jìn)行某個(gè)動(dòng)作或等待某個(gè)事件的期間內(nèi)的一個(gè)交互 。 在概念上 ， 對(duì)象要在一個(gè)狀態(tài)內(nèi)維持一段時(shí)間 。 在這一語(yǔ)義下 ， 可以對(duì)瞬時(shí)狀態(tài)建模 ， 以及對(duì)非瞬時(shí)的交互建模 。 (2) 表示法 把一個(gè)狀態(tài)表示成一個(gè)四角均為圓角的矩形 。 根據(jù)需要 ， 可以把狀態(tài)劃分成由水平線相互分隔的多個(gè)分欄： ?名稱分欄 給出狀態(tài)名 。 在同一張狀態(tài)圖里不應(yīng)該出現(xiàn)具有相同名稱的狀態(tài) 。 如果沒有狀態(tài)名稱 ， 那么該狀態(tài)就是匿名的 。 同一張圖中的匿名狀態(tài)是各不相同的 。 ?內(nèi)部轉(zhuǎn)換分欄 給出在這個(gè)狀態(tài)中對(duì)象所執(zhí)行的內(nèi)部動(dòng)作或活動(dòng)的列表 其一般格式為： 動(dòng)作標(biāo)號(hào) ’ /? 動(dòng)作表達(dá)式 其中：動(dòng)作標(biāo)號(hào)標(biāo)識(shí)在該環(huán)境下要調(diào)用由動(dòng)作表達(dá)式指定的動(dòng)作 。 動(dòng)作表達(dá)式可以使用對(duì)象范圍內(nèi)的任何屬性和鏈 。 若動(dòng)作表達(dá)式為空 ， 則可省略斜線分隔符 。 下面給出專用的動(dòng)作標(biāo)號(hào) （ 注：它們不能用作事件名 ） ： ? entry 該標(biāo)號(hào)標(biāo)識(shí)在進(jìn)入狀態(tài)時(shí) ， 執(zhí)行由相應(yīng)的動(dòng)作表達(dá)式規(guī)定的動(dòng)作 （ 進(jìn)入動(dòng)作 ） 。 ? exit 該標(biāo)號(hào)標(biāo)識(shí)在退出狀態(tài)時(shí) ， 執(zhí)行由相應(yīng)的動(dòng)作表達(dá)式規(guī)定的動(dòng)作 （ 退出動(dòng)作 ） 。 ? do 該標(biāo)號(hào)標(biāo)識(shí)正在進(jìn)行的活動(dòng) （ “ do 活動(dòng) ” ） （ 只要被建模的元素是在狀態(tài)中 ， 沒有完成由動(dòng)作表達(dá)式指定的計(jì)算 ， 就執(zhí)行這個(gè)活動(dòng)；當(dāng)動(dòng)作表達(dá)式指定的計(jì)算完成時(shí) ， 可能產(chǎn)生一個(gè)完成事件 ） 。 3） 事件 (1) 語(yǔ)義 事件是值得注意的所發(fā)生的事情 。 按照狀態(tài)圖的具體用意 ，事件是指可以引發(fā)狀態(tài)轉(zhuǎn)換的所發(fā)生的事情 。 事件可以分為： a)條件 （ 用布爾表達(dá)式描述 ） 變?yōu)檎?。 不論何時(shí) ， 只要條件變?yōu)檎?， 事件都發(fā)生 。 （ 注意：這不同于監(jiān)護(hù)條件 。 無(wú)論什么時(shí)候激發(fā)具有監(jiān)護(hù)條件的事件 ， 都對(duì)監(jiān)護(hù)條件進(jìn)行求值 。 如果求值的結(jié)果為假 ， 轉(zhuǎn)換就不發(fā)生 ， 并且事件丟失 。 ） b)一個(gè)對(duì)象對(duì)另一個(gè)對(duì)象的顯式信號(hào)的接收 ， 導(dǎo)致一個(gè)信號(hào)事件 。 把這樣的事件的特征標(biāo)記放由它所觸發(fā)的轉(zhuǎn)換上 。 c)對(duì)操作的調(diào)用的接收 ， 導(dǎo)致一個(gè)調(diào)用事件 。 d)在指定事件 （ 經(jīng)常是當(dāng)前狀態(tài)的入口 ） 后 ， 經(jīng)過了一定的時(shí)間或到了指定日期 /時(shí)間 ， 導(dǎo)致一個(gè)時(shí)間事件 。 (2) 表示法 ?可以按如下的格式定義信號(hào)事件或調(diào)用事件： 事件名 ‘ (?用逗號(hào)分隔的參數(shù)列表 ‘ )? 參數(shù)的格式如下： 參數(shù)名 ‘ :? 類型表達(dá)式 在類圖中 ， 在類符號(hào)上用關(guān)鍵字 signal聲明信號(hào) 。把該關(guān)鍵字放在信號(hào)名的上面 ， 把參數(shù)說(shuō)明為信號(hào)的屬性 。注意 ， 信號(hào)是實(shí)例之間異步傳送的消息的規(guī)格說(shuō)明 。 ?可以用關(guān)鍵詞 “ after”和計(jì)算時(shí)間量的表達(dá)式表示時(shí)間事件 ， 比如 “ after (5 秒 )”或者 ” after (從狀態(tài) A退出后經(jīng)歷了 10秒 )”。 如果沒指明時(shí)間起始點(diǎn) ， 那么從進(jìn)入當(dāng)前狀態(tài)開始計(jì)時(shí) 。 可把其它的時(shí)間事件指定為條件 ， 比如“ when (date= 2022年 1月 1日 )”。 ?用關(guān)鍵詞 “ when”和布爾表達(dá)式表示變?yōu)檎娴氖录?。 可以把其看作是連續(xù)測(cè)試條件 ， 直到它為真 。 4） 轉(zhuǎn)換 (1) 語(yǔ)義 轉(zhuǎn)換是兩個(gè)狀態(tài)之間的關(guān)系 ， 表示當(dāng)一個(gè)特定事件出現(xiàn)時(shí) ， 如果滿足一定的條件 ， 對(duì)象就從第一個(gè)狀態(tài)進(jìn)入第二個(gè)狀態(tài) ， 并執(zhí)行一定的動(dòng)作 。 對(duì)于這樣的狀態(tài)的改變 ， 稱為 “ 觸發(fā) ” 轉(zhuǎn)換 。 轉(zhuǎn)換的觸發(fā)器就是標(biāo)注在轉(zhuǎn)換上的事件 。 事件可能有參數(shù) ， 這樣的參數(shù)可由轉(zhuǎn)換指定的動(dòng)作訪問 ， 也可由與源和目標(biāo)相聯(lián)系的退出和進(jìn)入動(dòng)作分別訪問 。 在狀態(tài)圖中 ， 每次處理一個(gè)事件 。 如果事件沒有觸發(fā)任何轉(zhuǎn)換 ， 就丟棄它 。 如果在同一個(gè)簡(jiǎn)單狀態(tài)圖中觸發(fā)了多個(gè)轉(zhuǎn)換 ， 就只對(duì)優(yōu)先級(jí)最高的那個(gè)轉(zhuǎn)換點(diǎn)火 。 如果這些相沖突的轉(zhuǎn)換具有相同的優(yōu)先級(jí) ， 就隨機(jī)地選擇一個(gè)轉(zhuǎn)換 ， 進(jìn)行觸發(fā) 。 (2) 表示法 把轉(zhuǎn)換表示成從源狀態(tài)出發(fā)并在目標(biāo)狀態(tài)上終止的帶箭頭的實(shí)線 。 它可以由轉(zhuǎn)換串標(biāo)記 。 轉(zhuǎn)換串的格式為： 事件特征標(biāo)記 ‘ [?監(jiān)護(hù)條件 ’ ]? ?/? 動(dòng)作表達(dá)式 其中：事件特征標(biāo)記描述帶參數(shù)的事件： 事件名 ‘ (?由逗號(hào)分隔的參數(shù)表 ‘ )? 監(jiān)護(hù)條件：是布爾表達(dá)式 ， 根據(jù)觸發(fā)事件的參數(shù)和擁有這個(gè)狀態(tài)機(jī)的對(duì)象的屬性和鏈來(lái)書寫這樣的布爾表達(dá)式 。 也可用監(jiān)護(hù)條件顯式地指定某個(gè)可達(dá)對(duì)象的狀態(tài) （ 例如 ， ” in State1”或 ” not in State2”） 。 如果觸發(fā)了轉(zhuǎn)換 ， 就執(zhí)行動(dòng)作表達(dá)式 。 可以根據(jù)對(duì)象的屬性 、 操作和鏈以及觸發(fā)事件的參數(shù) ， 或在其范圍內(nèi)的其它特征書寫動(dòng)作表達(dá)式 。 動(dòng)作表達(dá)式可以是由一些有區(qū)別的動(dòng)作組成的動(dòng)作序列 ，其中包括顯式地產(chǎn)生事件的動(dòng)作 ， 如發(fā)送信號(hào)或調(diào)用操作 。 表達(dá)式的細(xì)節(jié)與為模型選擇的動(dòng)作語(yǔ)言有關(guān) 。 RUP Rational統(tǒng)一過程是由統(tǒng)一建模語(yǔ)言 （ Unified Modeling Languang， 簡(jiǎn)稱 UML） 的開發(fā)者們提出來(lái)的 ， 并為對(duì)象管理組織 (Object Management Group， 簡(jiǎn)稱 OMG )所推薦 。 RUP是在權(quán)衡了三十年的軟件開發(fā)實(shí)踐的基礎(chǔ)上形成的 。 例如 ， 它吸取了數(shù)百個(gè)用戶多年的現(xiàn)場(chǎng)經(jīng)驗(yàn)以及Ratioanal公司多年的工作成果 。 RUP對(duì)于如何運(yùn)用 UML的概念進(jìn)行軟件開發(fā)提供了詳細(xì)指導(dǎo) 。 即： ?指導(dǎo)開發(fā)隊(duì)伍安排其開發(fā)活動(dòng)的次序 ?為各開發(fā)者和整個(gè)開發(fā)組指定任務(wù) ?明確地規(guī)定需要開發(fā)的制品 ?提供對(duì)項(xiàng)目中的制品和活動(dòng)進(jìn)行監(jiān)控與度量的準(zhǔn)則 RUP是以用況（ use case）為驅(qū)動(dòng)、以體系結(jié)構(gòu)(architecture)為中心的迭代的 (iterative)、增量的(incremental)過程。具體地說(shuō)： ? 以用況為驅(qū)動(dòng) 用況驅(qū)動(dòng)的含義是 ：以用況為單位 ， 制定計(jì)劃 、 分配任務(wù) 、 監(jiān)控執(zhí)行和進(jìn)行測(cè)試等 。 這樣 ， 可以實(shí)現(xiàn)： 在產(chǎn)品開發(fā)的各個(gè)階段中都可以回溯到用戶的實(shí)際需求 由此可見 ， 用況將實(shí)現(xiàn)軟件開發(fā)的核心工作有機(jī)地組合為一體 。 ?以體系結(jié)構(gòu)為中心 以系統(tǒng)需求 （ 用況模型 ） 為驅(qū)動(dòng) ， 緊緊圍繞 系統(tǒng)體系結(jié)構(gòu) ， 從不同角度描述要構(gòu)造的系統(tǒng)的靜態(tài)和動(dòng)態(tài)結(jié)構(gòu) 。 其中 ， 主要涉及： 子系統(tǒng) 、 構(gòu)件 、 接口 、 協(xié)作 、 關(guān)系和節(jié)點(diǎn) 等重要的模型元素的描述 。并且 ， 實(shí)現(xiàn)的描述應(yīng)： ? 便于用戶和其他關(guān)注者的理解 ， 并達(dá)到共識(shí)； ? 便于對(duì)系統(tǒng)概貌的語(yǔ)義表述； ? 便于控制系統(tǒng)的開發(fā) 、 復(fù)用和演化 。 ?迭代與增量 簡(jiǎn)單地講 ， 開發(fā)過程是將整個(gè)項(xiàng)目劃分為一些 “ 小 ” 的項(xiàng)目 ? 按核心工作流 ， 即需求規(guī)約 、 分析 、 設(shè)計(jì) 、 實(shí)現(xiàn)和測(cè)試這五個(gè)活動(dòng) ， 對(duì)每個(gè)小項(xiàng)目都進(jìn)行迭代； ? 迭代被組織在 4個(gè)階段中：初始階段 、 精化階段 、 構(gòu)造階段和移交階段 。 面向?qū)ο蠓椒ㄅc結(jié)構(gòu)化方法的比較 模型穩(wěn)定 保持結(jié)構(gòu) 平滑過渡 支持復(fù)用 易于維護(hù) 五、軟件測(cè)試技術(shù) 環(huán)境 被測(cè)對(duì)象 人員素質(zhì) 被測(cè)對(duì)象模型 測(cè)試執(zhí)行 正確 ? 環(huán)境模型 錯(cuò)誤模型 ? 軟件測(cè)試過程所涉及的要素 ,以及 ? 這些要素之間的關(guān)系 正確 1) 測(cè)試過程模型 2）依據(jù)程序邏輯結(jié)構(gòu) 白盒測(cè)試技術(shù) （ 1）關(guān)于建立被測(cè)對(duì)象模型 控制流程圖 :結(jié)點(diǎn) /分支 /過程塊 /鏈 路徑 1 2 3 6 4 5 7 X5 and Y3 其中：節(jié)點(diǎn) 節(jié)點(diǎn) 節(jié)點(diǎn) 節(jié)點(diǎn) 節(jié)點(diǎn) 7為過程塊 節(jié)點(diǎn) 2為分支，節(jié)點(diǎn) 4為結(jié)點(diǎn) 例如： 以下為一個(gè)程序流程圖，其中 該例子中 有兩個(gè)判斷， 每個(gè)判斷都包含復(fù)合條件的邏輯表達(dá)式。 （ A?1） ?（ B=0） （ A=2） ?（ X?1） X=X/A X=X+1 a b c d e F T T F 其控制流程圖為： （ A?1） ? （ B=0） X=X/A （ A=2） ? （ X?1） X=X+1 T T a c b d e 結(jié)點(diǎn) 1 結(jié)點(diǎn) 2 （ 2）“ 完整測(cè)試 ” 策略 該控制流程圖有 4條不同的路徑。 4條路徑可表示為： L1（ a→c→e ）簡(jiǎn)寫 ace 、 L2（ a→b→d ）簡(jiǎn)寫 abd L3（ a→b→e ）簡(jiǎn)寫 abe 、 L4（ a→c→d ）簡(jiǎn)寫 acd ? 路徑測(cè)試（ PX）：執(zhí)行所有可能的穿過程序的控制 流程路徑。 一般來(lái)說(shuō)，這一測(cè)試嚴(yán)格地限制為所有可能的入口 /出 口路徑。如果遵循這一規(guī)定，則我們說(shuō)達(dá)到了 100%路徑覆蓋 率。在路徑測(cè)試中，該策略是最強(qiáng)的，但一般是不可實(shí)現(xiàn)的。 針對(duì)該例子，要想實(shí)現(xiàn)路徑覆蓋，可選擇以下一組測(cè)試 用例（規(guī)定測(cè)試用例的設(shè)計(jì)格式為： 【 輸入的（ A， B， X）， 輸出的（ A， B， X） 】 ）。 測(cè) 試 用 例 覆蓋路徑 【 （ 2， 0， 4），（ 2， 0， 3） 】 L1 【 （ 1， 1， 1），（ 1， 1， 1） 】 L2 【 （ 1， 1， 2），（ 1， 1， 3） 】 L3 【 （ 3， 0， 3），（ 3， 0， 1） 】 L4 ? 語(yǔ)句測(cè)試（ P1）：至少執(zhí)行程序中所有語(yǔ)句一次。 如果遵循這一規(guī)定，則我們說(shuō)達(dá)到了 100%語(yǔ)句覆蓋率（ 用 C1表達(dá)）。 在該例子中，只要設(shè)計(jì)一種能通過路徑 ace的測(cè)試用例， 就覆蓋了所有的語(yǔ)句。所以可選擇測(cè)試用例如下： 【 （ 2， 0， 4），（ 2， 0， 3） 】 覆蓋 L1