核電蛻變測(cè)試工具研究

時(shí)小芳 王曉麗

摘要：隨著核電產(chǎn)業(yè)的迅猛發(fā)展，核電設(shè)計(jì)軟件需求量日益增加。針對(duì)核電計(jì)算程序在測(cè)試中遇到的Oracle問(wèn)題，應(yīng)用蛻變測(cè)試（MR）技術(shù)能夠得到有效解決。但是目前基于蛻變測(cè)試技術(shù)開(kāi)發(fā)的軟件大多數(shù)運(yùn)用手動(dòng)的方式，不但效率低，而且精確度不高，因此研究出一種核電蛻變測(cè)試工具至關(guān)重要。本文主要研究了核電蛻變測(cè)試工具（半自動(dòng)化）的設(shè)計(jì)思路，其中包括此工具的目的、算法和功能，旨在提高核電計(jì)算程序的測(cè)試效率。

關(guān)鍵詞：核電計(jì)算程序;Oracle問(wèn)題;蛻變測(cè)試工具

中圖分類(lèi)號(hào)：TP31 文獻(xiàn)標(biāo)識(shí)碼：A

文章編號(hào)：1009-3044（2019）31-0254-02

1背景

隨著核電產(chǎn)業(yè)的迅猛發(fā)展，核電設(shè)計(jì)軟件需求量日益增加。傳統(tǒng)的軟件測(cè)試方法通常是采用比較程序的實(shí)際輸出結(jié)果與預(yù)期輸出結(jié)果是否相同來(lái)推測(cè)程序是否存在錯(cuò)誤。但是，鑒于核電計(jì)算程序計(jì)算量大、較為復(fù)雜，傳統(tǒng)測(cè)試方法已無(wú)法滿(mǎn)足需求，基于此，提出了蛻變測(cè)試，而基準(zhǔn)題在蛻變測(cè)試過(guò)程中扮演著十分重要的角色。而獲取充足的基準(zhǔn)題不僅困難，而且花費(fèi)代價(jià)相當(dāng)大，若依據(jù)數(shù)學(xué)模型或物理模型推導(dǎo)出的蛻變關(guān)系在原有基準(zhǔn)題的基礎(chǔ)上生成大量的衍生基準(zhǔn)題，將大大降低獲取基準(zhǔn)題的成本，對(duì)于提高測(cè)試的充分性和效率意義重大。然而，如何驗(yàn)證其蛻變關(guān)系的可靠性是急需解決的一大難題。為了解決這一難題，本文設(shè)計(jì)了一款蛻變測(cè)試工具—核電蛻變測(cè)試工具。

2設(shè)計(jì)目標(biāo)

針對(duì)目前核電軟件測(cè)試中遇到的Oracle問(wèn)題，提出了蛻變測(cè)試，在蛻變測(cè)試過(guò)程中，基準(zhǔn)題集是否充分與蛻變關(guān)系是否可靠是影響其測(cè)試效率的兩大因素。針對(duì)后者，開(kāi)發(fā)了核電蛻變測(cè)試工具，其設(shè)計(jì)目標(biāo)如下圖所示：

上圖描述了核電蛻變測(cè)試工具的主要設(shè)計(jì)目標(biāo)，其主要目標(biāo)是實(shí)現(xiàn)通過(guò)調(diào)用蛻變關(guān)系使得原始基準(zhǔn)題（測(cè)試用例）衍生出其他的基準(zhǔn)題，然后再通過(guò)執(zhí)行待測(cè)程序（.exe程序）來(lái)執(zhí)行衍生基準(zhǔn)題和原始基準(zhǔn)題并獲取與其相對(duì)應(yīng)的輸出結(jié)果，其次再差異提取兩個(gè)輸出文件并驗(yàn)證它們是否符合蛻變關(guān)系，最后再將產(chǎn)生的結(jié)果生成報(bào)告單。

3算法思想

根據(jù)以上設(shè)計(jì)目標(biāo)和設(shè)計(jì)思路，結(jié)合文獻(xiàn)【3，4】，現(xiàn)給出本工具的算法思路如下：

4功能設(shè)計(jì)

根據(jù)以上設(shè)計(jì)思路，本工具的設(shè)計(jì)種包括五大功能模塊，分別為選擇原始基準(zhǔn)題、選擇蛻變關(guān)系、生成衍生基準(zhǔn)題、執(zhí)行測(cè)試用例、測(cè)試結(jié)果分析。其中，衍生基準(zhǔn)題、選擇蛻變關(guān)系和原始基準(zhǔn)題之間的聯(lián)系是衍生基準(zhǔn)題是由原始基準(zhǔn)題調(diào)用蛻變關(guān)系計(jì)算得到的，執(zhí)行測(cè)試用例的執(zhí)行對(duì)象是衍生基準(zhǔn)題和原始基準(zhǔn)題，運(yùn)算對(duì)象是待測(cè)程序，測(cè)試結(jié)果分析的對(duì)象是執(zhí)行測(cè)試用例之后輸出的結(jié)果。

根據(jù)以上所述，現(xiàn)提出本工具的功能設(shè)計(jì)如下圖所示：

其中，在選擇原始基準(zhǔn)題、選擇蛻變關(guān)系、生成衍生基準(zhǔn)題三個(gè)功能中包括備份數(shù)據(jù)、修改數(shù)據(jù)、刪除數(shù)據(jù)和保存數(shù)據(jù);生成衍生基準(zhǔn)題功能不但包括備份數(shù)據(jù)、修改數(shù)據(jù)、刪除數(shù)據(jù)和保存數(shù)據(jù)，還包括選中原始基準(zhǔn)題和選中蛻變關(guān)系兩個(gè)功能;執(zhí)行測(cè)試用例功能中包括選中衍生測(cè)試用例、原始測(cè)試用例和調(diào)用待測(cè)程序三個(gè)功能;由于運(yùn)行結(jié)果需要被分析，所以測(cè)試結(jié)果分析功能中應(yīng)該包括選擇輸出文件和差異提取兩功能，除此之外，還需要將分析后的結(jié)果生成測(cè)試報(bào)告。

5總結(jié)

本文針對(duì)核電計(jì)算程序測(cè)試中遇到的效率低下、精確度不高的問(wèn)題，設(shè)計(jì)了一種半自動(dòng)化核電蛻變測(cè)試工具，相對(duì)于傳統(tǒng)的核電測(cè)試工具而言，其效率和精確度更高，增加了蛻變測(cè)試自動(dòng)化的可能。