[發(fā)明專(zhuān)利]一種基于擴(kuò)展有限狀態(tài)機(jī)的軟件通信體系架構(gòu)符合性測(cè)試建模方法

在審

• 申請(qǐng)?zhí)枺?/td>: 202010063310.3
• 申請(qǐng)日: 2020-01-20
• 公開(kāi)（公告）號(hào): CN111274142A
• 公開(kāi)（公告）日: 2020-06-12
• 發(fā)明（設(shè)計(jì)）人: 唐麒;伍旭東;魏急波;連進(jìn);趙海濤
• 申請(qǐng)（專(zhuān)利權(quán)）人: 中國(guó)人民解放軍國(guó)防科技大學(xué)
• 主分類(lèi)號(hào): G06F11/36
• 分類(lèi)號(hào): G06F11/36
• 代理公司: 湖南省國(guó)防科技工業(yè)局專(zhuān)利中心 43102
• 代理人: 馮青

本發(fā)明提供了一種基于擴(kuò)展有限狀態(tài)機(jī)的軟件通信體系架構(gòu)符合性測(cè)試建模方法，解決現(xiàn)有僅依靠分析測(cè)試間的依賴(lài)關(guān)系很難構(gòu)建完備的測(cè)試序列問(wèn)題。本發(fā)明的模型能夠直觀的展示被測(cè)組件的運(yùn)行過(guò)程，分析需求測(cè)試間的依賴(lài)關(guān)系，指導(dǎo)測(cè)試序列構(gòu)建，為測(cè)試自動(dòng)化提供有效的支撐。能夠直觀的展現(xiàn)測(cè)試過(guò)程中軟件無(wú)線電系統(tǒng)的運(yùn)行流程，提高了測(cè)試程序的可讀性，彌補(bǔ)了國(guó)內(nèi)對(duì)軟件通信體系架構(gòu)符合性測(cè)試研究的空缺，為后續(xù)的測(cè)試自動(dòng)化的研究奠定了較好的基礎(chǔ)。

技術(shù)領(lǐng)域

本發(fā)明涉及一種基于軟件無(wú)線電（Software?Definition?Radio，SDR）系統(tǒng)符合性測(cè)試的建模方法，具體來(lái)說(shuō)，涉及一種基于擴(kuò)展有限狀態(tài)機(jī)的軟件通信體系架構(gòu)（SoftwareCommunications?Architecture，SCA）符合性測(cè)試建模方法，該方法結(jié)合擴(kuò)展有限狀態(tài)機(jī)進(jìn)行建模，能夠直觀的展示在測(cè)試過(guò)程中，系統(tǒng)的運(yùn)行過(guò)程，并且分析需求測(cè)試間的依賴(lài)關(guān)系，指導(dǎo)測(cè)試用例的構(gòu)建，為測(cè)試自動(dòng)化提供有效的支撐。

背景技術(shù)

SDR技術(shù)是現(xiàn)階段非常流行的一種無(wú)線電通信技術(shù)，興起于上世紀(jì)90年代，它通過(guò)將軟件、硬件與無(wú)線電技術(shù)有機(jī)地結(jié)合，組成具有很強(qiáng)靈活性和開(kāi)放性的系統(tǒng)。SDR系統(tǒng)依托于一個(gè)標(biāo)準(zhǔn)化的硬件平臺(tái)，通過(guò)使用上層軟件對(duì)底層硬件進(jìn)行控制，從而實(shí)現(xiàn)各種波形，將無(wú)線電技術(shù)從基于硬件的電臺(tái)技術(shù)中釋放出來(lái)。

