本發(fā)明提供了一種故障傳播模型下復雜系統(tǒng)任務可靠性試驗用例設計方法，其包括：基于Altarica系統(tǒng)故障傳播模型，收集并確認系統(tǒng)任務可靠性要求和模型，確定任務可靠性試驗的故障模式最低層次，確定任務可靠性試驗注入的故障模式及組合，確定各嚴重故障模式的試驗樣本數(shù)量，選定各嚴重故障模式的試驗樣本及判據(jù)，生成任務可靠性試驗測試用例。本發(fā)明利用Altarica故障傳播模型進行了規(guī)范化表達，保證了任務可靠性試驗設計的輸入數(shù)據(jù)源一致，并在保證驗證充分性的前提下縮減了驗證規(guī)模，提高了試驗效率，相對于單純考慮失效率的方法更為合理。