技術(shù)編號：6377579
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本公開涉及關(guān)于局部設(shè)計模型的用于軟件代碼的測試的測試案例的自動生成。背景技術(shù)存在有用于測試實現(xiàn)了開發(fā)中的軟件的套件的編程代碼的多種自動化方式?；谀Ｐ偷臏y試(MBT)是ー種特別有用的“黑匣子”軟件測試方式。MBT涉及使用高層次狀態(tài)機或其他實施代碼的合適模型的測試案例的自動生成。輸入信號被施加至模型的邊界，且模型的響應(yīng)被緊密地觀察。等同的代碼被測試以確定該代碼是否提供和模型相同的輸入/輸出序列。輸入域的相對寬的覆蓋可通過使用傳統(tǒng)的MBT技術(shù)實現(xiàn)，而不需要大量...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。