一種用于自主導航軟件的可靠性驗證及評估方法，通過對星座級自主導航軟件運行特點進行識別，自上而下逐層構(gòu)造面向星座級自主導航軟件可靠性測試的星間網(wǎng)絡(luò)交互剖面，生成星座級自主導航軟件可靠性測試用例，分析匹配用例所需運行場景，執(zhí)行用例并進行軟件可靠性評估驗證，若滿足技術(shù)指標要求則停止可靠性測試，否則針對失效缺陷進行修改，再重新設(shè)計生成可靠性測試用例，直至軟件可靠性滿足所分配的指標要求。