為建立一個(gè)標(biāo)準(zhǔn)化的、不依賴(lài)于具體硬件的，并主要應(yīng)用于波形的開(kāi)發(fā)與實(shí)現(xiàn)的軟件框架，聯(lián)合戰(zhàn)術(shù)網(wǎng)絡(luò)中心（JTNC）發(fā)布的關(guān)于軟件無(wú)線電體系結(jié)構(gòu)的標(biāo)準(zhǔn)規(guī)范集即SCA規(guī)范，并為美軍軟件無(wú)線電所強(qiáng)制采用。該規(guī)范是系統(tǒng)頂層的設(shè)計(jì)規(guī)范，它涉及到SDR系統(tǒng)的軟件、硬件體系結(jié)構(gòu)以及上層應(yīng)用程序的接口。SCA體系結(jié)構(gòu)分為6層：總線驅(qū)動(dòng)和板級(jí)硬件驅(qū)動(dòng)層;網(wǎng)絡(luò)和串行接口服務(wù)層;POSIX?操作系統(tǒng)接口層;CORBA中間件層;核心框架（Core?Framework，CF）層;應(yīng)用層。

CF是SCA的重要組成部分，其包含一組應(yīng)用編程接口、組件以及配置文件。配置文件主要采用可擴(kuò)展描述語(yǔ)言（XML）進(jìn)行編寫(xiě)，主要用于描述組件的結(jié)構(gòu)以及功能；接口采用接口定義語(yǔ)言（IDL）進(jìn)行定義；組件是接口和配置文件的載體，與一至多個(gè)配置文件相關(guān)聯(lián)，并通過(guò)實(shí)現(xiàn)對(duì)應(yīng)的接口，以具備相應(yīng)的功能。所有組件都必要實(shí)現(xiàn)CF所定義的基本接口，以便CF能夠使用統(tǒng)一的方式進(jìn)行訪問(wèn)和控制。

SCA規(guī)范是一個(gè)頂層的框架設(shè)計(jì)規(guī)范，它僅規(guī)定了核心框架的組成以及其應(yīng)具備的功能，對(duì)于具體的實(shí)現(xiàn)細(xì)節(jié)并沒(méi)有提出要求。而軟件無(wú)線電系統(tǒng)運(yùn)行在各種不同的硬件平臺(tái)上，各單位研究出來(lái)的軟件產(chǎn)品可能存在很多差異，因此必須對(duì)軟件無(wú)線電系統(tǒng)進(jìn)行符合性測(cè)試，以驗(yàn)證其是否符合SCA標(biāo)準(zhǔn)。其目的在于保證波形軟件的通用性和跨平臺(tái)性。

SCA核心框架的符合性測(cè)試對(duì)于保障軟件無(wú)線電系統(tǒng)的質(zhì)量起著至關(guān)重要的作用，目前國(guó)內(nèi)外對(duì)SCA核心框架測(cè)試自動(dòng)化方面的研究較為空缺，并且在實(shí)際的測(cè)試過(guò)程中存在很多復(fù)雜的情況，現(xiàn)階段面臨的主要問(wèn)題是：

（1）需求的測(cè)試間存在依賴(lài)關(guān)系，但是由于一些測(cè)試的進(jìn)行會(huì)對(duì)后續(xù)測(cè)試造成影響，甚至可能造成造成后續(xù)測(cè)試無(wú)法進(jìn)行，因此僅僅依靠分析測(cè)試間的依賴(lài)關(guān)系很難構(gòu)建完備的測(cè)試序列。

（2）傳統(tǒng)的測(cè)試方法是人工指定測(cè)試順序，該方法測(cè)試效率低下，容易造成遺漏，不能很好的保證測(cè)試的覆蓋度，并且由于測(cè)試間的相互影響，還可能造成測(cè)試的結(jié)果錯(cuò)誤。

（3）為了保證SDR系統(tǒng)能夠正常的運(yùn)行，一些需求需要在多種不同情況下進(jìn)行多次測(cè)試。如何實(shí)現(xiàn)針對(duì)某些功能或整個(gè)系統(tǒng)的循環(huán)測(cè)試的的測(cè)試序列自動(dòng)化構(gòu)建，是當(dāng)前面臨的一個(gè)難題。

（4）缺乏模型能夠直觀的呈現(xiàn)整個(gè)測(cè)試過(guò)程，當(dāng)測(cè)試過(guò)程中系統(tǒng)出現(xiàn)多個(gè)錯(cuò)誤時(shí)，很難去分析錯(cuò)誤的原因并加以修正。

發(fā)明內(nèi)容