對一個包含10000條機(jī)器指令的程序進(jìn)行一個月集成測試后，總共改正了15個錯誤，此時MTTF=10h；經(jīng)過兩個月測試后，總共改正了25個錯誤（第二個月改正了10個錯誤），MTTF=15h。 要求：

對一個包含10000條機(jī)器指令的程序進(jìn)行一個月集成測試后，總共改正了15個錯誤，此時MTTF=10h；經(jīng)過兩個月測試后，總共改正了25個錯誤（第二個月改正了10個錯誤），MTTF=15h。 要求：

嚴(yán)格說來，有兩種不同的路徑覆蓋測試，分別為程序路徑覆蓋和程序圖路徑覆蓋。這兩種測試可分別稱為程序的自然執(zhí)行和強(qiáng)迫執(zhí)行。所謂自然執(zhí)行是指測試者（人或計(jì)算機(jī)）讀入程序中的條件表達(dá)式，根據(jù)程序變量的當(dāng)前值計(jì)算該條件表達(dá)式的值（真或假），并相應(yīng)地分支。強(qiáng)迫執(zhí)行是在用程序圖作為程序的抽象模型時產(chǎn)生的一個人為的概念，它可以簡化測試問題。強(qiáng)迫執(zhí)行的含義是，一旦遇到條件表達(dá)式，測試者就強(qiáng)迫程序分兩種情況（條件表達(dá)式的值為真和為假）執(zhí)行。顯然，強(qiáng)迫執(zhí)行將遍歷程序圖的所有路徑，然而由于各個條件表達(dá)式之間存在相互依賴的關(guān)系，這些路徑中的某一些在自然執(zhí)行時可能永遠(yuǎn)也不會進(jìn)入。為了使強(qiáng)迫執(zhí)行的概念在實(shí)際工作中有用，它簡化測試工具的好處應(yīng)該超過它使用額外的不可能達(dá)到的測試用例所帶來的壞處。在絕大多數(shù)情況下，強(qiáng)迫執(zhí)行的測試數(shù)并不比自然執(zhí)行的測試數(shù)大很多，此外，對強(qiáng)迫執(zhí)行的定義實(shí)際上包含了一種技術(shù)，能夠縮短在測試含有循環(huán)的程序時所需要的運(yùn)行時間。程序的大部分執(zhí)行時間通常用于重復(fù)執(zhí)行程序中的DO循環(huán)，特別是嵌套的循環(huán)。因此必須發(fā)明一種技術(shù)，使得每個DO循環(huán)只執(zhí)行一遍。這樣做并不會降低測試的功效，因?yàn)榻?jīng)驗(yàn)表明第一次或最后一次執(zhí)行循環(huán)時最容易出錯。
Laemmel教授提出的自動測試每條路徑的技術(shù)如下：當(dāng)編寫程序時每個DO循環(huán)應(yīng)該寫成一種包含測試變量T和模式變量M的特殊形式，因此：

嚴(yán)格說來，有兩種不同的路徑覆蓋測試，分別為程序路徑覆蓋和程序圖路徑覆蓋。這兩種測試可分別稱為程序的自然執(zhí)行和強(qiáng)迫執(zhí)行。所謂自然執(zhí)行是指測試者（人或計(jì)算機(jī)）讀入程序中的條件表達(dá)式，根據(jù)程序變量的當(dāng)前值計(jì)算該條件表達(dá)式的值（真或假），并相應(yīng)地分支。強(qiáng)迫執(zhí)行是在用程序圖作為程序的抽象模型時產(chǎn)生的一個人為的概念，它可以簡化測試問題。強(qiáng)迫執(zhí)行的含義是，一旦遇到條件表達(dá)式，測試者就強(qiáng)迫程序分兩種情況（條件表達(dá)式的值為真和為假）執(zhí)行。顯然，強(qiáng)迫執(zhí)行將遍歷程序圖的所有路徑，然而由于各個條件表達(dá)式之間存在相互依賴的關(guān)系，這些路徑中的某一些在自然執(zhí)行時可能永遠(yuǎn)也不會進(jìn)入。為了使強(qiáng)迫執(zhí)行的概念在實(shí)際工作中有用，它簡化測試工具的好處應(yīng)該超過它使用額外的不可能達(dá)到的測試用例所帶來的壞處。在絕大多數(shù)情況下，強(qiáng)迫執(zhí)行的測試數(shù)并不比自然執(zhí)行的測試數(shù)大很多，此外，對強(qiáng)迫執(zhí)行的定義實(shí)際上包含了一種技術(shù)，能夠縮短在測試含有循環(huán)的程序時所需要的運(yùn)行時間。程序的大部分執(zhí)行時間通常用于重復(fù)執(zhí)行程序中的DO循環(huán)，特別是嵌套的循環(huán)。因此必須發(fā)明一種技術(shù)，使得每個DO循環(huán)只執(zhí)行一遍。這樣做并不會降低測試的功效，因?yàn)榻?jīng)驗(yàn)表明第一次或最后一次執(zhí)行循環(huán)時最容易出錯。
Laemmel教授提出的自動測試每條路徑的技術(shù)如下：當(dāng)編寫程序時每個DO循環(huán)應(yīng)該寫成一種包含測試變量T和模式變量M的特殊形式，因此：

嚴(yán)格說來，有兩種不同的路徑覆蓋測試，分別為程序路徑覆蓋和程序圖路徑覆蓋。這兩種測試可分別稱為程序的自然執(zhí)行和強(qiáng)迫執(zhí)行。所謂自然執(zhí)行是指測試者（人或計(jì)算機(jī)）讀入程序中的條件表達(dá)式，根據(jù)程序變量的當(dāng)前值計(jì)算該條件表達(dá)式的值（真或假），并相應(yīng)地分支。強(qiáng)迫執(zhí)行是在用程序圖作為程序的抽象模型時產(chǎn)生的一個人為的概念，它可以簡化測試問題。強(qiáng)迫執(zhí)行的含義是，一旦遇到條件表達(dá)式，測試者就強(qiáng)迫程序分兩種情況（條件表達(dá)式的值為真和為假）執(zhí)行。顯然，強(qiáng)迫執(zhí)行將遍歷程序圖的所有路徑，然而由于各個條件表達(dá)式之間存在相互依賴的關(guān)系，這些路徑中的某一些在自然執(zhí)行時可能永遠(yuǎn)也不會進(jìn)入。為了使強(qiáng)迫執(zhí)行的概念在實(shí)際工作中有用，它簡化測試工具的好處應(yīng)該超過它使用額外的不可能達(dá)到的測試用例所帶來的壞處。在絕大多數(shù)情況下，強(qiáng)迫執(zhí)行的測試數(shù)并不比自然執(zhí)行的測試數(shù)大很多，此外，對強(qiáng)迫執(zhí)行的定義實(shí)際上包含了一種技術(shù)，能夠縮短在測試含有循環(huán)的程序時所需要的運(yùn)行時間。程序的大部分執(zhí)行時間通常用于重復(fù)執(zhí)行程序中的DO循環(huán)，特別是嵌套的循環(huán)。因此必須發(fā)明一種技術(shù)，使得每個DO循環(huán)只執(zhí)行一遍。這樣做并不會降低測試的功效，因?yàn)榻?jīng)驗(yàn)表明第一次或最后一次執(zhí)行循環(huán)時最容易出錯。
Laemmel教授提出的自動測試每條路徑的技術(shù)如下：當(dāng)編寫程序時每個DO循環(huán)應(yīng)該寫成一種包含測試變量T和模式變量M的特殊形式，因此：