收藏本站
《中国人民解放军国防科学技术大学》 2000年
收藏 | 手机打开
二维码
手机客户端打开本文

UML测试技术的研究与实现

李留英  
【学位授予单位】:中国人民解放军国防科学技术大学
【学位级别】:博士
【学位授予年份】:2000
【分类号】:TP311.5

手机知网App
【引证文献】
中国期刊全文数据库 前10条
1 高猛;;实时嵌入式软件系统测试需求建模研究[J];航天控制;2010年05期
2 黄陇;杨宇航;李虎;;UML顺序图中消息的形式化描述与相关特性分析[J];计算机工程与设计;2010年15期
3 徐博;樊晓光;田涛;;扩展UML状态图在软件测试中的应用[J];计算机工程;2007年24期
4 唐波;廖伟志;;统一建模语言状态图的测试用例生成方法[J];计算机仿真;2007年08期
5 陈曦;;船舶领域面向对象软件的测试[J];中国舰船研究;2007年01期
6 杨小艳;陈利;张凯;;基于状态图的测试用例自动生成方法[J];计算机与数字工程;2007年01期
7 占学德;缪淮扣;;基于UML Statecharts面向对象软件的测试框架[J];应用科学学报;2006年05期
8 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
9 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
10 黄陇,陈致明,于洪敏,于秀山;基于UML的软件测试用例自动生成技术研究[J];计算机应用与软件;2004年11期
中国博士学位论文全文数据库 前7条
1 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
2 王鸿燕;GIS软件测试的关键问题与应用实践[D];武汉大学;2010年
3 姜大志;线性基因编码的程序设计方法研究及其应用[D];武汉大学;2009年
4 陈洪辉;基于多视图的C~4ISR系统需求一致性验证方法研究[D];国防科学技术大学;2007年
5 陈超;语境驱动的仿真模型可组合性测试方法研究[D];国防科学技术大学;2007年
6 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
7 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
中国硕士学位论文全文数据库 前10条
1 杨融;飞机维修管理信息系统的开发及应用[D];湖北工业大学;2017年
2 胡义;基于构件的可重构ERP系统设计与实现[D];华中科技大学;2016年
3 张志雄;基于CTI技术的企业呼叫中心系统的设计与实现[D];湖南大学;2016年
4 纪游;电力系统能耗评测与互动平台的设计与实现[D];吉林大学;2014年
5 高雪娟;基于UML的计算机联锁软件测试用例生成方法的研究[D];兰州交通大学;2014年
6 张海燕;RAC模块部署与测试平台的设计与实现[D];哈尔滨工业大学;2014年
7 李健;金融机构基础信息核对系统的设计与实现[D];山东大学;2014年
8 马小尉;飞机维修业务信息管理系统研究与实现[D];南京航空航天大学;2014年
9 管叶申;软件测试用例生成方法在办公自动化系统中的应用[D];复旦大学;2014年
10 雷力;基于面向对象的管材性能数据库系统的研究[D];西安工业大学;2013年
【参考文献】
中国期刊全文数据库 前3条
1 王云,刘又诚,周伯生;UML可视化建模系统的模型一致性检查机制[J];计算机研究与发展;2000年01期
2 邵维忠,梅宏;统一建模语言UML述评[J];计算机研究与发展;1999年04期
3 金凌紫;面向对象软件测试技术进展[J];计算机研究与发展;1998年01期
【共引文献】
中国期刊全文数据库 前10条
1 张玉亮;;突发事件网络舆情信息流风险模糊综合评价研究[J];情报科学;2015年11期
2 孙莉;;基于MES水泥物料管理系统的设计[J];山东师范大学学报(自然科学版);2014年02期
3 周薇;刘庆生;;基于状态的类测试研究[J];电脑知识与技术;2014年12期
4 侍红岩;;煤矿机械优化设计中的可视化方法研究[J];煤矿机械;2014年04期
5 张丙炀;;基于UML模型的选课系统设计[J];软件导刊;2013年10期
6 梁昊;;基于B方法的学生行为百分考核系统的设计[J];宁波职业技术学院学报;2013年04期
7 魏松;贺丹娜;;UML建模在高职学生信息管理系统中的应用[J];计算机光盘软件与应用;2012年15期
8 裴芳;张洁;郝丽波;;基于Z形式化规范的多Agent协作模型研究[J];火力与指挥控制;2012年07期
9 张磊;马越;徐海川;;基于Rhapsody的嵌入式系统的和谐设计方法的研究[J];微计算机信息;2012年05期
10 晏鸿敏;陈恭亮;范磊;;基于UML的无线网络镜像模型[J];信息技术;2012年03期
【同被引文献】
中国期刊全文数据库 前10条
1 周治平,夏娟,纪志成,林家俊;基于UML实时系统设计方法的分析与比较[J];计算机工程;2005年13期
2 占学德;缪淮扣;;基于UML状态图测试的充分性准则[J];计算机科学;2005年05期
3 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
4 范洪达,叶文;Time Petri网在实时软件测试中的应用[J];计算机应用与软件;2003年12期
5 张毅坤,施凤鸣,姚全珠,刘军,付长龙;基于UML状态图的类测试用例自动生成方法[J];计算机工程;2003年21期
6 赖明志,尤晋元;使用时间化自动机形式化带有时间扩展的UML状态图[J];计算机应用;2003年08期
7 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
8 叶仁召,郑玉墙,鲁汉榕;面向对象软件测试及度量的研究[J];计算机工程与设计;2001年04期
9 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑:技术科学;2001年04期
10 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
中国博士学位论文全文数据库 前8条
1 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
2 金虎;自动化软件测试技术研究[D];四川大学;2006年
3 刘晨;基于SEB组合框架的导弹体系对抗仿真方法研究[D];国防科学技术大学;2005年
4 曾衍伟;空间数据质量控制与评价技术体系研究[D];武汉大学;2004年
5 吴志健;演化优化及其在微分方程反问题中的应用[D];武汉大学;2004年
6 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
7 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院(软件研究所);2002年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
中国硕士学位论文全文数据库 前10条
1 白永秋;飞机产品支援信息管理系统研究与开发[D];南京航空航天大学;2013年
2 孙绍辉;基于智能电网的黑龙江省电力信息化建设评价研究[D];华北电力大学;2012年
3 高建敏;基于J2EE的教育局网站信息发布平台的设计与实现[D];大连理工大学;2012年
4 门智宴;构件复用技术在ERP系统中的应用研究[D];吉林大学;2012年
5 林鹿堃;基于UML序列图模型的软件测试研究[D];西安电子科技大学;2012年
6 曲益民;软件构件的形式化描述与检索研究[D];昆明理工大学;2011年
7 解楠;基于UML活动图模型的测试用例自动生成方法研究[D];西安电子科技大学;2011年
8 张红燕;基于规格说明的可复用测试用例模型研究与应用[D];华东理工大学;2010年
9 陈志德;基于模型的面向对象测试用例生成研究[D];中国科学技术大学;2010年
10 李卢强;铁路信号计算机联锁系统自动测试系统的构造研究[D];合肥工业大学;2010年
【二级引证文献】
中国期刊全文数据库 前10条
1 杨勋;;软件测试技术研究[J];电脑知识与技术;2015年28期
2 冯俊池;于磊;刘洋;;软件Markov链使用模型生成与化简技术[J];计算机工程与设计;2015年08期
3 赵慧娟;李中科;;基于XML数据驱动的TestNG测试研究[J];电子技术与软件工程;2015年15期
4 张美花;;基于变异技术的在线学习系统测试方法研究[J];电子技术与软件工程;2015年14期
5 邱进盼;李春光;刘洋;;计算机软件安全检测技术研究[J];信息与电脑(理论版);2015年12期
6 孙春生;卫翔;王金树;;软件测试在软件质量管理中的应用分析[J];电子技术与软件工程;2015年12期
7 冯济舟;田明辉;;软件潜在安全性缺陷测试案例的研究及思考[J];信息网络安全;2015年06期
8 胡杰;严智;;软件错误注入测试技术研究[J];计算机与数字工程;2015年05期
9 刘高军;钱程;;基于边界值分析法的CNONIX标准测试用例生成方法研究[J];工业技术创新;2015年02期
10 高世伟;吕江花;乌尼日其其格;孟祥曦;马世龙;;航天器测试需求描述及其自动生成[J];北京航空航天大学学报;2015年07期
中国博士学位论文全文数据库 前10条
1 张建春;作战UUV建模与仿真技术研究[D];西北工业大学;2017年
2 许海洋;面向CPS时间属性的软件可信建模与验证方法研究[D];南京航空航天大学;2017年
3 湛浩旻;软件需求获取过程关键技术研究[D];哈尔滨工程大学;2013年
4 蒋华;演化优化与演化建模方法及其应用研究[D];武汉大学;2013年
5 董晓健;基因表达式编程集成算法研究[D];武汉大学;2011年
6 吴怀广;Bigraph理论的研究与应用[D];武汉大学;2011年
7 苏年乐;仿真模型可移植性规范的多核并行化研究[D];国防科学技术大学;2010年
8 陈振邦;服务计算中接口模型与构件设计的研究[D];国防科学技术大学;2009年
9 伍江华;C4ISR体系结构建模与设计技术研究[D];哈尔滨工程大学;2008年
10 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 刘征;基于UML-NuSMV的联锁软件形式化建模与验证[D];兰州交通大学;2018年
2 衡慧娟;航空维修企业智能化维修管理平台研究[D];中国民航大学;2018年
3 赵锦棠;企业办公自动化系统的设计与实现[D];内蒙古大学;2018年
4 庞晋芳;北京农商银行金库管理系统的设计与实现[D];山东大学;2018年
5 徐培培;紧凑型贴片机关键技术研究[D];长安大学;2018年
6 李宇辉;云呼叫中心服务与配置管理系统的设计与实现[D];西安电子科技大学;2017年
7 李成龙;基于CAN总线数据的公交车辆管控系统[D];华南理工大学;2017年
8 蔡伟;HF银行呼叫中心服务营销策略研究[D];广东财经大学;2017年
9 薛丰;计算机联锁自动测试系统研究与设计[D];西南交通大学;2017年
10 马艳华;广电网络呼叫中心运维系统的研究与设计[D];燕山大学;2017年
【相似文献】
中国期刊全文数据库 前10条
1 赵营河,何彪;面向对象程序的测试技术[J];现代计算机;1997年02期
2 杨彬;;对软件测试质量的研究[J];甘肃科技;2006年09期
3 佘凤;;浅析黑盒测试之决策表法测试技术[J];福建电脑;2014年10期
4 姚佳瑜;;软件测试中的测试用例及复用研究[J];数字技术与应用;2018年01期
5 佘凤;;因果图法测试技术及应用[J];电脑编程技巧与维护;2015年19期
6 陈志才;作战软件的测试技术[J];现代防御技术;1995年03期
7 罗辉;浅谈──软件测试及测试用例的设计[J];中国金融电脑;1994年02期
8 肖驰;;基于状态图的软件测试[J];现代计算机(专业版);2010年11期
9 罗辉;软件测试及测试用例的设计[J];计算机系统应用;1994年06期
10 王万金;韩成柱;;一种基于场景的装备软件测试用例设计方法研究[J];舰船电子工程;2018年10期
中国重要会议论文全文数据库 前10条
1 李勇;吴国凤;;软件测试中基于概率的测试用例选择[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
2 王斌;;软件测试用例相关问题探讨[A];中国原子能科学研究院年报 2013[C];2014年
3 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
4 曹平;董昭;刘克;蔡开元;;软件测试的剔除策略分析[A];第十一届中国青年信息与管理学者大会论文集[C];2009年
5 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
6 章靠;丁佐华;;基于事件图的并发软件测试[A];第四届中国软件工程大会论文集[C];2007年
7 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
8 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
9 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
10 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
中国重要报纸全文数据库 前10条
1 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
2 本报记者 王欣;5G要这么测[N];通信产业报;2017年
3 罗德与施瓦茨(中国)科技有限公司;R&S公司:集成化NB-IoT测试方案[N];通信产业报;2017年
4 ;找错[N];计算机世界;2002年
5 美科利公司;软件测试打造电信级IT系统[N];通信产业报;2005年
6 ;“框”起软件测试[N];计算机世界;2002年
7 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
8 本报记者 吴宏林;心如皓月抒壮志 不输须眉攀高峰[N];中国改革报;2018年
9 谢雅莉 张旭春 李佩刚;软件测试:行业受重视但认识有误区[N];中国城乡金融报;2006年
10 常量;软件测试人才炙手可热  “定制培训”模式走俏职场[N];大众科技报;2005年
中国博士学位论文全文数据库 前10条
1 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
2 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
3 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
4 张功杰;基于集合进化与占优关系的变异测试用例生成[D];中国矿业大学;2017年
5 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
6 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
7 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
8 刘勇;基于变异的错误定位优化技术研究[D];北京化工大学;2018年
9 王静;有效载荷系统测试用例智能规划方法研究[D];中国科学院大学(中国科学院国家空间科学中心);2018年
10 郭心睿;基于“生成—检验”框架的软件代码错误自动修复技术研究[D];清华大学;2017年
中国硕士学位论文全文数据库 前10条
1 高灿;面向对象程序的回归测试方法研究[D];长春工业大学;2013年
2 招敏怡;TESTLINK和MANTIS的优化及其应用[D];华南理工大学;2010年
3 李鹏;选矿过程监控软件测试平台的设计与开发[D];东北大学;2014年
4 张霞;面向对象软件类测试用例自动生成研究及应用[D];太原理工大学;2008年
5 李洁;航天发射场软件测试技术研究与应用[D];国防科学技术大学;2001年
6 冯星星;一种面向对象系统功能的测试用例生成方法研究[D];华中师范大学;2011年
7 刘刚;基于知识的系统面向对象测试方法研究[D];哈尔滨工程大学;2004年
8 马伟;面向对象软件簇级测试用例自动生成方法与实现[D];西安理工大学;2005年
9 左咏露;面向对象软件测试及其方法研究[D];西安理工大学;2003年
10 郭昱池;基于聚类技术的面向对象软件测试用例生成方法研究[D];江苏大学;2016年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026