【正文】 本文是一個正在進(jìn)行的項目，提供面向?qū)ο蟮能浖_發(fā)與集成測試更好的工具和技術(shù)的一部分。集成測試的這個水平是一個重要而困難的問題區(qū)域，面向?qū)ο蟮拈_發(fā)人員，因為采用面向?qū)ο蟮脑O(shè)計往往意味著重要的設(shè)計決策進(jìn)行編碼的互連組件之間，并且繼承和多態(tài)的抽象機(jī)制可能會導(dǎo)致在非常復(fù)雜并且容易出錯的關(guān)系。 Orso 和 Silva 目前專注于通過識別包含測試（ MUT） [21]的方法中的多態(tài)方法調(diào)用路徑測試多態(tài)的定義和用途的技術(shù)。在他們的方法，他們試圖要找出和測試，可以發(fā)生在方法中可能的對象綁定。再次，有創(chuàng)建測試用 例沒有幫助。否則，會報告錯誤和引發(fā)異常。此外，繼承和多態(tài)引入不可判 定的軟件 [3]。例如，在耦合方法 F（如圖 3（ b）所示），上下文變量 o 耦合序列 S3,5 的傳遞作為一個正式的說法了。此外，它是非常困難的，以確定耦合序列是否是不可行的，或者如果它僅僅是很難找到合適的測試用例。問題的唯一可能，是因為它可能是A::u 通過先前的方法調(diào)用或作為建造綁 定到 O 的實例的一部分來定義。從數(shù)據(jù)流的角度看，當(dāng) o的類型是 A 和這些方法被執(zhí)行是沒有問題，如圖 3（ b）所示?，F(xiàn)在考慮的調(diào)用位置在語句 3 和 5。要理解這一點，考慮圖 3（ a） 所示的 UML 類圖（一）。比較測試標(biāo)準(zhǔn)的常用方法是包容關(guān)系 [11， 16]。 全耦合定義用途 .標(biāo)準(zhǔn)全耦合定義用途需要定義和變量的用途考慮在內(nèi)。 定義 1 全耦合序列： 在方法 F 的每個耦合序列 Sj,k，有至少一個測試用例 Tsj,k使得當(dāng)采用 t執(zhí)行 f有在 Sj,k 即 f的執(zhí)行跟蹤的一個子路徑的耦合路徑的路徑 p。這就避免了多程序間的數(shù)據(jù)流分析的費用。這項工作目前假定的標(biāo)準(zhǔn)將被用作覆蓋分析器，也就是說，一組測試已經(jīng)存在。 ΘSj,k包含到 O 中引用的狀態(tài)變量是由先前方法中定義和使用在耦合序列 Sj,k 隨之而來的方法。幀內(nèi)方法耦合序列類似于定義使用對 [2]，并用于與一個狀態(tài)變量的定義，以跨越一個程序邊界在一個特定的對象和方法的上下文中的相應(yīng)用途。直觀地說，一個耦 合序列代表被測命令的集成對象 O 的方法之間的相互作用。 ? 全耦合使用： 對可變的 P1 每個耦合定義，該組由一個測試集執(zhí)行路徑必須覆蓋至少一個耦合路徑的每個可到達(dá)的耦合使用。 4 節(jié)點 i∈ NP1 是一個耦合，包含一個定義，可以對一些執(zhí)行路徑使用 P2。其基本思想是，有高度的信心所產(chǎn)生的軟件，所有的在一個過程變量的定義必須在調(diào)用程序被正確地使用。對于測試，只有三個無序類型被使用：參數(shù)耦合，共享數(shù)據(jù)耦合和外部設(shè)備連接。繼承和多態(tài)使面向?qū)ο筌浖臏y試復(fù)雜化。 3 繼承和多態(tài) 面向?qū)ο缶幊痰幕緲?gòu)建塊是類，它是用來定義新的類型。測試的其余部分包括任何其他的對于軟件是必要的獲得由測試用例值所需的狀態(tài)，并導(dǎo)致顯示或打印的實際輸出的投入。與此相反，系統(tǒng)測試通常需要假定的情況下的源代碼，因此通常是黑盒。這提供了一種機(jī)制，用于決定何時停止測試和可重復(fù)性的測試工作的基礎(chǔ)。 本文提出了一個正在進(jìn)行中的具有改善面向?qū)ο筌浖馁|(zhì)量目標(biāo)的研究項目的結(jié)果。繼承和聚合的組成關(guān)系，結(jié)合多態(tài)性的力量，可以使它更難被偵測到故障元件集成的方式。這些測試標(biāo)準(zhǔn)可以通過確保集成測試是高品質(zhì)的提高面向?qū)ο筌浖馁|(zhì)量。 1 測試多態(tài)關(guān)系的準(zhǔn)則 Roger T. Alexander and A. Jefferson Offutt Gee Mason University Department of Information and Software Engineering Software Engineering Research Laboratory Fairfax, Virginia 220304444 ralexand,ofut 11th International Symposium on Software Reliability Engineering (ISSRE ’00), pages 15–23, San Jose CA, October 2022. 摘 要 面向?qū)ο蟮某绦虻闹攸c在于定義同時具有狀態(tài)和行為的抽象。 1. 介 紹 在面向?qū)ο蟮恼Z言強(qiáng)調(diào)的是定義抽象（如抽象數(shù)據(jù)類型）該模型的各個方面 的問題 [18]。這是因為組件的集成是不同的面向?qū)ο蟮恼Z言 [6]。先前的文獻(xiàn) [ 1 ]提出了技術(shù)分析的面向?qū)ο筌浖睦^承和多態(tài)的關(guān)系。其次，正規(guī)的標(biāo)準(zhǔn)給測試人員提供一些方式來決定在測試過程中使用何種測試輸入，使測試儀更容易發(fā)現(xiàn)故障的程序，并提供更可靠的保證軟件的高品質(zhì)和可靠性。請注意，雖然本文中遵循標(biāo)準(zhǔn) IEEE 定義 [15]，這兩種術(shù)語在實踐中通常可以互換使用。 本文介紹了用于測試面向?qū)ο筌浖男聵?biāo)準(zhǔn)。類封裝了狀態(tài)變量的集合狀態(tài)信息和有關(guān)于這些狀態(tài)變量操作方法的集合。 一類家族是一組關(guān)于一個基類 C（家族（ C））都有一個共同的行為的類。每當(dāng)一個過程參數(shù)傳遞到另一個參數(shù)時耦合發(fā)生。這種方法被稱為基于耦合的測試（ CBT）。一個耦合的使用是一個節(jié)點 i∈ NP2，包含一個使用，可以通過在另一個單元的定義在至少一個執(zhí)行路徑。 ? 全 耦合路徑： 測試執(zhí)行的設(shè)置必須覆蓋從耦合定義所有的耦合路徑集所有可達(dá)耦合使用。我們的目標(biāo)是不需要確定是否 O 是正確的，而是要確定 M 是否正確使用 O。從表面上看，它可能出現(xiàn)測試這樣的一個足夠的測試類的對象的路徑。 Sj,k 開始在具有特定耦合變量的定義，最后在先前方法的節(jié)點，并結(jié)束在有相應(yīng)的同一耦合變量的第一 個使用隨之而來的方法節(jié)點的耦合路徑。機(jī)械或測試數(shù)據(jù)自動生成的問題不是當(dāng)前研究的一部分。那是因為需要過程間的信息有限，我們稱這種準(zhǔn)過程間分析。 全聚類 .全聚類標(biāo)準(zhǔn)，加強(qiáng)全耦合序列要考慮繼承和多態(tài)。它需要的是，對于在方法 F 中的耦合序列，并且在每個耦合變量 v 的序列中，必須有至少一個相對于 v 執(zhí)行每個耦合路徑測試用例。標(biāo)準(zhǔn) A 涵括標(biāo)準(zhǔn) B 當(dāng)且僅當(dāng)滿足A 也每一個測試集滿足 B。如圖所示， A 類包括法計算命令 n 隨著狀態(tài)變量 u 和 v。在這里，明顯的調(diào)用方法 A:: m 和 A:: n 制成。同樣， B::n 使用A :: u。 動態(tài)綁定多態(tài)性的結(jié)果，因為前面的討論說明，是一個面向?qū)ο蟮某绦虻臄?shù)據(jù)流圖可以動態(tài)變化。 不可行耦合序列的問題是一個比較普遍的問題一個特定的實例，通常被稱為可行路徑問題，它說，對于某些結(jié)構(gòu)試驗標(biāo)準(zhǔn)的一些測試要求是不可行的，即程序的語義意味著沒有測試用例滿足測試要求。為改變 o，測試驅(qū)動程序只需要調(diào)用 f 傳遞不同類型的實例的實際 參數(shù)。執(zhí)行路徑不再是類的靜態(tài)聲明的類型的函數(shù)，但就是不知道， 10 直到運行時的動態(tài)類型的函數(shù)。這種技術(shù)并不能幫助創(chuàng)建測試用例，并且依賴于書面的程序員的正式規(guī)格。 Harrold 和 Rothermel 描述了適用于數(shù)據(jù)流分析，以類的方法 [13]。我們的想