收藏本站
《北京航空航天大学学报》 1997年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于对象关系模型的C++程序静态分析器

吴鹏程  金茂忠  
【摘要】:面向对象程序设计技术给软件的测试和维护带来了新困难.针对这些困难,提出了用于描述程序中对象类之间三种依赖关系的对象关系图(ORD)模型,并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法.为了从特定的面向对象程序设计语言C++编写的程序中提取ORD图信息,构造了一个逆向工程工具——C++程序静态分析器,并对其实现上的一些关键技术进行了介绍
【作者单位】北京航空航天大学计算机科学与工程系
【分类号】:TP311.5

【引证文献】
中国期刊全文数据库 前4条
1 刘超,李健,沈海华;面向对象程序可视化类图的逆向自动生成[J];北京航空航天大学学报;1998年04期
2 黄世葆,蔡之华;静态分析器应用研究[J];微型机与应用;2001年06期
3 刘超,张茂林,晏海华,杨峰,何智涛;软件集成测试的群体协同工作模式及其特性[J];软件学报;2000年06期
4 孙昌爱,金茂忠,刘超,靳若明;程序执行时间的静态预估与可视化分析方法[J];软件学报;2003年01期
中国硕士学位论文全文数据库 前6条
1 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
2 唐晓君;软件再工程理论应用与研究[D];大连理工大学;2002年
3 赖松凤;基于增量式技术的程序静态分析器的研究[D];浙江工业大学;2007年
4 张襄松;软件可靠性及测试用例的最优分配问题研究[D];西安电子科技大学;2007年
5 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
6 王超;面向复用的软件再工程研究与应用[D];河北大学;2004年
【共引文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
3 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
4 檀凤琴;构造正则表达式的简化 DFA 算法[J];北京航空航天大学学报;1998年04期
5 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期
6 梁应宏,陈绍强;用YACC实现程序插装器[J];北京邮电大学学报;1997年01期
7 唐科,汪文勇,刘利枚;嵌入式软件覆盖测试的研究[J];成都信息工程学院学报;2005年05期
8 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
9 陈文宇;面向对象软件的测试[J];电子科技大学学报;2001年06期
10 唐科,汪文勇,向渝,罗光春;汇编程序覆盖测试中分支路径数的计算[J];电子科技大学学报;2005年02期
中国重要会议论文全文数据库 前1条
1 张杰;林晓欲;;弹载软件系统测试方法研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年
3 赵敏;机动车安全性能测控系统关键技术研究[D];南京航空航天大学;2002年
4 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
5 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
6 曹星平;HLA仿真系统的校核、验证与确认研究[D];国防科学技术大学;2004年
7 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
8 方海光;我国教育软件价值评测研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
9 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
10 孙世霞;复杂大系统建模与仿真的可信性评估研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 宋苑;面向对象类级非等价对测试原型系统的设计与实现[D];暨南大学;2001年
2 张雪萍;面向对象软件测试技术研究[D];郑州大学;2001年
3 严体华;构件软件测试及充分性的研究[D];西安电子科技大学;2002年
4 冯同鑫;应用服务器技术研究及其在电信Internet业务管理中的应用[D];西安理工大学;2002年
5 袁红辉;CORBA技术的研究及其在通用视频信息检索系统中的应用[D];西安理工大学;2002年
6 杨绪亮;辽河油田钻井一公司财务信息管理系统[D];大连理工大学;2002年
7 张生芳;通用数控代码编译器研究[D];大连铁道学院;2002年
8 黄传慧;酒店MIS的设计与实现[D];华中师范大学;2002年
9 许赞泉;针对图形用户界面的软件测试研究[D];南京航空航天大学;2003年
10 林奕兵;热电厂电气监测监控系统厂站级设计与实现[D];大连理工大学;2002年
【同被引文献】
中国期刊全文数据库 前10条
1 刘超,金茂忠;软件测试过程的基本模型POCERM[J];北京航空航天大学学报;1997年01期
2 刘超,李健,沈海华;面向对象程序可视化类图的逆向自动生成[J];北京航空航天大学学报;1998年04期
3 金龙飞,刘磊;编译器前端构造工具及JLUCC的实现[J];吉林大学学报(信息科学版);2005年04期
4 陈光宇,黄锡滋;软件可靠性学科发展现状及展望[J];电子科技大学学报(社科版);2002年03期
5 吴际,金茂忠,刘超;软件复杂性与测试用例集价值[J];电子学报;2002年S1期
6 杜栓柱,谭建荣,陆国栋;基于界面构件关联图的软件功能测试技术[J];计算机研究与发展;2002年02期
7 张志猛,庄越挺,潘云鹤;面向对象软件的逆向工程[J];计算机研究与发展;2003年07期
8 胡华平,金士尧;分布式系统可靠性模型[J];计算机工程与应用;1999年08期
9 武小悦,沙基昌,党晓玲,李大庆;系统可靠性预计与分配集成系统的设计与实现[J];计算机工程与应用;1999年11期
10 何允如,刘宗田,郝峰,李心科;基于程序执行状态图的软件测试方法研究[J];计算机工程与应用;2002年18期
中国博士学位论文全文数据库 前3条
1 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
2 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
3 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
中国硕士学位论文全文数据库 前4条
1 朱少波;基于GCC开发C编译器的研究与实践[D];浙江大学;2003年
2 杜林;面向对象程序切片技术及其在软件度量中的应用[D];山东大学;2006年
3 董峰;LLVM编译系统结构分析与后端移植[D];上海交通大学;2007年
4 易长安;基于类图和过程蓝图的模型重构操作的研究[D];汕头大学;2007年
【二级引证文献】
中国期刊全文数据库 前7条
1 柳永坡,刘雪梅,刘美红,杨春河,郝建华;逆向工程技术在CsCST中的应用[J];大庆石油学院学报;2005年03期
2 曹明,孙昌爱,刘超;一种有效的软件测试工程化方法[J];计算机工程与应用;2003年05期
3 周慧华,郑明辉,马光致;面向对象的软件测试多Agent系统研究[J];计算机工程与应用;2004年32期
4 郑明辉,周慧华,马光致;面向对象的软件测试多Agent系统研究[J];计算机应用;2004年05期
5 刘超,张茂林,晏海华,杨峰,何智涛;软件集成测试的群体协同工作模式及其特性[J];软件学报;2000年06期
6 胡明华;汤铭端;;基于分布函数的程序执行时间的静态预估[J];计算机工程与设计;2006年16期
7 汪洋,程从超,董宝田;面向对象软件测试技术在铁路客票系统中的应用[J];微计算机应用;2003年05期
中国重要会议论文全文数据库 前1条
1 高建华;陈茹;;基于多层次功能模型的代价分析回归测试技术研究[A];第三届中国测试学术会议论文集[C];2004年
中国博士学位论文全文数据库 前3条
1 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
2 姚鑫骅;数控实时系统调度理论及应用研究[D];浙江大学;2006年
3 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
2 裴发展;UML在柔性开发模式中的应用研究[D];大连理工大学;2002年
3 刘建刚;基于UML的ERP系统的开发[D];江苏大学;2003年
4 王颐;基于图形用户界面的软件测试技术及其在儿童益智游戏产品中的应用研究[D];重庆大学;2004年
5 刘振宇;极限编程开发方法的研究及其在银行电子设备管理系统中的应用[D];中南大学;2005年
6 周高嵚;基于白箱测试的源代码在线评测系统[D];北京化工大学;2005年
7 李力峰;基于UML动态视图的测试模型及应用[D];苏州大学;2006年
8 郑敏;基于类图和抽象实现结构图的软件再工程[D];汕头大学;2006年
9 张襄松;软件可靠性及测试用例的最优分配问题研究[D];西安电子科技大学;2007年
10 李岩松;基于Web的OCR数据服务[D];天津大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
2 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期
3 郭滔;;面向对象软件测试技术研究[J];科技信息;2011年03期
4 刘冬梅;蒋立源;;面向对象程序的抽象类测试之研究[J];微处理机;2008年04期
5 王峰;郭长国;齐璇;施寅生;;常用的基于控制流的测试充分性准则[J];计算机工程与科学;2009年10期
6 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
7 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
8 周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期
9 刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期
10 车清太;软件测试方法和策略[J];山西电子技术;2003年06期
中国重要会议论文全文数据库 前10条
1 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
2 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
3 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
7 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
8 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
9 王彦丽;骆力明;;软件测试理论与软件测试实践教学体系探索[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 李永华;徐涛;樊玮;冯霞;;民航软件质量控制管理方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国重要报纸全文数据库 前10条
1 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
2 ;软件测试的基本方法[N];中国计算机报;2002年
3 隋年;软件测试:2007需求再放大[N];就业时报;2007年
4 ;浅谈测试中的常见问题[N];中国计算机报;2002年
5 本报记者 兰昆;软件测试业对性别无偏好[N];中国经济导报;2006年
6 赵健;软件测试将成行业新宠[N];中国企业报;2006年
7 权彦杰;软件测试与净室技术[N];中华读书报;2001年
8 本报记者  蒋蓉;从配角到主角[N];珠海特区报;2006年
9 王晓明;软测人才告急 培训市场看好[N];中国电脑教育报;2007年
10 胡伟;软件测试工程师“越老越吃香”[N];中华工商时报;2006年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
3 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
4 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
5 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
6 史亮;测试数据自动生成技术研究[D];东南大学;2006年
7 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
8 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
9 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
10 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
中国硕士学位论文全文数据库 前10条
1 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
2 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
3 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
4 刘维秀;基于缺陷管理的软件测试方法及应用[D];山东大学;2005年
5 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
6 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
7 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
8 陈和平;面向对象的自动化单元测试[D];武汉理工大学;2004年
9 赖涵;软件缺陷管理的研究与辅助工具实现[D];吉林大学;2005年
10 陈会霞;软件测试及其在WCDMA Node B系统测试中的应用与研究[D];西安电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026