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