技術(shù)編號：6547658
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明提供，其具體實現(xiàn)過程為根據(jù)穩(wěn)定符號狀態(tài)遷移圖來靜態(tài)生成含時間延遲變量的遷移動作序列；引入時間延遲變量目標函數(shù),采用線性約束求解方法動態(tài)求解遷移動作序列中的時間延遲變量并執(zhí)行測試。該和現(xiàn)有技術(shù)相比，該測試方法對各類實時系統(tǒng)的一致性測試是十分有效的，實用性強，提高測試用例的錯誤檢測能力并減少生成的測試用例的數(shù)目，適用范圍廣泛，易于推廣。專利說明 [0001] 本發(fā)明涉及計算機領(lǐng)域系統(tǒng)測試技術(shù)，具體的說是一種提高實時系統(tǒng)質(zhì)量、基于 時間自動機的實時系...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習研究技術(shù)思路。