1.一種測試用例生成系統(tǒng)，其特征在于，包括：
控制內(nèi)容生成部，其根據(jù)運(yùn)行路徑信息，生成與測試運(yùn)行控制內(nèi)容相關(guān)的信息，所述運(yùn)行路徑信息是由成為檢測對象的目標(biāo)代碼或者可運(yùn)行形式文件的模型搜索到的；
合格與否條件生成部，其根據(jù)針對所述檢測對象的包含時(shí)間要素的檢測式和所述運(yùn)行路徑信息，生成與合格與否條件相關(guān)的信息，所述合格與否條件是由沒有時(shí)間要素的判定式和運(yùn)行該判定式的時(shí)刻組合而成的；以及
測試用例生成部，其根據(jù)與所述測試運(yùn)行控制內(nèi)容相關(guān)的信息和與所述合格與否條件相關(guān)的信息，生成具有和所述檢測式對應(yīng)的合格與否條件的測試用例。
2.根據(jù)權(quán)利要求1所述的測試用例生成系統(tǒng)，其特征在于，
所述檢測式的所述時(shí)間要素是“通常”的意思時(shí)，所述合格與否條件生成部向與所述合格與否條件相關(guān)的信息添加第1信息，所述第1信息表示取得所述合格與否條件的判定結(jié)果的AND，
所述測試用例生成部添加所述第1信息并生成所述測試用例。
3.根據(jù)權(quán)利要求1所述的測試用例生成系統(tǒng)，其特征在于，
所述檢測式的所述時(shí)間要素是“將來”的意思時(shí)，所述合格與否條件生成部向與所述合格與否條件相關(guān)的信息添加第2信息，所述2信息表示取得所述合格與否條件的判定結(jié)果的OR，
所述測試用例生成部添加所述第2信息并生成所述測試用例。
4.根據(jù)權(quán)利要求1所述的測試用例生成系統(tǒng)，其特征在于，
所述檢測式的所述時(shí)間要素是“將來”的意思時(shí)，所述測試用例生成部輸出與所述檢測式對應(yīng)的所述合格與否條件的觸發(fā)被添加為最后的事件的所述測試用例。
5.根據(jù)權(quán)利要求1所述的測試用例生成系統(tǒng)，其特征在于，
所述合格與否條件生成部參照包含將所述檢測式變換為所述合格與否條件的規(guī)則的檢測式解讀信息，生成與所述合格與否條件相關(guān)的信息。
6.根據(jù)權(quán)利要求5所述的測試用例生成系統(tǒng)，其特征在于，
所述檢測式解讀信息包含所述檢測式的語法形式、所述合格與否條件和以1個(gè)測試用例整體來進(jìn)行合格與否判定時(shí)的合格與否條件間的關(guān)系作為構(gòu)成項(xiàng)目。
7.根據(jù)權(quán)利要求1所述的測試用例生成系統(tǒng)，其特征在于，
還具備根據(jù)所述模型解析控制流信息的運(yùn)行路徑解析部。
8.根據(jù)權(quán)利要求7所述的測試用例生成系統(tǒng)，其特征在于，
所述測試用例生成部使用所述控制流的信息，排列與所述測試運(yùn)行控制內(nèi)容相關(guān)的信息和與所述合格與否條件相關(guān)的信息，由此生成所述測試用例。
9.根據(jù)權(quán)利要求7所述的測試用例生成系統(tǒng)，其特征在于，
所述控制內(nèi)容生成部使用所述控制流的信息，生成與所述測試運(yùn)行控制內(nèi)容相關(guān)的信息。
10.根據(jù)權(quán)利要求7所述的測試用例生成系統(tǒng)，其特征在于，
所述合格與否條件生成部使用所述控制流的信息，生成與所述合格與否條件相關(guān)的信息。
11.一種計(jì)算機(jī)可讀取的記錄介質(zhì)，其特征在于，記錄了具有數(shù)據(jù)結(jié)構(gòu)的數(shù)據(jù)，所述數(shù)據(jù)結(jié)構(gòu)是用于使計(jì)算機(jī)執(zhí)行對成為檢測對象的目標(biāo)代碼或者可運(yùn)行形式文件檢測的處理的測試用例的數(shù)據(jù)結(jié)構(gòu)，其包含與測試運(yùn)行控制內(nèi)容相關(guān)的信息，以及與由沒有時(shí)間要素的判定式和運(yùn)行該判定式的時(shí)刻組合而成的合格與否條件相關(guān)的信息。
12.一種根據(jù)權(quán)利要求11所述的計(jì)算機(jī)可讀取的記錄介質(zhì)，其特征在于，
所述數(shù)據(jù)結(jié)構(gòu)內(nèi)被添加了表示取得所述合格與否條件的判定結(jié)果的AND或者OR的信息。
13.一種根據(jù)權(quán)利要求12所述的計(jì)算機(jī)可讀取的記錄介質(zhì)，其特征在于，
在表示取得所述合格與否條件的判定結(jié)果的OR的信息被添加的情況下，在所述數(shù)據(jù)結(jié)構(gòu)中，所述合格與否條件的觸發(fā)作為最后的事件而被添加。