收藏本站
《系统工程与电子技术》 2011年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于UML实时扩展的嵌入式软件测试用例生成技术

殷永峰  郑本焘  陆民燕  倪红英  
【摘要】:将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。

手机知网App
【引证文献】
中国期刊全文数据库 前3条
1 董成基;齐杏林;吕静;赵志宁;;飞行控制软件测试用例生成技术[J];兵工自动化;2012年09期
2 黄晨;段永颢;;基于UML模型的嵌入式软件测试用例生成方法[J];空间控制技术与应用;2013年01期
3 申丽军;邢玲;马卫东;彭磊;;基于插桩的硬件虚拟化测试驱动设计[J];计算机测量与控制;2013年02期
【参考文献】
中国期刊全文数据库 前3条
1 张楣,刘超,孙昌爱;基于UML活动图模型的测试用例生成技术研究[J];北京航空航天大学学报;2001年04期
2 牟凯;顾明;;基于UML活动图的测试用例自动生成方法研究[J];计算机应用;2006年04期
3 ;On modeling approach for embedded real-time software simulation testing[J];Journal of Systems Engineering and Electronics;2009年02期
中国硕士学位论文全文数据库 前2条
1 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
2 陈必泉;基于UML状态图的嵌入式实时软件测试用例生成方法研究[D];暨南大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 吴忠;邝仲平;吴迪;;基于输入输出活动图的系统测试场景研究[J];大众科技;2011年08期
2 邓欢;;基于UML的系统测试方法研究[J];福建电脑;2009年03期
3 白晓清,蓝秋萍,李怀忠;面向组件的软件测试技术[J];广西科学院学报;2004年02期
4 吴兴惠;邢海花;;基于UML工作流建模的意外处理[J];海南师范学院学报(自然科学版);2006年04期
5 刘龙霞;吴军华;;基于UML活动图的Web应用测试用例生成[J];江南大学学报(自然科学版);2011年03期
6 高红梅;许东;刘宗田;;基于UML活动图的测试研究进展[J];计算机科学;2008年02期
7 祝玉芬,刘超;基于活动图模型测试剖面的测试用例生成方法[J];计算机工程;2003年21期
8 曾一;丁娜;邹明;;带OCL的活动图多态性测试用例生成方法[J];计算机工程;2012年10期
9 何可;李晓红;冯志勇;;活动图模型驱动的Web应用程序测试方法[J];计算机应用;2010年09期
10 殷永峰;刘斌;姜同敏;;基于UML的嵌入式软件测试用例生成方法研究[J];计算机应用研究;2008年10期
中国博士学位论文全文数据库 前4条
1 何可;威胁模型驱动的软件安全评估与测试方法的研究[D];天津大学;2010年
2 许东;软件质量保障的若干技术研究[D];上海大学;2007年
3 陈超;语境驱动的仿真模型可组合性测试方法研究[D];国防科学技术大学;2007年
4 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
中国硕士学位论文全文数据库 前10条
1 禚百田;UML在空调嵌入式系统开发中的应用研究[D];山东科技大学;2010年
2 李文瑞;基于Petri网的软件测试技术研究[D];江南大学;2011年
3 冯星星;一种面向对象系统功能的测试用例生成方法研究[D];华中师范大学;2011年
4 庄俨;基于UML合并状态图的测试用例生成[D];南京信息工程大学;2011年
5 黄卫华;基于嵌入式系统的液压运动控制器的设计与实现[D];华南理工大学;2011年
6 曹爽;航空软件测试用例自动生成方法研究[D];南京航空航天大学;2010年
7 刘翀;管理软件的自动化测试系统框架研究[D];南京航空航天大学;2011年
8 闵祥伟;基于模型的Web测试技术研究与应用[D];哈尔滨工程大学;2011年
9 杨柳;UML在智能手机开发中的应用研究[D];辽宁工程技术大学;2011年
10 宋建生;基于UML图和程序切片的回归测试研究[D];江南大学;2012年
【同被引文献】
中国期刊全文数据库 前10条
1 高猛;;实时嵌入式软件系统测试需求建模研究[J];航天控制;2010年05期
2 刘久富;杨忠;孙德敏;李志宇;;基于模型的飞行控制软件测试用例的生成[J];吉林大学学报(工学版);2006年04期
3 柳永坡;刘凌辉;晏海华;金茂忠;刘雪梅;;白盒测试中源代码变更管理方法的研究与实现[J];计算机工程与应用;2009年06期
4 颜炯;王戟;陈火旺;;基于模型的软件测试综述[J];计算机科学;2004年02期
5 刘攀;缪淮扣;曾红卫;刘阳;;基于FSM的测试理论、方法及评估[J];计算机学报;2011年06期
6 张艳梅;姜淑娟;张红昌;;一种基于动态依赖关系的类集成测试方法[J];计算机学报;2011年06期
7 殷永峰;刘斌;姜同敏;;基于UML的嵌入式软件测试用例生成方法研究[J];计算机应用研究;2008年10期
8 何鑫;郑军;刘畅;;软件安全性测试研究综述[J];计算机测量与控制;2011年03期
9 王丹;刘勇;吴咏;朱鲁华;;结合静态分析的软件脆弱性测试方法[J];计算机工程与设计;2011年05期
10 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
中国硕士学位论文全文数据库 前2条
1 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
2 陈必泉;基于UML状态图的嵌入式实时软件测试用例生成方法研究[D];暨南大学;2005年
【二级参考文献】
中国期刊全文数据库 前10条
1 艾骏,陆民燕;UML在软件可靠性测试数据自动生成中的运用[J];北京航空航天大学学报;2003年05期
2 陈东洛,尹霞,吴建平;网络协议中的时间约束测试[J];电子学报;2002年S1期
3 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
4 张虹 ,阮镰 ,刘斌;嵌入式软件测试中的仿真建模方法研究[J];测控技术;2002年03期
5 乐晓波,庹清,何小飞,汪琳;时间Petri网应用及其分析技术[J];吉首大学学报(自然科学版);2001年03期
6 刘敏,金茂忠,刘超;基于UML活动图模型生成测试场景的设计[J];计算机工程与应用;2002年12期
7 秦锋,宋金晶,袁志祥;时间Petri网分析工具的实现[J];计算机工程与应用;2003年15期
8 梁义芝,王延章,缪旭东,刘云飞;UML活动图的形式语义及分析[J];计算机工程与应用;2003年18期
9 王璐珍,董威,陈火旺;UML顺序图的自动验证[J];计算机工程与应用;2003年29期
10 兰毓华,毛法尧,曹化工;基于Z规格说明的软件测试用例自动生成[J];计算机学报;1999年09期
【相似文献】
中国期刊全文数据库 前10条
1 鱼小刚;;浅谈软件工程和软件过程改进[J];石油工业计算机应用;2003年01期
2 郭小荟;;基于UML的教师信息管理系统[J];徐州工程学院学报;2006年12期
3 余鹏程;梅宏;;基于Web学籍管理系统的开发[J];软件导刊;2009年07期
4 王金兰;张红;张雁容;纪凤仙;张伟;;基于UML的快速原型化开发[J];中国西部科技;2009年16期
5 董颖辉;金国庆;;基于UML的舰艇综合通信监控系统的设计与实现[J];船电技术;2009年12期
6 董琳;;基于UML的软件度量[J];计算机工程;2008年22期
7 张永;迟忠先;;基于UML的系统测试[J];计算机工程与设计;2006年09期
8 曾孟佳,程兆麟;面向对象软件工程的软件过程改进[J];大连民族学院学报;2005年01期
9 宋国顺;;软件工程中UML建模的技术与分析[J];软件导刊;2010年08期
10 陆波,华祖耀;面向对象的软件工程与统一建模语言UML[J];电脑开发与应用;2002年09期
中国重要会议论文全文数据库 前10条
1 张立春;赵合计;安琳;;基于Agent的软件工程方法与应用[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
2 曹居易;石玲;宫学庆;周傲英;;基于OWL的软件工程数据建模[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
3 鲍有文;黄建华;王辉;;第21届世界大学生运动会信息系统的软件工程实施[A];全国计算机网络应用年会论文集(2001)[C];2001年
4 仓公林;桂贵生;杜世昌;;建立和实施PDM质量保证体系的方法[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
5 石振强;;浅谈信息系统软件工程的监理[A];第二十届中国(天津)'2006IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2006年
6 林俊兴;张涛;;软件质量保证的定量管理方法(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(上册)[C];2006年
7 结凤克;贺广生;王勤民;杨景善;濮琼;;软件工程思想在C程序设计教学中的应用[A];2008年中国高校通信类院系学术研讨会论文集(上册)[C];2009年
8 王邦宁;;CAD软件工程的特点[A];中国土木工程学会计算机应用学会学术报告会论文集(4)[C];1989年
9 王学明;杜行俭;曹毅;;微机医药经营管理信息系统的分析与设计[A];1999中国控制与决策学术年会论文集[C];1999年
10 曲继刚;万建成;;软件工程中的用户界面需求描述[A];第六届全国计算机应用联合学术会议论文集[C];2002年
中国重要报纸全文数据库 前10条
1 ;做中国人自己的软件可靠性工程[N];中国高新技术产业导报;2005年
2 韩万江;软件工程的三线索[N];计算机世界;2007年
3 本报记者 小舟;实现软件工程的可视化管理[N];计算机世界;2004年
4 邱燕娜;李炎与软件工程[N];中国计算机报;2004年
5 沈林 龚涛;江西理工大学着力培养复合型人才[N];中国有色金属报;2009年
6 杨帆;打造苏州软件世界竞争力[N];苏州日报;2006年
7 马斌;我国首批软件工程硕士从北邮走出[N];人民邮电;2004年
8 陈金松;打造软件产业一枝花[N];中国电子报;2003年
9 ;软件工程应用人才缺乏 与社会需求形成强烈反差[N];中国高新技术产业导报;2003年
10 记者 胡细莺 实习生 郭虹;培养软件工程高端人才[N];珠海特区报;2009年
中国博士学位论文全文数据库 前10条
1 周萌;集成电路IP质量管理与度量:软件工程角度的研究[D];合肥工业大学;2010年
2 刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年
3 高军礼;基于模型驱动开发方法的开放式结构计算机数控系统的研究[D];华南理工大学;2005年
4 路世忠;流程企业动力设备的集成维护管理系统研究[D];天津大学;2005年
5 包世泰;基于GIS的地质勘察信息模型研究及其应用[D];中国科学院研究生院(广州地球化学研究所);2004年
6 田宏岭;降雨滑坡预警平台系统研究[D];中国科学院研究生院(成都山地灾害与环境研究所);2007年
7 张光发;导管架下水运动三维数值模拟研究[D];大连理工大学;2007年
8 蔡瑾;组合夹具元件库集成建模技术研究[D];河北工业大学;2009年
9 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
10 黄兴平;电信软件变化性管理机制研究[D];北京邮电大学;2007年
中国硕士学位论文全文数据库 前10条
1 肖碧涛;现代软件工程在电力系统中的应用研究[D];华中科技大学;2005年
2 袁娜;软件工程生命周期在测试自动化中的应用[D];北京邮电大学;2007年
3 冯小革;基于UML及统一过程的软件开发[D];华东师范大学;2006年
4 高瑞;X光轮胎图像缺陷识别软件系统结构的研究[D];天津大学;2007年
5 罗惠旋;WCDMA RNC自动化测试设计及实现[D];北京邮电大学;2010年
6 梁志锋;MSCRM系统自动化测试的设计与实现[D];北京邮电大学;2010年
7 俞戴龙;QTP自动化测试框架的企业级应用[D];复旦大学;2010年
8 张秋杰;基于PyUnit框架的企业级软件自动化测试技术的研究[D];北京邮电大学;2010年
9 夏晶;基于QTP的功能自动化测试框架的研究与应用[D];武汉科技大学;2010年
10 钱伟宁;基于关键字驱动的Web服务自动化测试的研究与应用[D];西北大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026