收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

实时嵌入式软件系统测试需求建模研究

高猛  
【摘要】:使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例。作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 廖明;;部署SSD固态硬盘系统在混录中的优势和性能提升初探[J];现代电影技术;2010年03期
2 匡青;朱宜炳;;高职院校软件测试课程教学改革探索[J];现代商贸工业;2010年03期
3 杨春英;;WEB系统测试的应用与研究[J];信息与电脑(理论版);2010年01期
4 王斌科;王新华;顾超;屈绍波;裴志斌;刘嘉;;二维圆柱超材料隐身罩的设计和测试[J];空军工程大学学报(自然科学版);2010年01期
5 陈爱真;曾福萍;陆民燕;;基于ODC的软件缺陷度量研究[J];计算机应用研究;2010年02期
6 陈芸;王遵彤;凌毅;;基于多代理系统的软硬件协同设计[J];计算机工程;2010年04期
7 黄长伟;;高校图书馆信息系统安全自评估的设计[J];科技情报开发与经济;2010年03期
8 高明会;计可;;安徽合肥DAB系统的设计与实施[J];现代电视技术;2010年01期
9 陈杰;应启宏;;媒体资产管理系统的系统测试方法研究[J];现代电视技术;2010年01期
10 张彦军;梁炜;;基于DSP和单片机的图像存储系统设计[J];通信技术;2010年02期
中国重要会议论文全文数据库 前10条
1 王振民;李鹏;;燃料电池电站三相功率调节系统试验研究[A];广州市仪器仪表学会2009年学术年会论文集[C];2010年
2 范云鹰;张英杰;董鹏;;锌/铁/二氧化硅复合电镀工艺研究[A];第15届全国腐蚀与表面保护技术研讨会暨首届全国腐蚀与表面保护技术青年论坛论文集[C];2009年
3 刘翔;;基于分析的功能测试设计[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 赵晋松;刘凤翔;;测试控制方法在对日软件开发中的应用[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
5 费罗曼;胡誉满;;面料服用性能优选的系统评判决策[A];中国企业运筹学[C];2009年
6 朱艳;胡生国;陈刚;;舰船辐射噪声建模及实时仿真[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
7 张军;罗永红;;实时嵌入式软件仿真测试平台研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
8 张霞;;欧盟REACH法规下化学物质遗传毒性评估[A];中国毒理学会第五次全国学术大会论文集[C];2009年
9 朱春琳;朱志军;江波;;城市供水管网信息系统的建立与更新[A];创新发展——河南省第五届学术年会论文选集[C];2009年
10 赵长林;;排烟系统设置中的几个问题[A];自主创新与持续增长第十一届中国科协年会论文集(3)[C];2009年
中国博士学位论文全文数据库 前5条
1 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
2 林政;软土的固结和渗透特性原位测试理论研究及应用[D];浙江大学;2005年
3 张琨;基于生物免疫学的入侵检测系统的研究与实现[D];南京理工大学;2003年
4 谢高岗;IP网络性能测量技术研究[D];湖南大学;2002年
5 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
中国硕士学位论文全文数据库 前10条
1 叶皑;自动售检票软件测试方法及其工具应用研究[D];东华大学;2010年
2 刘欣;软件测试方法分析与实践[D];北京邮电大学;2009年
3 韩雪;塑料行业B2B系统测试的方法研究与实践[D];华东师范大学;2009年
4 朱云娜;软件系统的系统测试分析与实践[D];华东师范大学;2009年
5 戴运杰;基于无线传感器网络的煤矿安全监测系统[D];上海师范大学;2009年
6 吴福青;基于无线传感网络操作系统底层平台及内存管理的研究[D];中国科学技术大学;2009年
7 陈希军;一类无线传感器网络嵌入式操作系统及其节点定位的关键技术研究[D];中国科学技术大学;2009年
8 赵修伟;基于抽象解释的实时软件WCET研究[D];大连理工大学;2009年
9 唐高峰;咸阳师范学院科研管理信息系统的分析与设计[D];华东师范大学;2009年
10 王昊川;软件大赛信息管理系统的设计与实现[D];华东师范大学;2009年
中国重要报纸全文数据库 前10条
1 王百战;三维全息图 一刻钟可得[N];科学时报;2008年
2 本报记者 林小川;外资行启动设立内地数据中心[N];21世纪经济报道;2008年
3 记者 苏勇;太钢实现超高氮不锈钢开发新突破[N];中国冶金报;2008年
4 ;中越共建东兴陆缆竣工并投入使用[N];人民邮电;2008年
5 王雪娟;三年内打造国家级通信枢纽[N];成都日报;2008年
6 内蒙古 白者;让Windows帮你发音[N];电子报;2008年
7 王海燕谈燕 栾吟之;股指期货择机推出[N];解放日报;2008年
8 陈淑娟;软件测试人才惊现巨大缺口[N];计算机世界;2008年
9 许婷;甲骨文立体布局电信市场[N];通信产业报;2008年
10 谢乐军;武汉电信启动“橙色快车”服务机制[N];人民邮电;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978