收藏 |

手机客户端打开本文

UML测试技术的研究与实现

李留英

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

下载全文更多同类文献

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

	【引证文献】
	【引证文献】

中国期刊全文数据库

前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	常见问题在线咨询阅读器下载	充值中心知网卡新手指南