技術(shù)總結(jié)
本發(fā)明的目的在于，提供一種在測試目標代碼時，能夠使用時序邏輯式表示合格與否基準的技術(shù)。測試用例生成系統(tǒng)包括：控制內(nèi)容生成部，其根據(jù)運行路徑信息，生成與測試運行控制內(nèi)容相關(guān)的信息，所述運行路徑信息是由成為檢測對象的目標代碼或者可運行形式文件的模型搜索到的；合格與否條件生成部，其根據(jù)針對所述檢測對象的包含時間要素的檢測式和所述運行路徑信息，生成與合格與否條件相關(guān)的信息，所述合格與否條件是由沒有時間要素的判定式和運行該判定式的時刻組合而成的；以及測試用例生成部，其根據(jù)與所述測試運行控制內(nèi)容相關(guān)的信息和與所述合格與否條件相關(guān)的信息，生成具有和所述檢測式對應(yīng)的合格與否條件的測試用例。

技術(shù)研發(fā)人員：松原正裕;大野敦寬;根本守
受保護的技術(shù)使用者：日立汽車系統(tǒng)株式會社
文檔號碼：201580023480
技術(shù)研發(fā)日：2015.06.03
技術(shù)公布日：2017.02.15