收藏本站
《计算机工程》 2008年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

面向嵌入式软件测试的仿真建模

蒋崇武  杨顺昆  刘斌  
【摘要】:论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 王立泽;刘斌;杨顺昆;颜林;;面向VxWorks的嵌入式软件集成开发环境研究[J];计算机工程;2006年03期
【共引文献】
中国重要会议论文全文数据库 前2条
1 沈剑峰;金淳;霍琳;;基于离散事件仿真的信息系统性能测试方法[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
2 王毅刚;朱小冬;甘茂治;;基于软件黑匣子的集成软件故障诊断模型及其实现[A];第一届维修工程国际学术会议论文集[C];2006年
中国硕士学位论文全文数据库 前9条
1 姜旭锋;SmartSimular:基于虚拟指令集的嵌入式系统模拟器[D];浙江大学;2006年
2 沈剑峰;基于知识与仿真的集装箱堆场作业计划研究[D];大连理工大学;2006年
3 吕振华;嵌入式可视化开发环境的研究与实现[D];华东师范大学;2006年
4 赵能;基于Eclipse的嵌入式软件开发平台若干关键技术研究[D];浙江大学;2007年
5 李卓;SDH光传输设备光板驱动程序的设计与实现[D];电子科技大学;2007年
6 王英;基于VxWorks的机载光电观察搜索系统软件设计[D];西北大学;2007年
7 顾芸;ZXC10-MSCVLR信令处理子系统R2模块的研究及实现[D];南京航空航天大学;2007年
8 洪源;基于嵌入式系统的设备信息采集系统设计实现[D];上海交通大学;2007年
9 杨少华;广播电视设备软件测试用例生成技术的研究[D];中国传媒大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 刘远信;程序的可到达性及其应用[J];南昌大学学报(理科版);1981年00期
2 宋德芬;国际学术交流动向——记美国Peple to Peple计算机软件代表团访华[J];计算机学报;1983年05期
3 C.V.Ramamoorthy;F.B.Bastani;栾季生;;软件可靠性的现状和展望[J];计算机科学;1983年05期
4 李启凤;具有分布式结构的软件测试工厂[J];机器人;1984年01期
5 周之英;刘爱武;;软件测试中的管理问题[J];计算机科学;1985年04期
6 郑人杰;;软件测试是保证软件质量的关键[J];微型机与应用;1986年03期
7 曾华燊;;网络协议软件的标准化测试技术[J];计算机研究与发展;1986年11期
8 刘纯生 ,文传源;软件可靠性方法概述[J];北京航空航天大学学报;1987年03期
9 王立峰;在网络协议软件测试的控制图中寻找一条可执行的路径[J];辽宁大学学报(自然科学版);1987年04期
10 克艰;我校在省计算机软件评优中获得好成绩[J];湖南大学学报(自然科学版);1987年04期
中国重要会议论文全文数据库 前10条
1 孙甲松;王作英;肖熙;;知音文书机语音数据库的建立和一种汉语语音特性的探讨[A];第三届全国人机语音通讯学术会议论文集[C];1994年
2 卜云峰;吴建华;丁宏岚;;验证FMS运控软件仿真系统的研究[A];1998中国控制与决策学术年会论文集[C];1998年
3 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
4 孙少华;陈志强;张丽;高文焕;康克军;;基于接口对象的测试类方法在大型集装箱检查系统软件集成测试中的研究[A];第十届全国核电子学与核探测技术学术年会论文集[C];2000年
5 黄静华;鲍有文;王辉;;第21届世界大学生运动会信息系统软件的测试[A];全国计算机网络应用年会论文集(2001)[C];2001年
6 陈光禑;顾亚平;田书林;王雁东;代俊光;胡瑜;;“VXI总线测试平台”研究与实现[A];全国第二届总线技术与测控系统工程学术报告会论文集[C];2001年
7 陈光禑;陈华;兰京川;陈大港;;“VXI总线测试软件平台”的软件测试与可靠性[A];全国第二届总线技术与测控系统工程学术报告会论文集[C];2001年
8 严体华;马玉祥;;一种基于Web应用的软件测试结构及其充分性[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
9 姚庆栋;;系统集成芯片(SOC)[A];中国电子学会第七届学术年会论文集[C];2001年
10 吴闽泉;徐仁佐;;软件工程中的分离方法[A];第六届全国计算机应用联合学术会议论文集[C];2002年
中国重要报纸全文数据库 前10条
1 中国软件评测中心测试工程师 杨娟;做家庭理财高手[N];中国计算机报;2000年
2 顾洪洪;如何防范“圣诞节病毒”?[N];人民日报海外版;2000年
3 刘峰;嵌入式软件开发成热点[N];中华工商时报;2000年
4 梦之岛工作室 Prin;微软瞄准嵌入式系统[N];电脑报;2001年
5 电脑报评测实验室;主流多媒体播放软件测试报告[N];电脑报;2001年
6 金非;嵌入技术创造未来[N];经济日报;2001年
7 中软网络嵌入式产品经理 梁华;嵌入式系统花开后PC时代[N];中国计算机报;2001年
8 ;如何进行安装测试[N];中国计算机报;2001年
9 瑞理软件中国有限公司 吴穹 陈庆春;工欲善其事必先利其器[N];计算机世界;2001年
10 权彦杰;软件测试与净室技术[N];中华读书报;2001年
中国博士学位论文全文数据库 前10条
1 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
2 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
3 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
4 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
5 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年
6 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
7 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
8 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
9 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
10 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
中国硕士学位论文全文数据库 前10条
1 陈浩;小卫星软件测试的系统设计[D];中国科学院上海冶金研究所;2000年
2 宋苑;面向对象类级非等价对测试原型系统的设计与实现[D];暨南大学;2001年
3 王晓旭;软件测试的自动分析工具[D];中国科学院软件研究所;2001年
4 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
5 王斯琦;VXI总线测试软件开发平台中控件的设计及系统软件测试[D];电子科技大学;2001年
6 张雪萍;面向对象软件测试技术研究[D];郑州大学;2001年
7 袁敏;嵌入式操作系统中——实现图形支持的技术和理论研究[D];四川大学;2001年
8 李洁;航天发射场软件测试技术研究与应用[D];国防科学技术大学;2001年
9 潘晔;嵌入式计算机相关问题研究——无线通信中的应用[D];电子科技大学;2002年
10 喻德;嵌入式调试方法分析及基于vxworks的调试工具实现[D];电子科技大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026