计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2010年
12期
2765-2768
,共4页
测试用例生成%模型检测%时间自动机%实时系统%状态空间爆炸%加速
測試用例生成%模型檢測%時間自動機%實時繫統%狀態空間爆炸%加速
측시용례생성%모형검측%시간자동궤%실시계통%상태공간폭작%가속
为了减少测试产生、执行,存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术.针对实时系统中不同的时间尺度,为了加快基于模型的测试用例生成的速度,通过对原时间自动机模型的结构进行改进,对这类实时系统进行测试产生优化.实验结果表明,优化后产生的测试用例集的大小及所用时间相对于优化之前有较大程度的约减,为进一步减少测试执行的时间,提高测试效率,加快软件开发进程提供了可行的解决途径.
為瞭減少測試產生、執行,存儲以及維護測試用例的代價,提齣瞭一種基于時間自動機模型的測試用例生成方法的優化技術.針對實時繫統中不同的時間呎度,為瞭加快基于模型的測試用例生成的速度,通過對原時間自動機模型的結構進行改進,對這類實時繫統進行測試產生優化.實驗結果錶明,優化後產生的測試用例集的大小及所用時間相對于優化之前有較大程度的約減,為進一步減少測試執行的時間,提高測試效率,加快軟件開髮進程提供瞭可行的解決途徑.
위료감소측시산생、집행,존저이급유호측시용례적대개,제출료일충기우시간자동궤모형적측시용례생성방법적우화기술.침대실시계통중불동적시간척도,위료가쾌기우모형적측시용례생성적속도,통과대원시간자동궤모형적결구진행개진,대저류실시계통진행측시산생우화.실험결과표명,우화후산생적측시용례집적대소급소용시간상대우우화지전유교대정도적약감,위진일보감소측시집행적시간,제고측시효솔,가쾌연건개발진정제공료가행적해결도경.
