基于參數(shù)約束的分支覆蓋符號(hào)執(zhí)行優(yōu)化算法[其他][其他]

軟件質(zhì)量檢測(cè)常用的方法是軟件測(cè)試，符號(hào)執(zhí)行作為主流的測(cè)試技術(shù)已被廣泛應(yīng)用于學(xué)術(shù)界與工業(yè)界中。但是隨著程序規(guī)模的增大和函數(shù)調(diào)用的增加，因某些路徑約束條件的特殊性，而難以生成正確的測(cè)試用例，從而導(dǎo)致符號(hào)執(zhí)行不能對(duì)所有路徑做到全覆蓋。為了提高符號(hào)執(zhí)行在特殊約束條件對(duì)路徑的覆蓋率等問(wèn)題，本文提出了基于參數(shù)約束的符號(hào)執(zhí)行優(yōu)化算法。首先，該算法通過(guò)搜索收集程序代碼中函數(shù)的特殊參數(shù)，然后利用這些特殊參數(shù)作為約束條件，最后將約束條件添加到路徑的約束集中。該算法使符號(hào)執(zhí)行生成的測(cè)試用例更加精確，從而實(shí)現(xiàn)覆蓋特殊約束條件下的路徑分支，以提高符號(hào)執(zhí)行的精確性和路徑覆蓋率。在開(kāi)源符號(hào)執(zhí)行平臺(tái)CREST中實(shí)驗(yàn)并驗(yàn)證上述優(yōu)化算法，驗(yàn)證及測(cè)試結(jié)果表明本文提出的算法能夠提高符號(hào)執(zhí)行在特殊約束條件下對(duì)路徑的覆蓋率。

發(fā)表于：12/14/2020 5:00:00 PM

支持眾創(chuàng)開(kāi)發(fā)的私有云平臺(tái)研究[其他][其他]

“支撐平臺(tái)+應(yīng)用/服務(wù)”是信息系統(tǒng)的典型架構(gòu)，在不同因素的驅(qū)動(dòng)下，支撐平臺(tái)和應(yīng)用/服務(wù)都處在不斷發(fā)展變化中，從而表現(xiàn)為信息系統(tǒng)的整體更新?lián)Q代。當(dāng)前，隨著業(yè)務(wù)需求和技術(shù)的不斷發(fā)展，“云+端”成為這一架構(gòu)的具體模式，并且表現(xiàn)出眾籌眾創(chuàng)的新型開(kāi)發(fā)形態(tài)。該平臺(tái)是一個(gè)基于國(guó)產(chǎn)基礎(chǔ)軟硬件生態(tài)、面向日常辦公和業(yè)務(wù)處理的私有云平臺(tái)，也是一個(gè)支持業(yè)務(wù)信息系統(tǒng)持續(xù)眾創(chuàng)發(fā)展的應(yīng)用生態(tài)服務(wù)環(huán)境?；谠搼?yīng)用支撐平臺(tái)提出了一個(gè)支持眾創(chuàng)開(kāi)發(fā)的私有云平臺(tái)通用模型，并對(duì)該平臺(tái)的架構(gòu)、組成、主要特點(diǎn)及應(yīng)用等進(jìn)行深入研究。本文的成果能夠?yàn)槊嫦虮妱?chuàng)眾籌和持續(xù)集成的辦公及業(yè)務(wù)信息系統(tǒng)研發(fā)提供解決方案，同時(shí)為基礎(chǔ)軟硬件生態(tài)、私有云、微服務(wù)、容器等新技術(shù)在黨政機(jī)關(guān)辦公及業(yè)務(wù)領(lǐng)域的應(yīng)用提供參考和借鑒。

發(fā)表于：12/14/2020 4:43:00 PM