计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
4期
87-89
,共3页
嵌入式软件%软件测试%基于接口%模型驱动
嵌入式軟件%軟件測試%基于接口%模型驅動
감입식연건%연건측시%기우접구%모형구동
论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程.开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性.该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性.
論述瞭麵嚮嵌入式軟件測試的倣真建模相關理論、技術和方法,提齣瞭基于接口的模型外特性建模、麵嚮測試的模型內特性建模、模型驅動的測試過程.開髮瞭自動化輔助建模工具EasyModel,提高建模效率,保證模型的正確性.該工具已成功地應用于多箇型號的軟件繫統測試中,實驗結果證明瞭該倣真工具的有效性.
논술료면향감입식연건측시적방진건모상관이론、기술화방법,제출료기우접구적모형외특성건모、면향측시적모형내특성건모、모형구동적측시과정.개발료자동화보조건모공구EasyModel,제고건모효솔,보증모형적정학성.해공구이성공지응용우다개형호적연건계통측시중,실험결과증명료해방진공구적유효성.
