[發(fā)明專(zhuān)利]一種面向SCADE的自動(dòng)化腳本生成方法在審
| 申請(qǐng)?zhí)枺?/td> | 201710268913.5 | 申請(qǐng)日: | 2017-04-21 |
| 公開(kāi)(公告)號(hào): | CN107194035A | 公開(kāi)(公告)日: | 2017-09-22 |
| 發(fā)明(設(shè)計(jì))人: | 權(quán)源;沈波 | 申請(qǐng)(專(zhuān)利權(quán))人: | 東華大學(xué) |
| 主分類(lèi)號(hào): | G06F17/50 | 分類(lèi)號(hào): | G06F17/50;G06F11/36 |
| 代理公司: | 上海申匯專(zhuān)利代理有限公司31001 | 代理人: | 翁若瑩,吳小麗 |
| 地址: | 200050 上*** | 國(guó)省代碼: | 上海;31 |
| 權(quán)利要求書(shū): | 查看更多 | 說(shuō)明書(shū): | 查看更多 |
| 摘要: | |||
| 搜索關(guān)鍵詞: | 一種 面向 scade 自動(dòng)化 腳本 生成 方法 | ||
技術(shù)領(lǐng)域
本發(fā)明涉及自動(dòng)化腳本技術(shù)領(lǐng)域,特別是涉及一種面向SCADE的自動(dòng)化腳本生成方法。
背景技術(shù)
車(chē)載子系統(tǒng)由于其要求的高度實(shí)時(shí)性和安全性,因此必須在嵌入式的操作系統(tǒng)環(huán)境中運(yùn)行。目前,很多安全的嵌入式軟件都采用了SCADE作為開(kāi)發(fā)環(huán)境。在SCADE中提供了Simulation功能,該功能可以自動(dòng)化執(zhí)行測(cè)試人員設(shè)計(jì)的腳本,并且是在圖形化建模的環(huán)境中,因此測(cè)試人員可以看到每一步的輸出結(jié)果,測(cè)試結(jié)果非常清晰。
在利用SCADE建模的嵌入式軟件中,可以根據(jù)建模之后的輸入接口設(shè)計(jì)輸入腳本。但是腳本設(shè)計(jì)過(guò)程中,如果純粹靠手工設(shè)計(jì),工作量非常大。這是因?yàn)?,由于?shí)時(shí)性的要求,往往嵌入式軟件周期都在毫秒級(jí),為了測(cè)試一個(gè)功能,有時(shí)候腳本會(huì)達(dá)到成千上萬(wàn)的周期數(shù),并且每一個(gè)周期所要求的輸入數(shù)據(jù)都是在動(dòng)態(tài)變化的。
為此,如何實(shí)現(xiàn)腳本的自動(dòng)化,是本領(lǐng)域技術(shù)人員致力于解決的難題。
發(fā)明內(nèi)容
本發(fā)明要解決的技術(shù)問(wèn)題是提供一種面向SCADE的自動(dòng)化腳本生成方法,以有效減少測(cè)試人員的大量重復(fù)性工作,避免手工設(shè)計(jì)腳本,提高工作效率。
為了解決上述技術(shù)問(wèn)題,本發(fā)明的技術(shù)方案是提供一種面向SCADE的自動(dòng)化腳本生成方法,其特征在于,該方法由以下3個(gè)步驟組成:
步驟1:模擬系統(tǒng)數(shù)據(jù)
從數(shù)據(jù)庫(kù)獲得區(qū)域控制器、中央控制器的信息,在模擬區(qū)域控制器數(shù)據(jù)時(shí),必須根據(jù)真實(shí)通信周期來(lái)動(dòng)態(tài)生成數(shù)據(jù);
步驟2:模擬途徑站場(chǎng)設(shè)備數(shù)據(jù)
對(duì)站場(chǎng)圖進(jìn)行仿真,根據(jù)列車(chē)在軌道上的動(dòng)態(tài)運(yùn)動(dòng),獲得列車(chē)途經(jīng)的軌道數(shù)據(jù);
步驟3:模擬列車(chē)數(shù)據(jù)
建立單質(zhì)點(diǎn)列車(chē)模型,對(duì)列車(chē)進(jìn)行仿真,從而獲得列車(chē)的狀態(tài)信息。
優(yōu)選地,所述步驟2具體包括以下子步驟:
步驟2.1:站場(chǎng)圖仿真
根據(jù)配置文件繪制出站場(chǎng)圖,以站場(chǎng)圖拓?fù)浣Y(jié)構(gòu)的點(diǎn)指代道岔、邊指代軌道,先繪制道岔,再繪制軌道、信號(hào)機(jī)、應(yīng)答器、站臺(tái);
步驟2.2:獲得列車(chē)途徑站場(chǎng)設(shè)備數(shù)據(jù)
當(dāng)列車(chē)在啟動(dòng)之后、經(jīng)過(guò)應(yīng)答器時(shí),提取該應(yīng)答器對(duì)應(yīng)的報(bào)文信息,并進(jìn)行十六進(jìn)制到ASCII碼的轉(zhuǎn)換,得到應(yīng)答器數(shù)據(jù);當(dāng)列車(chē)啟動(dòng)后、在途經(jīng)的站臺(tái)時(shí),在腳本中進(jìn)行記錄,得到站臺(tái)數(shù)據(jù)。
優(yōu)選地,所述步驟3具體包括以下子步驟:
步驟3.1:建立單質(zhì)點(diǎn)列車(chē)模型
列車(chē)所受外力主要有:列車(chē)自身的重力mg、線路對(duì)列車(chē)的支持力N、列車(chē)牽引力F、列車(chē)制動(dòng)力B、列車(chē)基本阻力w0、列車(chē)附加阻力wj,其中后四種力影響列車(chē)運(yùn)行狀態(tài),也就是它們的合力決定列車(chē)的運(yùn)行狀態(tài),即列車(chē)所受的合力為
C=F-B-w0-wj;
步驟3.2:獲得列車(chē)狀態(tài)信息
獲得列車(chē)的加速度、波特率、單位車(chē)輪輸出脈沖數(shù)。
優(yōu)選地,所述步驟3具體包括以下子步驟:
步驟3.1:建立單質(zhì)點(diǎn)列車(chē)模型
列車(chē)所受外力主要有:列車(chē)自身的重力mg、線路對(duì)列車(chē)的支持力N、列車(chē)牽引力F、列車(chē)制動(dòng)力B、列車(chē)基本阻力w0、列車(chē)附加阻力wi,其中后四種力影響列車(chē)運(yùn)行狀態(tài),也就是它們的合力決定列車(chē)的運(yùn)行狀態(tài),即列車(chē)所受的合力為
C=F-B-w0-wi;
步驟3.2:獲得列車(chē)狀態(tài)信息
獲得列車(chē)的加速度、波特率、單位車(chē)輪輸出脈沖數(shù)。
優(yōu)選地,所述步驟3.2中,列車(chē)的加速度是給予列車(chē)的實(shí)時(shí)加速度,根據(jù)牛頓第二運(yùn)動(dòng)定律得到:
C=ma
其中,C為列車(chē)所受的合力,m為列車(chē)的質(zhì)量,a為列車(chē)的加速度。
優(yōu)選地,所述步驟3.2中,列車(chē)的波特率由下式計(jì)算得出:
其中,D1指代列車(chē)的輪徑,N指代列車(chē)的車(chē)輪按周長(zhǎng)分為多少部分,Vs(t)則指代列車(chē)當(dāng)前的實(shí)時(shí)速度,Tt即為列車(chē)的波特率。
優(yōu)選地,所述步驟3.2中,列車(chē)的單位車(chē)輪輸出脈沖數(shù)由下式計(jì)算得出:
該專(zhuān)利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息,商用須獲得專(zhuān)利權(quán)人授權(quán)。該專(zhuān)利全部權(quán)利屬于東華大學(xué),未經(jīng)東華大學(xué)許可,擅自商用是侵權(quán)行為。如果您想購(gòu)買(mǎi)此專(zhuān)利、獲得商業(yè)授權(quán)和技術(shù)合作,請(qǐng)聯(lián)系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201710268913.5/2.html,轉(zhuǎn)載請(qǐng)聲明來(lái)源鉆瓜專(zhuān)利網(wǎng)。
- 上一篇:一種全自動(dòng)碳酸飲料機(jī)
- 下一篇:一種智能飲水機(jī)
- 同類(lèi)專(zhuān)利
- 專(zhuān)利分類(lèi)
G06F 電數(shù)字?jǐn)?shù)據(jù)處理
G06F17-00 特別適用于特定功能的數(shù)字計(jì)算設(shè)備或數(shù)據(jù)處理設(shè)備或數(shù)據(jù)處理方法
G06F17-10 .復(fù)雜數(shù)學(xué)運(yùn)算的
G06F17-20 .處理自然語(yǔ)言數(shù)據(jù)的
G06F17-30 .信息檢索;及其數(shù)據(jù)庫(kù)結(jié)構(gòu)
G06F17-40 .數(shù)據(jù)的獲取和記錄
G06F17-50 .計(jì)算機(jī)輔助設(shè)計(jì)
- 一種利用C++test執(zhí)行SCADE測(cè)試對(duì)象的方法
- 基于形式化模型開(kāi)發(fā)的計(jì)算機(jī)聯(lián)鎖軟件開(kāi)發(fā)與實(shí)現(xiàn)系統(tǒng)
- 基于SCADE軟件開(kāi)發(fā)環(huán)境建模方法
- 一種應(yīng)用于核電安全級(jí)DCS數(shù)據(jù)處理方法
- 基于MBSE的聯(lián)鎖功能缺陷分析的方法及裝置、聯(lián)鎖系統(tǒng)
- 一種基于模型轉(zhuǎn)換的狀態(tài)機(jī)模型時(shí)序性質(zhì)驗(yàn)證系統(tǒng)
- 一種基于模型轉(zhuǎn)換的狀態(tài)機(jī)模型時(shí)序性質(zhì)驗(yàn)證方法
- 一種基于SCADE基礎(chǔ)算法塊的邏輯組態(tài)圖符配置方法
- 一種基于模型開(kāi)發(fā)中的軟件架構(gòu)和調(diào)度設(shè)計(jì)方法
- 一種基于模型開(kāi)發(fā)中的聯(lián)合仿真方法
- 自動(dòng)化設(shè)備和自動(dòng)化系統(tǒng)
- 一種基于流程驅(qū)動(dòng)的測(cè)試自動(dòng)化方法以及測(cè)試自動(dòng)化系統(tǒng)
- 用于工業(yè)自動(dòng)化設(shè)備認(rèn)識(shí)的系統(tǒng)和方法
- 實(shí)現(xiàn)過(guò)程自動(dòng)化服務(wù)的標(biāo)準(zhǔn)化設(shè)計(jì)方法學(xué)的自動(dòng)化系統(tǒng)
- 一種日產(chǎn)50萬(wàn)安時(shí)勻漿自動(dòng)化系統(tǒng)
- 一種自動(dòng)化肥料生產(chǎn)系統(tǒng)
- 一種電氣自動(dòng)化設(shè)備自動(dòng)檢測(cè)系統(tǒng)及檢測(cè)方法
- 用于自動(dòng)化應(yīng)用的抽象層
- 一種基于虛擬化架構(gòu)的自動(dòng)化系統(tǒng)功能驗(yàn)證方法
- 自動(dòng)化測(cè)試框架自動(dòng)測(cè)試的實(shí)現(xiàn)技術(shù)
- 腳本處理方法及裝置
- 一種實(shí)現(xiàn)腳本引擎的系統(tǒng)及方法
- 代理自動(dòng)配置腳本的處理方法及代理自動(dòng)配置腳本服務(wù)器
- 一種腳本執(zhí)行方法、裝置及計(jì)算設(shè)備
- 腳本轉(zhuǎn)換方法、裝置、計(jì)算機(jī)設(shè)備及存儲(chǔ)介質(zhì)
- 性能測(cè)試平臺(tái)腳本存儲(chǔ)方法、裝置、設(shè)備及存儲(chǔ)介質(zhì)
- 一種實(shí)現(xiàn)測(cè)試腳本驗(yàn)證的方法及系統(tǒng)
- 結(jié)構(gòu)化查詢語(yǔ)言腳本審查方法及相關(guān)設(shè)備
- 基于FitNesse框架的數(shù)據(jù)驅(qū)動(dòng)腳本庫(kù)的方法、系統(tǒng)及介質(zhì)
- 一種腳本審計(jì)方法、裝置、設(shè)備及存儲(chǔ)介質(zhì)





