問(wèn)答題

對(duì)一個(gè)包含10000條機(jī)器指令的程序進(jìn)行一個(gè)月集成測(cè)試后,總共改正了15個(gè)錯(cuò)誤,此時(shí)MTTF=10h;經(jīng)過(guò)兩個(gè)月測(cè)試后,總共改正了25個(gè)錯(cuò)誤(第二個(gè)月改正了10個(gè)錯(cuò)誤),MTTF=15h。 要求:

根據(jù)上述數(shù)據(jù)確定MTTF與測(cè)試時(shí)間之間的函數(shù)關(guān)系,畫出MTTF與測(cè)試時(shí)間τ的關(guān)系曲線。在畫這條曲線是做了什么假設(shè)?

您可能感興趣的試卷

你可能感興趣的試題

1.問(wèn)答題

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

試分析Laemmel技術(shù)的優(yōu)缺點(diǎn)。
2.問(wèn)答題

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

怎樣把Laemmel技術(shù)推廣到包含WHILE DO 和REPEAT UNTIL語(yǔ)句的程序?
3.問(wèn)答題

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

設(shè)計(jì)一個(gè)程序按照Laemmel技術(shù)自動(dòng)修改待測(cè)試的程序。利用這個(gè)測(cè)試工具修改上一問(wèn)中人工修改的程序,兩次修改得到的結(jié)果一致嗎?
4.問(wèn)答題

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

選取一個(gè)包含循環(huán)和IF語(yǔ)句的程序,用Laemmel技術(shù)修改這個(gè)程序,上機(jī)實(shí)際測(cè)試這個(gè)程序并解釋所得到的結(jié)果。