開篇一個(gè)軟件測試從業(yè)者收到“軍規(guī)”需求后的第一反應(yīng)如果你在軟件行業(yè)待得夠久多少會(huì)遇到一些帶著“軍用”、“涉密”、“軍規(guī)”標(biāo)簽的需求。這類項(xiàng)目一來測試團(tuán)隊(duì)往往既興奮又緊張。興奮的是技術(shù)含量高、流程嚴(yán)謹(jǐn)能學(xué)到正規(guī)軍的路數(shù)緊張的是涉軍項(xiàng)目普遍有保密要求和資質(zhì)門檻稍不注意就會(huì)踩到紅線。今天我不討論某家具體單位、某個(gè)具體型號(hào)只談?wù)劇皩?dǎo)彈制導(dǎo)代碼改造”這個(gè)方向上軟件測試從業(yè)者應(yīng)該具備的專業(yè)視角和合規(guī)意識(shí)。先說明一點(diǎn)市面上流傳的各種“軍工代碼改造教程”、“導(dǎo)彈制導(dǎo)源碼解析”之類的資料絕大多數(shù)要么是拼湊的偽技術(shù)內(nèi)容要么本身就存在合規(guī)風(fēng)險(xiǎn)。真正的制導(dǎo)系統(tǒng)代碼屬于嚴(yán)格管制的敏感信息未授權(quán)的分析、改造、傳播都可能觸碰法律紅線。所以這篇文章真正想聊的是如果確有合法合規(guī)的軍規(guī)軟件改造需求比如某單位內(nèi)部允許的國產(chǎn)化適配、確定用途的仿真驗(yàn)證作為測試從業(yè)者應(yīng)該關(guān)注哪些環(huán)節(jié)、使用什么方法、規(guī)避什么風(fēng)險(xiǎn)。這個(gè)領(lǐng)域涉及的核心關(guān)鍵詞是軟件測試、制導(dǎo)控制系統(tǒng)、代碼級驗(yàn)證、國產(chǎn)化適配、軍規(guī)民用技術(shù)轉(zhuǎn)化。接下來我會(huì)從測試視角把這類項(xiàng)目從接手到交付的全流程拆開講清楚。1. 軍規(guī)軟件的民用化改造先看清邊界條件1.1 這類項(xiàng)目的前置門檻不是技術(shù)而是合規(guī)很多開發(fā)者拿到一個(gè)“軍規(guī)民用”的需求第一反應(yīng)是找代碼、跑測試、上工具鏈但實(shí)際上一開始就應(yīng)該卡在合規(guī)審查上。以導(dǎo)彈制導(dǎo)代碼為例它涉及制導(dǎo)算法、慣性導(dǎo)航解算、目標(biāo)識(shí)別與跟蹤、末端控制律等多個(gè)模塊每一塊都可能包含國家管控的技術(shù)內(nèi)容。按照現(xiàn)行裝備技術(shù)管制和相關(guān)保密法規(guī)未履行審批程序的代碼復(fù)制、逆向、改造哪怕只是用于學(xué)習(xí)研究也可能構(gòu)成違規(guī)。所以我的第一條建議是先確認(rèn)合規(guī)邊界再談技術(shù)改造。如果是單位內(nèi)部立項(xiàng)的科研項(xiàng)目需要有明確的審批記錄和技術(shù)用途限定如果是個(gè)人自學(xué)的場景不要嘗試獲取、復(fù)制任何真實(shí)型號(hào)代碼而是使用公開學(xué)術(shù)文獻(xiàn)中的仿真算法模型來做學(xué)習(xí)驗(yàn)證。正規(guī)的軟件測試測試流程可以復(fù)現(xiàn)但測試對象必須是合法來源。這個(gè)環(huán)節(jié)測試人員能做什么輸出一份《測試對象合規(guī)性確認(rèn)表》列明代碼來源、密級標(biāo)識(shí)、審批文號(hào)、技術(shù)用途、測試環(huán)境物理隔離情況、參與人員范圍。不要覺得這是形式主義真正出過事兒的項(xiàng)目事后復(fù)盤幾乎都栽在流程缺失上。1.2 “軍規(guī)民用”本質(zhì)上是可靠性指標(biāo)的下沉撇開合規(guī)問題不談“軍規(guī)民用”在工程上到底意味著什么軍規(guī)系統(tǒng)的核心特點(diǎn)是高可靠性、高實(shí)時(shí)性、強(qiáng)抗干擾。導(dǎo)彈制導(dǎo)軟件運(yùn)行在極端環(huán)境下硬件資源有限、實(shí)時(shí)性要求苛刻、失效代價(jià)極高所以軟件工程上的要求遠(yuǎn)比普通民用軟件苛刻。民用化改造并不是簡單地把軍用代碼往民用硬件上一丟而是要在保證核心可靠性的前提下適配民用場景的資源約束和成本結(jié)構(gòu)。這兩者有時(shí)候會(huì)沖突。比如軍工系統(tǒng)常用冗余設(shè)計(jì)雙機(jī)熱備、三模冗余表決在民用品上直接照搬硬件成本可能翻三倍以上完全不劃算。測試視角下的“軍規(guī)民用”改造實(shí)際上是在做一套可靠的工程驗(yàn)證哪些可靠性保障必須保留哪些可以降級降級之后需要用什么測試手段來證明可靠性仍然達(dá)標(biāo)。這個(gè)取舍過程才是改造項(xiàng)目的真正核心。1.3 測試環(huán)境本身要先“軍規(guī)化”給人做測試的前提是你自己的測試環(huán)境也夠“軍規(guī)”。因?yàn)橹茖?dǎo)代碼對實(shí)時(shí)性、時(shí)序確定性極其敏感普通的PC機(jī)測試環(huán)境可能根本暴露不了真實(shí)故障。真正的制導(dǎo)類軟件測試最低限度要有確定的實(shí)時(shí)操作系統(tǒng)或裸機(jī)環(huán)境不能用普通桌面系統(tǒng)代跑與目標(biāo)硬件一致或嚴(yán)格等價(jià)的處理器平臺(tái)保證指令周期、內(nèi)存帶寬一致性具備時(shí)間戳精度在微秒級的采集工具用于時(shí)序分析獨(dú)立的測試記錄存儲(chǔ)與審計(jì)能力確保測試過程可追溯。很多測試人員習(xí)慣在x86開發(fā)板上跑代碼測出來功能全過一上目標(biāo)硬件就出詭異問題。這不是代碼的鍋是測試環(huán)境本身就失真了。2. 制導(dǎo)系統(tǒng)軟件測試的層次與核心關(guān)注點(diǎn)2.1 從單元級到系統(tǒng)級的四層測試體系制導(dǎo)軟件不是單一人程序而是由多個(gè)相互咬合的功能模塊構(gòu)成的完整系統(tǒng)。按我的經(jīng)驗(yàn)測試至少要分層分級一級一級向上收斂單元級測試針對單個(gè)函數(shù)、單個(gè)算法模塊重點(diǎn)驗(yàn)證輸入輸出映射是否正確。比如慣性導(dǎo)航解算模塊給定一組模擬的加速度計(jì)和陀螺儀數(shù)據(jù)檢查輸出的位置速度姿態(tài)是否在容忍誤差內(nèi)。模塊集成測試把相關(guān)的幾個(gè)單元組合起來驗(yàn)證數(shù)據(jù)接口和時(shí)序配合。例如制導(dǎo)律解算模塊與舵機(jī)控制模塊聯(lián)調(diào)需要驗(yàn)證指令更新率、控制周期是否匹配。系統(tǒng)級半實(shí)物測試接入真實(shí)或仿真的硬件設(shè)備如轉(zhuǎn)臺(tái)、仿真舵機(jī)形成閉環(huán)。這一級測試能暴露總線通信延遲、中斷優(yōu)先級沖突、數(shù)據(jù)競爭等時(shí)序類問題。系統(tǒng)級全實(shí)物/全員仿真測試在完整武器系統(tǒng)或全數(shù)字仿真環(huán)境中跑全過程飛行場景。這一階段主要驗(yàn)證總體飛行精度指標(biāo)也通常是最終驗(yàn)收的依據(jù)。每個(gè)層級對測試人員的要求都不一樣。單元測試重邏輯完備性集成測試重接口一致性半實(shí)物測試重時(shí)序全實(shí)物測試重環(huán)境構(gòu)建與數(shù)據(jù)閉環(huán)。2.2 實(shí)時(shí)性測試制導(dǎo)軟件最容易翻車的環(huán)節(jié)普通軟件測試測功能、測性能、測兼容性制導(dǎo)軟件多了一個(gè)極其敏感的維度——實(shí)時(shí)性。制導(dǎo)指令晚發(fā)1毫秒飛行器位置可能偏出好幾個(gè)彈徑整個(gè)閉環(huán)就失控了。實(shí)時(shí)性測試的具體關(guān)注點(diǎn)包括任務(wù)周期抖動(dòng)控制任務(wù)是否嚴(yán)格按固定周期啟動(dòng)抖動(dòng)不能超過規(guī)定閾值中斷響應(yīng)延遲關(guān)鍵中斷如導(dǎo)航數(shù)據(jù)更新從觸發(fā)到響應(yīng)的時(shí)間上限資源爭用多個(gè)任務(wù)同時(shí)到達(dá)時(shí)調(diào)度策略是否會(huì)導(dǎo)致高優(yōu)先級任務(wù)被阻塞時(shí)序邊界分析最壞情況下的執(zhí)行時(shí)間是否仍能滿足周期約束。這里要強(qiáng)調(diào)一個(gè)工程常識(shí)只看平均值沒有意義必須看最壞情況。某個(gè)數(shù)據(jù)采集函數(shù)的平均執(zhí)行時(shí)間是50微秒聽起來很安全但如果最壞情況跑到2毫秒控制周期都錯(cuò)過了那就是致命缺陷。測試必須構(gòu)造最壞情況場景比如同時(shí)觸發(fā)所有中斷、讓所有任務(wù)滿負(fù)荷并發(fā)去壓出那個(gè)最壞值。2.3 數(shù)值精度與誤差傳播分析制導(dǎo)代碼里充滿了浮點(diǎn)運(yùn)算、三角函數(shù)、矩陣變換數(shù)值精度問題比普通軟件更致命。民用軟件算錯(cuò)一個(gè)小數(shù)可能只是數(shù)據(jù)不準(zhǔn)制導(dǎo)軟件誤差累積會(huì)讓飛行器越飛越偏。我見過一個(gè)典型的例子某導(dǎo)航模塊用單精度浮點(diǎn)存儲(chǔ)速度累積值初期誤差微乎其微但飛行時(shí)間一長累積誤差越來越大最終超出控制律可修正范圍。這個(gè)問題在桌面環(huán)境的快速測試中根本發(fā)現(xiàn)不了必須用目標(biāo)環(huán)境和真實(shí)量級的數(shù)據(jù)長時(shí)間跑。數(shù)值測試的方法論對每個(gè)涉及浮點(diǎn)計(jì)算的模塊做誤差界分析明確輸入精度、中間舍入誤差、輸出允許誤差之間的關(guān)系設(shè)計(jì)邊界用例比如接近零的角度、接近90度的姿態(tài)角、極大極小速度值用雙精度結(jié)果做參考基線與單精度實(shí)現(xiàn)對比量化誤差傳播曲線關(guān)注三角函數(shù)、平方根等非線性運(yùn)算在邊緣區(qū)間接近奇異點(diǎn)的表現(xiàn)。2.4 安全性測試與失效模式分析導(dǎo)彈制導(dǎo)系統(tǒng)的安全性設(shè)計(jì)遵循一個(gè)核心原則任何單點(diǎn)故障都不能導(dǎo)致災(zāi)難性后果。落到軟件層面就是故障注入測試和異常路徑測試。具體測試動(dòng)作包括注入傳感器數(shù)據(jù)異常超量程、突跳、長時(shí)間丟幀驗(yàn)證系統(tǒng)能否進(jìn)入安全保護(hù)模式切斷某個(gè)通信鏈路驗(yàn)證指令通道降級邏輯是否按設(shè)計(jì)執(zhí)行模擬內(nèi)存讀寫異常、堆棧溢出、看門狗復(fù)位觀察系統(tǒng)恢復(fù)行為驗(yàn)證故障告警信息的完整性和處置動(dòng)作的正確性。這里最關(guān)鍵的是**測試用例不僅要想“正常情況怎么做”更要想“系統(tǒng)怎么死”。**你設(shè)計(jì)的每個(gè)異常用例本質(zhì)上是在問系統(tǒng)你壞掉的時(shí)候能不能壞得可控、壞得能預(yù)警。3. 改造過程中的典型工作流與關(guān)鍵實(shí)現(xiàn)環(huán)節(jié)3.1 代碼資產(chǎn)盤點(diǎn)與模塊邊界劃分任何改造項(xiàng)目啟動(dòng)前先做代碼資產(chǎn)盤點(diǎn)。不要上來就改代碼先弄清楚手上有什么、依賴什么、哪些是不可變的核心、哪些是可變的外圍適配層。以制導(dǎo)系統(tǒng)為例大體可以分成三類核心控制算法制導(dǎo)律、控制律、導(dǎo)航解算這些是整個(gè)系統(tǒng)的大腦民用化時(shí)通常盡可能保持不變因?yàn)樘鎿Q它們的風(fēng)險(xiǎn)遠(yuǎn)大于收益接口與驅(qū)動(dòng)層傳感器數(shù)據(jù)讀取、舵機(jī)指令輸出、通信協(xié)議這些與硬件平臺(tái)強(qiáng)綁定是民用化改造的重點(diǎn)需要適配新的處理器或總線架構(gòu)外圍監(jiān)控與健康管理BIT自檢、故障診斷、數(shù)據(jù)記錄這些模塊可以根據(jù)民用場景的成本需求做裁剪或簡化。模塊邊界的劃分原則是把不確定變化的硬件相關(guān)邏輯隔離在適配層內(nèi)核心算法層不因硬件更換而重寫。改造工作的第一步往往是重構(gòu)工程目錄結(jié)構(gòu)把清晰邊界建起來。3.2 工具鏈選擇的思路與爭議關(guān)于工具鏈?zhǔn)忻嫔详P(guān)于“軍工要用什么測試工具”的討論很多實(shí)際上沒有統(tǒng)一答案。選擇的核心邏輯是測試工具的精度和可信度不能低于被測軟件的精度需求。對于制導(dǎo)類代碼常用的工具有覆蓋率分析工具支持語句、分支、MC/DC覆蓋率靜態(tài)分析工具規(guī)則檢查、數(shù)據(jù)流分析、圈復(fù)雜度計(jì)算動(dòng)態(tài)插樁工具執(zhí)行軌跡、變量跟蹤、時(shí)序分析半實(shí)物仿真平臺(tái)目標(biāo)機(jī)調(diào)試器、實(shí)時(shí)數(shù)據(jù)采集、模型仿真環(huán)境。我個(gè)人強(qiáng)烈建議先做靜態(tài)分析再跑動(dòng)態(tài)測試。很多低級問題未初始化變量、越界訪問、不規(guī)范的強(qiáng)制類型轉(zhuǎn)換在動(dòng)態(tài)測試階段暴露時(shí)已經(jīng)很晚了靜態(tài)分析能提前揪出一大批。有一個(gè)細(xì)節(jié)容易忽略工具的認(rèn)證等級問題。在軍工級項(xiàng)目中測試工具本身的驗(yàn)證等級要跟被測軟件的安全等級匹配否則測試結(jié)論不被認(rèn)可。民用化改造如果還有剩余的系統(tǒng)認(rèn)證要求這一點(diǎn)尤其要提前確認(rèn)。3.3 測試用例庫的積累與復(fù)用策略制導(dǎo)類軟件的測試用例庫是核心資產(chǎn)不是一次性消耗品。我在項(xiàng)目里長期維護(hù)一套分層的用例庫算法層用例基于公開學(xué)術(shù)模型生成的仿真輸入輸出對用于驗(yàn)證算法實(shí)現(xiàn)正確性接口層用例模擬傳感器、舵機(jī)、通信總線的輸入激勵(lì)覆蓋正常、邊界、異常三種類型系統(tǒng)場景用例標(biāo)準(zhǔn)的飛行剖面直線飛行、大過載機(jī)動(dòng)、目標(biāo)丟失與重新捕獲等用于全流程驗(yàn)證故障注入用例各類典型故障模式的注入腳本和預(yù)期響應(yīng)。用例庫的維護(hù)標(biāo)準(zhǔn)是每個(gè)用例必須可追溯——輸入數(shù)據(jù)從哪來、預(yù)期輸出怎么算出來的、對應(yīng)什么需求條目。沒有追溯性的用例跑一萬條也說明不了問題?？煽康挠美龓炷茏尭脑旌蟮幕貧w測試事半功倍。這也是“軍規(guī)民用”項(xiàng)目里測試團(tuán)隊(duì)最拿得出手的經(jīng)驗(yàn)。3.4 回歸驗(yàn)證的灰度思維民用化改造不能搞成一次性革命建議采用灰度替換的方式對某個(gè)模塊做改造后先跑對比驗(yàn)證改造后模塊的輸出與改造前基準(zhǔn)平臺(tái)輸出進(jìn)行逐幀比對差異閾值內(nèi)才允許合并。這就是灰度驗(yàn)證的思路把“一次大改”拆成“多次小改”每次小改都有明確的驗(yàn)收儀表盤。實(shí)際操作中對比驗(yàn)證經(jīng)常遇到的問題是改造后代碼在某條用例上輸出有了微小差異。不要急著判定失敗先判斷差異來源如果差異來自浮點(diǎn)實(shí)現(xiàn)變更比如單精度換雙精度且差異在誤差允許范圍內(nèi)可以視為等價(jià)如果差異來自算法邏輯改動(dòng)則必須回溯變更影響面如果差異來自時(shí)序變化則要重新評估實(shí)時(shí)性指標(biāo)。這個(gè)逐級判斷的過程就是改造驗(yàn)證中最體現(xiàn)測試功力的環(huán)節(jié)。4. 常見問題與排查技巧實(shí)錄4.1 現(xiàn)象一改造后在目標(biāo)機(jī)上頻繁出現(xiàn)“卡死”我之前接觸過一個(gè)制導(dǎo)子系統(tǒng)改造案例代碼在開發(fā)環(huán)境跑得好好的移植到目標(biāo)機(jī)上出現(xiàn)不定時(shí)卡死。一開始懷疑是編譯器優(yōu)化問題關(guān)了優(yōu)化還是偶發(fā)后來懷疑是內(nèi)存時(shí)序問題測了幾輪沒結(jié)論。最后定位下來是中斷嵌套導(dǎo)致的棧溢出。目標(biāo)機(jī)的任務(wù)棧配置偏小改造后的代碼比原版多了一層函數(shù)調(diào)用中斷處理一嵌套棧直接壓爆。排查過程用到的關(guān)鍵手段是在可疑中斷入口和任務(wù)切換點(diǎn)打時(shí)間戳標(biāo)記通過比對任務(wù)切換序列找到棧異常的時(shí)刻點(diǎn)再用棧高水位檢測工具確認(rèn)溢出位置。這個(gè)問題的教訓(xùn)是改造引入的新代碼必須重新評估?？臻g和內(nèi)存布局不能沿用舊配置想當(dāng)然。4.2 現(xiàn)象二實(shí)時(shí)性能指標(biāo)波動(dòng)大時(shí)好時(shí)壞另一類常見問題是任務(wù)的周期抖動(dòng)時(shí)好時(shí)壞看起來沒有規(guī)律。這類問題通常跟緩存(Cache)行為有關(guān)。改造后的代碼局部性變差指令緩存命中率波動(dòng)執(zhí)行時(shí)間隨之劇烈起伏。排查思路是先用高精度時(shí)鐘采集任務(wù)實(shí)際啟動(dòng)時(shí)間序列計(jì)算周期抖動(dòng)分布然后觀察抖動(dòng)出現(xiàn)的觸發(fā)條件比如是否總在某個(gè)特定任務(wù)運(yùn)行后最后用緩存命中率監(jiān)測工具確認(rèn)是不是緩存沖突導(dǎo)致的。解決方案通常是調(diào)整代碼布局、優(yōu)化關(guān)鍵路徑分支結(jié)構(gòu)或者將關(guān)鍵任務(wù)鎖定在私有緩存區(qū)。4.3 現(xiàn)象四界面過后看板數(shù)據(jù)與實(shí)際不符有些民用化項(xiàng)目會(huì)給制導(dǎo)仿真系統(tǒng)加一套監(jiān)控看板用于外部展示結(jié)果出現(xiàn)看板顯示的數(shù)據(jù)與內(nèi)部實(shí)際運(yùn)行數(shù)據(jù)不一致的情況。這類問題大多出在快照采集時(shí)點(diǎn)了或者數(shù)據(jù)源映射錯(cuò)了。排查方法很簡單在數(shù)據(jù)源頭核心模塊輸出端和展示端看板接口同時(shí)打點(diǎn)記錄時(shí)間戳和數(shù)據(jù)值對比兩份記錄即可定位是采集時(shí)序問題還是數(shù)據(jù)映射錯(cuò)誤。絕大多數(shù)此類問題最后發(fā)現(xiàn)是整數(shù)與浮點(diǎn)互轉(zhuǎn)導(dǎo)致精度丟失或者單位換算遺漏。4.4 常見問題速查表故障現(xiàn)象主要排查方向常用處置手段功能偶發(fā)異常時(shí)序沖突、數(shù)據(jù)競爭加鎖/原子操作重構(gòu)共享數(shù)據(jù)訪問周期抖動(dòng)超標(biāo)緩存命中率、任務(wù)優(yōu)先級代碼局部性優(yōu)化調(diào)整調(diào)度策略數(shù)值漂移浮點(diǎn)精度、累積誤差提高計(jì)算精度定期校準(zhǔn)/重置異常后無法恢復(fù)故障恢復(fù)邏輯不完整補(bǔ)充看門狗、異常狀態(tài)機(jī)移植后性能倒退工具鏈優(yōu)化級別、內(nèi)存對齊目標(biāo)機(jī)重新編譯調(diào)優(yōu)5. 從測試視角看這個(gè)領(lǐng)域后續(xù)還可以怎么延伸軍規(guī)軟件測試的方法論并不只適用于軍工場景。做過這類型項(xiàng)目的人應(yīng)該有個(gè)體會(huì)經(jīng)歷過最嚴(yán)格約束的測試訓(xùn)練再看普通軟件項(xiàng)目很多隱藏的可靠性問題會(huì)變得一目了然。我個(gè)人建議如果對這類項(xiàng)目感興趣可以從三個(gè)方向延伸一是做模型級測試工具鏈的復(fù)現(xiàn)。不碰任何真實(shí)型號(hào)代碼用公開文獻(xiàn)里的控制算法復(fù)現(xiàn)一套仿真模型自己搭建測試環(huán)境練習(xí)單元測試、時(shí)序分析、故障注入的方法。這個(gè)方向材料好找、合規(guī)安全能幫助你建立完整的測試思維。二是深入學(xué)習(xí)實(shí)時(shí)系統(tǒng)原理與調(diào)度理論。制導(dǎo)軟件的實(shí)時(shí)性問題背后是任務(wù)調(diào)度、優(yōu)先級反轉(zhuǎn)、中斷延遲等操作系統(tǒng)層面的機(jī)制。把這塊吃透了以后做嵌入式測試、自動(dòng)駕駛軟件測試、機(jī)器人控制測試都會(huì)非常受用。三是積累故障注入測試的工程經(jīng)驗(yàn)。故障注入是軍工系統(tǒng)測試的看家本領(lǐng)也是民用軟件行業(yè)尤其是自動(dòng)駕駛、醫(yī)療器械、工業(yè)控制越來越重視的方向。提前掌握這個(gè)技能職業(yè)發(fā)展空間很大。說到底“軍規(guī)民用”的真正價(jià)值不在于把那些具體的軍規(guī)代碼拿過來跑一遍而在于把軍規(guī)工程那套嚴(yán)謹(jǐn)?shù)?、以安全為底線的思維方法遷移到民用軟件的質(zhì)量保障體系里。測試人員的核心優(yōu)勢恰恰就是這種跨場景的質(zhì)量判斷能力。