本發(fā)明屬于計(jì)算機(jī)應(yīng)用領(lǐng)域，涉及一種基于特征碼的軟件運(yùn)行檢測(cè)方法。
背景技術(shù)：
軟件程序作為計(jì)算機(jī)系統(tǒng)運(yùn)行的“靈魂”，其運(yùn)行結(jié)果的正確性直接影響了系統(tǒng)執(zhí)行的最終結(jié)果，是設(shè)計(jì)過(guò)程中的關(guān)鍵點(diǎn)之一，隨著軟件規(guī)模不斷擴(kuò)大，其復(fù)雜性急劇增加，尋找快速定位軟件存在問(wèn)題的手段和管理方法勢(shì)在必行。本發(fā)明專利提出了一種基于特征碼的軟件運(yùn)行檢測(cè)方法，通過(guò)程序結(jié)構(gòu)分析，特征碼分配，執(zhí)行特征碼和預(yù)期特征碼對(duì)比，為軟件運(yùn)行的正確性提供了有效地管理方法。
技術(shù)實(shí)現(xiàn)要素：
發(fā)明目的：本發(fā)明的目的是提供一種基于特征碼的軟件運(yùn)行檢測(cè)方法，實(shí)現(xiàn)了一種快速確定軟件運(yùn)行正確性管理方法，為類似程序的正確性檢測(cè)提供了驗(yàn)證指導(dǎo)方法。
技術(shù)方案：
一種基于特征碼的軟件運(yùn)行檢測(cè)方法，該方法包括
(1)程序結(jié)構(gòu)分析；
(2)特征碼分配；
(3)應(yīng)用程序；
(4)程序運(yùn)行特征碼記錄；
(5)預(yù)期路徑；
(6)執(zhí)行路徑；
(7)數(shù)據(jù)對(duì)比；
(8)運(yùn)行結(jié)果報(bào)告。
步驟(1)包括：通過(guò)對(duì)程序分塊、分析程序分支、循環(huán)、跳轉(zhuǎn)結(jié)構(gòu)得到特征碼需要加載的對(duì)應(yīng)位置或程序塊，并傳輸?shù)讲襟E(2)進(jìn)行程序特征碼的分配，特征碼能夠唯一的指定程序運(yùn)行路徑。
步驟(2)包括：為步驟(1)分析完成的程序進(jìn)行特征碼分配，分配完成后將程序輸出到步驟(4)，聯(lián)合步驟(3)完成程序?qū)?yīng)執(zhí)行路徑的結(jié)果記錄。
步驟(3)包括：通過(guò)應(yīng)用程序的流程、參數(shù)等分析提取出步驟(5)所需的程序預(yù)期執(zhí)行路徑，同時(shí)為步驟(4)提供為驗(yàn)證代碼正確的測(cè)試激勵(lì)。
步驟(4)包括：通過(guò)步驟(2)將分配好特征碼的程序聯(lián)合步驟(3)提供的測(cè)試激勵(lì)進(jìn)行測(cè)試，執(zhí)行完成后直接生成步驟(6)所需的執(zhí)行特征碼路徑。
步驟(5)包括：通過(guò)步驟(3)分析提取程序特征碼的執(zhí)行路徑，將所得特征碼路徑傳遞給步驟(7)進(jìn)行特征碼正確性比對(duì)。
步驟(6)包括：通過(guò)步驟(4)得到程序最終執(zhí)行完成后的特征碼路徑，將執(zhí)行路徑傳遞給步驟(7)進(jìn)行特征碼正確性比對(duì)。
步驟(7)包括：通過(guò)步驟(5)得到的程序預(yù)期執(zhí)行路徑和步驟(6)得到的程序執(zhí)行路徑進(jìn)行路徑的正確性比對(duì)，將對(duì)比結(jié)果傳遞給步驟(8)。
步驟(8)包括：通過(guò)步驟(7)得到的路徑對(duì)比數(shù)據(jù)輸出報(bào)告得到程序的正確性。
有益效果：
本發(fā)明的目的是實(shí)現(xiàn)了一種快速確定軟件運(yùn)行正確性管理方法，為類似程序的正確性檢測(cè)提供了驗(yàn)證指導(dǎo)方法。
一種基于特征碼的軟件運(yùn)行檢測(cè)方法具有以下優(yōu)點(diǎn)：
1、具備程序結(jié)構(gòu)分析(1)通過(guò)對(duì)程序分塊、分析程序分支、循環(huán)、跳轉(zhuǎn)等結(jié)構(gòu)得到特征碼需要加載的對(duì)應(yīng)位置或程序塊，并傳輸?shù)教卣鞔a分配(2)進(jìn)行程序特征碼的分配，特征碼能夠唯一的指定程序運(yùn)行路徑。
2、具備特征碼分配(2)為程序結(jié)構(gòu)分析(1)分析完成的程序進(jìn)行特征碼分配，分配完成后將程序輸出到程序運(yùn)行特征碼記錄(4)，聯(lián)合應(yīng)用程序(3)完成程序?qū)?yīng)執(zhí)行路徑的結(jié)果記錄。
3、具備應(yīng)用程序(3)通過(guò)應(yīng)用程序的流程、參數(shù)等分析提取出預(yù)期路徑(5)所需的程序預(yù)期執(zhí)行路徑，同時(shí)為程序運(yùn)行特征碼記錄(4)提供為驗(yàn)證代碼正確的測(cè)試激勵(lì)。
4、具備程序運(yùn)行特征碼記錄(4)通過(guò)特征碼分配(2)將分配好特征碼的程序聯(lián)合應(yīng)用程序(3)提供的測(cè)試激勵(lì)進(jìn)行測(cè)試，執(zhí)行完成后直接生成執(zhí)行路徑(6)所需的執(zhí)行特征碼路徑。
5、具備預(yù)期路徑(5)通過(guò)應(yīng)用程序(3)分析提取程序特征碼的執(zhí)行路徑，將所得特征碼路徑傳遞給數(shù)據(jù)對(duì)比(7)進(jìn)行特征碼正確性比對(duì)。
6、具備執(zhí)行路徑(6)通過(guò)程序運(yùn)行特征碼記錄(4)得到程序最終執(zhí)行完成后的特征碼路徑，將執(zhí)行路徑傳遞給數(shù)據(jù)對(duì)比(7)進(jìn)行特征碼正確性比對(duì)。
7、具備數(shù)據(jù)對(duì)比(7)通過(guò)預(yù)期路徑(5)得到的程序預(yù)期執(zhí)行路徑和執(zhí)行路徑(6)得到的程序執(zhí)行路徑進(jìn)行路徑的正確性比對(duì)，將對(duì)比結(jié)果傳遞給運(yùn)行結(jié)果報(bào)告(8)。
8、具備功運(yùn)行結(jié)果報(bào)告(8)通過(guò)數(shù)據(jù)對(duì)比(7)得到的路徑對(duì)比數(shù)據(jù)輸出報(bào)告得到程序的正確性。
附圖說(shuō)明
圖1為本發(fā)明具體實(shí)施原理圖。
具體實(shí)施方式
下面對(duì)本發(fā)明做進(jìn)一步詳細(xì)說(shuō)明。
一種基于特征碼的軟件運(yùn)行檢測(cè)方法，如圖1所示，該方法包括
(1)程序結(jié)構(gòu)分析；
(2)特征碼分配；
(3)應(yīng)用程序；
(4)程序運(yùn)行特征碼記錄；
(5)預(yù)期路徑；
(6)執(zhí)行路徑；
(7)數(shù)據(jù)對(duì)比；
(8)運(yùn)行結(jié)果報(bào)告。
步驟(1)包括：通過(guò)對(duì)程序分塊、分析程序分支、循環(huán)、跳轉(zhuǎn)結(jié)構(gòu)得到特征碼需要加載的對(duì)應(yīng)位置或程序塊，并傳輸?shù)讲襟E(2)進(jìn)行程序特征碼的分配，特征碼能夠唯一的指定程序運(yùn)行路徑。
步驟(2)包括：為步驟(1)分析完成的程序進(jìn)行特征碼分配，分配完成后將程序輸出到步驟(4)，聯(lián)合步驟(3)完成程序?qū)?yīng)執(zhí)行路徑的結(jié)果記錄。
步驟(3)包括：通過(guò)應(yīng)用程序的流程、參數(shù)等分析提取出步驟(5)所需的程序預(yù)期執(zhí)行路徑，同時(shí)為步驟(4)提供為驗(yàn)證代碼正確的測(cè)試激勵(lì)。
步驟(4)包括：通過(guò)步驟(2)將分配好特征碼的程序聯(lián)合步驟(3)提供的測(cè)試激勵(lì)進(jìn)行測(cè)試，執(zhí)行完成后直接生成步驟(6)所需的執(zhí)行特征碼路徑。
步驟(5)包括：通過(guò)步驟(3)分析提取程序特征碼的執(zhí)行路徑，將所得特征碼路徑傳遞給步驟(7)進(jìn)行特征碼正確性比對(duì)。
步驟(6)包括：通過(guò)步驟(4)得到程序最終執(zhí)行完成后的特征碼路徑，將執(zhí)行路徑傳遞給步驟(7)進(jìn)行特征碼正確性比對(duì)。
步驟(7)包括：通過(guò)步驟(5)得到的程序預(yù)期執(zhí)行路徑和步驟(6)得到的程序執(zhí)行路徑進(jìn)行路徑的正確性比對(duì)，將對(duì)比結(jié)果傳遞給步驟(8)。
步驟(8)包括：通過(guò)步驟(7)得到的路徑對(duì)比數(shù)據(jù)輸出報(bào)告得到程序的正確性。