%0 Journal Article %A 蒋崇武 %A 杨顺昆 %A 刘 斌 %T 面向嵌入式软件测试的仿真建模 %D 2008 %R 10.3969/j.issn.1000-3428.2008.04.030 %J 计算机工程 %P 87-89 %V 34 %N 4 %X 论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。
%U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2008.04.030