加入收藏 获取最新

	【引证文献】

	中国期刊全文数据库 前4条
	1 占学德;缪淮扣;;基于UML Statecharts面向对象软件的测试框架[J];应用科学学报;2006年05期 2 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期 3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期 4 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期

	中国博士学位论文全文数据库 前2条
	1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年 2 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年

	中国硕士学位论文全文数据库 前5条
	1 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年 2 杨小艳;基于Z语言与状态图的测试用例自动生成研究[D];华中师范大学;2006年 3 郭瑛;基于UML的运动控制软件设计及其在电脑绗缝机中的应用研究[D];青岛科技大学;2007年 4 张峻;基于UML2.0动态视图的Web服务模型测试方法及其应用[D];苏州大学;2007年 5 单卓为;基于SPIN的UML模型验证技术的研究[D];西北大学;2008年

	【共引文献】

	中国期刊全文数据库 前10条
	1 吴晓琴;浅析面向对象程序设计特点[J];安徽大学学报(自然科学版);2002年03期 2 朱旭东;软件过程与CMM[J];安徽大学学报(自然科学版);2003年02期 3 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期 4 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期 5 李虎,金茂忠,高仲仪,刘超;上下文无关文法测试充分性[J];北京航空航天大学学报;2003年10期 6 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期 7 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期 8 陈英,施兴华,赵小林;基于UML软件开发过程的CASE平台研制[J];北京理工大学学报;2001年01期 9 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期 10 唐祥彬;高校体育教育专业排球普修课多媒体教学软件编制的研究[J];北京体育大学学报;2004年07期

	中国重要会议论文全文数据库 前9条
	1 Yi Yu Fangmei Wu Department of Information and Control Engineering Tongji University,Zhennan Road 500,Shanghai 200331 P.R.China;Software Testing Adequacy and Fault-detecting Ability Analysis for Black-box[A];Proceedings of 4th International Symposium on Test and Measurement(Volume 1)[C];2001年 2 李必通;;探讨软件测试过程模型[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年 3 李华;;信息处理系统软件可靠性设计的研究[A];第十一届全国可靠性物理学术讨论会论文集[C];2005年 4 鲍刚;;面向对象软件的测试技术[A];“军事通信与信息网络技术发展”研讨会论文集（下册）[C];2007年 5 黄正宝;张广泉;;一种基于时序逻辑的UML 2．0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年 6 张杰;林晓欲;;弹载软件系统测试方法研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年 7 李玉萍;毛少杰;张桂林;施振明;;面向对象技术和UML在剧情产生系统中的应用[A];全球化制造高级论坛暨21世纪仿真技术研讨会论文集[C];2004年 8 张琨;;面向对象软件的测试过程与方法的研究[A];第七届青年学术会议论文集[C];2005年 9 张益兵;甘仞初;;应用UML的WEB信息系统的页面建模研究[A];2001年中国管理科学学术会议论文集[C];2001年

	中国博士学位论文全文数据库 前10条
	1 王锦;基于域分析的CAPP软件体系结构[D];西北工业大学;2001年 2 沈季胜;活塞热冲击与随机传热过程的研究[D];浙江大学;2002年 3 潘铁军;虚拟企业过程集成中几个关键问题的研究[D];浙江大学;2001年 4 吴镇;优化设计中的智能方法与可视化技术研究[D];武汉理工大学;2002年 5 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年 6 姚砺;面向对象软件测试的研究[D];浙江大学;2002年 7 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年 8 赵敏;机动车安全性能测控系统关键技术研究[D];南京航空航天大学;2002年 9 王召福;HLA邦元范型框架设计及其关键技术研究[D];中国人民解放军国防科学技术大学;2002年 10 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院（软件研究所）;2003年

	中国硕士学位论文全文数据库 前10条
	1 陈瑞丹;面向企业信息系统的可适应性建模研究与应用[D];大连理工大学;2000年 2 曹宜;UML建模语言研究及在模拟计算机系统中的应用[D];大连理工大学;2000年 3 姜颖军;计算机视觉在玻璃制品裂纹检测中的应用[D];广西师范大学;2000年 4 凌波;基于ES与RMIS的水稻栽培模拟优化决策咨询系统研究[D];广西大学;2001年 5 吕智林;UML在多层分布式系统建模中的研究与应用[D];广西大学;2001年 6 宋苑;面向对象类级非等价对测试原型系统的设计与实现[D];暨南大学;2001年 7 何群;多媒体网络教学支持平台研究与实践[D];燕山大学;2001年 8 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年 9 张奇峰;基于UML-RT的可视化构件组装工具[D];西安电子科技大学;2001年 10 廖振伟;变电站自动化系统智能测控装置软件开发方法研究[D];西安电子科技大学;2001年

	【同被引文献】

	中国期刊全文数据库 前10条
	1 童朝南,纪智,彭开香,董洁;卷取张力控制新方法[J];北京科技大学学报;2002年04期 2 熊四昌,陆青峰,王忠飞;基于MODBUS通信协议的低压交流配电柜智能监控系统[J];电子工程师;2003年04期 3 舒建文;无梭织机常见电子送经系统及其发展[J];纺织机械;2003年03期 4 黄凤根,吴文英,陈瑞琪;机电一体化在纺织机械中的应用[J];国外纺织技术;2002年12期 5 冯志华;高速织机送经机构动态参数的确定[J];机械设计与制造工程;2001年06期 6 崔江红,张素香;间歇式电子送经机构智能化改进方案的建议[J];棉纺织技术;2000年10期 7 张平国,邱学文;喷气织机用减磨辅助喷嘴的研制[J];棉纺织技术;2003年08期 8 吴绥菊,季晓雷;织机经纱动态张力的数字化测试方法[J];上海纺织科技;2003年06期 9 来震;织机经纱张力模型的建立和分析[J];丝绸;2004年08期 10 梁浩;王明哲;;系统体系结构设计的一致性约束和检验[J];兵工自动化;2006年06期

	中国博士学位论文全文数据库 前5条
	1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年 2 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年 3 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年 4 连剑波;基于XML的地质数据集成及WebGIS发布研究[D];中国科学院研究生院（广州地球化学研究所）;2006年 5 毛先成;三维数字矿床与隐伏矿体立体定量预测研究[D];中南大学;2006年

	中国硕士学位论文全文数据库 前7条
	1 施凤鸣;基于UML状态图的类测试用例自动生成方法研究[D];西安理工大学;2003年 2 燕昊;UML建模的形式化研究[D];兰州大学;2006年 3 吴刚;基于UML的面向方面建模研究与实现[D];西北大学;2006年 4 史亚娟;基于UML的科研管理系统的设计与实现[D];华东师范大学;2006年 5 李力峰;基于UML动态视图的测试模型及应用[D];苏州大学;2006年 6 张琛;基于UML的服务描述和服务组合生成技术研究[D];西北大学;2007年 7 任佳;地质矿产基础数据库与空间数据库的研究与开发[D];中南大学;2007年

	【二级引证文献】

	中国期刊全文数据库 前8条
	1 白晓清,蓝秋萍,李怀忠;面向组件的软件测试技术[J];广西科学院学报;2004年02期 2 毛澄映;卢炎生;;构件软件测试技术研究进展[J];计算机研究与发展;2006年08期 3 徐兴华;刘嘉;;基于UML状态图的测试技术研究[J];计算机时代;2006年04期 4 方木云;戴小平;;基于UML的集成化CASE平台的研究和实现[J];微机发展;2006年02期 5 满靖;闫健卓;王普;;异构数据库信息整合系统的测试技术研究[J];微计算机信息;2006年06期 6 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期 7 占学德;缪淮扣;;基于UML Statecharts面向对象软件的测试框架[J];应用科学学报;2006年05期 8 鄂越;诸叶平;孙开梦;;农业专家系统自动化测试的研究与实践[J];中国农学通报;2006年02期

	中国重要会议论文全文数据库 前2条
	1 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集（二）[C];2008年 2 王建平;陈正伟;栾庆磊;金铁江;;基于遗传算法的汉字识别决策系统的研究[A];中国计量协会冶金分会2008年会论文集[C];2008年

	中国博士学位论文全文数据库 前4条
	1 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年 2 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年 3 王珉;大型CAD系统软件架构及其开发方法研究[D];西北工业大学;2006年 4 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年

	中国硕士学位论文全文数据库 前10条
	1 左咏露;面向对象软件测试及其方法研究[D];西安理工大学;2003年 2 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年 3 赖祥伟;基于UML的形式化面向对象软件测试用例辅助生成技术[D];西南师范大学;2003年 4 陈健;基于RUP的智能车辆调度系统开发研究[D];西南交通大学;2004年 5 何涛;基于UML的面向对象的类测试研究[D];武汉大学;2004年 6 陈浩;基于消息机制的软件自动测试技术研究[D];湖南大学;2004年 7 张保国;基于UML Statechart图的软件测试用例自动生成技术研究[D];湖南大学;2004年 8 乔木;基于状态图与Z的测试用例生成研究[D];重庆大学;2004年 9 张保卫;类的状态自动测试平台研究[D];西安理工大学;2004年 10 张庆;一种基于UML状态图的类级测试技术的研究与实现[D];电子科技大学;2005年

	【相似文献】

	中国期刊全文数据库 前10条
	1 ;山东大学研究如何加强文科问题[J];文史哲;1980年04期 2 蔡婕;;日本举办大学教职员“大学图书馆的未来”专题讨论会[J];高校图书馆工作;1981年02期 3 白德开;温尚明;;亚利桑那光学科学中心[J];光电工程;1982年01期 4 朱三元,计立奇,陈敏;国外软件工具研究综述(二)[J];计算机应用与软件;1984年05期 5 张仿坤;农业生物系统的学术情报管理教育[J];图书馆论坛;1985年03期 6 文林;;记载郑和远航的手稿在印度发现[J];中国档案;1985年Z1期 7 周之英;刘爱武;;软件测试中的管理问题[J];计算机科学;1985年04期 8 王宇;美国加州大学研究中心总裁及史密斯教授参观访问48所[J];微细加工技术;1986年04期 9 李健儒;软件工具研究简介[J];兵工自动化;1986年00期 10 宋瑞麒;软件·软件工程·软件中心[J];电信科学;1986年10期

	中国重要会议论文全文数据库 前10条
	1 王殿元;龚至豪;陈杰;;神经元网络中BP算法改进及其对生物医学信号的识别研究[A];第二届全国人—机—环境系统工程学术会议论文集[C];1995年 2 ;饮用浓而热的红茶能防皮肤癌[A];科学饮茶研讨会论文集[C];2000年 3 ;饮用浓热红茶能防皮肤癌[A];饮茶与富裕型疾病防治专题学术研讨会论文汇编[C];2000年 4 孙少华;陈志强;张丽;高文焕;康克军;;基于接口对象的测试类方法在大型集装箱检查系统软件集成测试中的研究[A];第十届全国核电子学与核探测技术学术年会论文集[C];2000年 5 吴雪松;;华蟾素静脉给药治疗晚期胃癌34例疗效观察[A];2000全国肿瘤学术大会论文集[C];2000年 6 黄静华;鲍有文;王辉;;第21届世界大学生运动会信息系统软件的测试[A];全国计算机网络应用年会论文集（2001）[C];2001年 7 裴永信;;徐霞客与李万敷比较研究(提要)[A];徐霞客逝世360周年纪念活动暨学术研讨会论文集[C];2001年 8 田杰;陈杰;;多传感器信息融合性能评估系统研究[A];2001年中国智能自动化会议论文集（下册）[C];2001年 9 张立荣;;卫星测试语言—CONTROL FILE[A];中国空间科学学会空间探测专业委员会第十五次学术会议论文集[C];2002年 10 马秦晋;刘世英;徐小辉;惠煜;;软件测试的重要性及现状分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年

	中国重要报纸全文数据库 前10条
	1 记者 戚海燕;考研时间提前[N];北京日报;2000年 2 记者 戚海燕;8万人今起报名考研[N];北京日报;2000年 3 晓春;男人心脏需要 雌激素[N];中国妇女报;2000年 4 记者 柯昌万;西安电子科大研究生院成立[N];中国教育报;2000年 5 李正信;玉米做餐具 大豆制机油[N];中国石化报;2000年 6 黄海;电磁辐射[N];福建日报;2000年 7 山东省青岛市市南区法院院长 刘皖;建设与社会同步发展的法官队伍[N];法制日报;2000年 8 记者 朱庆 通讯员 成银生;南京大学研究生西部支教[N];光明日报;2000年 9 增文;孕妇精神压力影响胎儿生长[N];江苏科技报;2000年 10 淑芬;“知足”的男人寿命长[N];江苏科技报;2000年

	中国博士学位论文全文数据库 前10条
	1 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年 2 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年 3 姚砺;面向对象软件测试的研究[D];浙江大学;2002年 4 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年 5 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年 6 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年 7 田春华;产业集群导向的公共政策研究[D];华东师范大学;2005年 8 张卫良;大学核心竞争力理论与实践研究[D];中南大学;2005年 9 路晓丽;Web应用软件的测试技术研究[D];西北大学;2006年 10 王馨;基于实时规约的测试预言自动生成技术的研究[D];国防科学技术大学;2005年

	中国硕士学位论文全文数据库 前10条
	1 宋苑;面向对象类级非等价对测试原型系统的设计与实现[D];暨南大学;2001年 2 吴鹏;Bluetooth服务发现协议的验证、实现与测试[D];中国科学院软件研究所;2001年 3 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年 4 冯华;基于净室软件工程统计测试的CASE工具的研究与实现[D];国防科学技术大学;2002年 5 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年 6 许赞泉;针对图形用户界面的软件测试研究[D];南京航空航天大学;2003年 7 左咏露;面向对象软件测试及其方法研究[D];西安理工大学;2003年 8 施凤鸣;基于UML状态图的类测试用例自动生成方法研究[D];西安理工大学;2003年 9 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年 10 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年

相关机构

> 中国人民解放军国防科学技... > 西北工业大学 > 国防科学技术大学 > 中南大学 > 湖南大学 > 西北大学 > 中国科学院研究生院（计算... > 中国科学院上海冶金研究所 > 中国科学院软件研究所 > 华东师范大学

相关作者

> 宋苑 > 冯华 > 陈爱国 > 周卫东 > 李留英 > 缪力 > 张卫良 > 姚砺 > 柯尧 > 路晓丽 > 吴鹏 > 刘玲 > 覃志东 > 高燕 > 李小将 > 王馨 > 田春华 > 张炜 > 郭健强 > 李华旺