1.一種用于軟件自動(dòng)生成系統(tǒng)的測試方法，其特征在于，包括如下步驟：
步驟一，通過編輯器進(jìn)行系統(tǒng)建模，得到軟件系統(tǒng)；
步驟二，在系統(tǒng)完成后，對系統(tǒng)進(jìn)行仿真，仿真系統(tǒng)包括被仿真系統(tǒng)、外界環(huán)境模擬模塊和交互監(jiān)視模塊；通過仿真器構(gòu)成被仿真系統(tǒng)；通過外界環(huán)境模擬模塊負(fù)責(zé)與系統(tǒng)交互各種消息；交互監(jiān)視模塊作為數(shù)據(jù)交互接口；
步驟三，通過工具對系統(tǒng)進(jìn)行遍歷，得到所有的測試用例；
步驟四，通過工具進(jìn)行測試用例的驗(yàn)證。
2.根據(jù)權(quán)利要求1所述的一種用于軟件自動(dòng)生成系統(tǒng)的測試方法，其特征在于，所述步驟三，通過工具對系統(tǒng)進(jìn)行遍歷，得到所有MSC序列組合，每一個(gè)MSC圖表示一個(gè)測試用例中，通過Validator工具進(jìn)行對系統(tǒng)的測試。
3.根據(jù)權(quán)利要求1所述的一種用于軟件自動(dòng)生成系統(tǒng)的測試方法，其特征在于，所述步驟四，通過工具進(jìn)行測試用例的驗(yàn)證中采用TTCN-SDL Co-simulator工具進(jìn)行定位錯(cuò)誤位置。