收藏本站
《计算机研究与发展》 1997年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

PSS/Ada程序切片系统的设计与实现

杨洪  徐宝文  
【摘要】:PSS/Ada是一个Ada程序静态切片生成系统,可广泛应用于Ada程序的测试、排错、理解、维护以及Ada软件的波动性分析、并行性检测和复杂性度量等诸方面.本文介绍PSS/Ada系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节

【引证文献】
中国期刊全文数据库 前6条
1 胡顺仁,蒋西明,周登义;面向对象系统的回归测试研究[J];重庆工学院学报;2005年05期
2 胡顺仁,王铮,邓毅;基于UML构造回归测试依赖集[J];计算机工程与应用;2003年05期
3 徐宝文 ,张挺 ,陈振强;递归子程序的依赖性分析及其应用[J];计算机学报;2001年11期
4 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
5 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
6 李必信 ,刘小东 ,郑滔 ,李宣东 ,郑国梁;一种面向对象程序的分层切片方法[J];软件学报;2001年12期
中国硕士学位论文全文数据库 前6条
1 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
2 胡顺仁;基于UML构建面向对象系统的依赖性研究[D];重庆大学;2002年
3 王智学;一种小型面向对象语言的程序分片技术[D];吉林大学;2007年
4 马亮;面向对象程序动态切片系统的研究与实现[D];南京航空航天大学;2007年
5 余斌;Java程序分层及概率依赖性分析[D];东南大学;2006年
6 杜林;面向对象程序切片技术及其在软件度量中的应用[D];山东大学;2006年
【共引文献】
中国期刊全文数据库 前4条
1 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
2 徐宝文 ,张挺 ,陈振强;递归子程序的依赖性分析及其应用[J];计算机学报;2001年11期
3 王玉宝,史亮,徐宝文;基于Q学习的复杂程序动态依赖性分析[J];计算机与数字工程;2005年02期
4 叶延风,林钧海,秦小麟;一个C程序切片系统的设计与实现[J];南京航空航天大学学报;1996年04期
中国博士学位论文全文数据库 前1条
1 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前3条
1 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
2 余斌;Java程序分层及概率依赖性分析[D];东南大学;2006年
3 王玉宝;基于Q学习的复杂程序动态分析技术[D];东南大学;2005年
【同被引文献】
中国期刊全文数据库 前10条
1 李必信,杨朝晖,谭毅,朱平,李宣东,郑国梁;一种基于切片技术度量Java耦合性的框架[J];计算机学报;2001年03期
2 杜宗霞,怀进鹏,王勇,张煜;组合Web Service支撑系统的研究与实现[J];北京航空航天大学学报;2003年10期
3 窦燕;影响软件项目管理关键因素的探讨[J];燕山大学学报;2004年04期
4 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
5 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
6 于卫,杨万海,蔡希尧;软件体系结构的描述方法研究[J];计算机研究与发展;2000年10期
7 刘宗田;面向对象软件度量中的内聚缺乏度分析[J];计算机研究与发展;2001年02期
8 陈振强,徐宝文;一种并发程序依赖性分析方法[J];计算机研究与发展;2002年02期
9 廖渊,淮晓永,李明树;QuCOM:一种面向构件系统的QoS管理模型[J];计算机研究与发展;2005年10期
10 杨义兵,曹小琳;工程项目进度控制目标的经济性分析[J];重庆建筑大学学报;2003年02期
中国博士学位论文全文数据库 前2条
1 林松涛;模块化本体建设研究[D];北京邮电大学;2006年
2 李必信;程序切片技术及其在面向对象软件度量和软件测试中的应用[D];南京大学;2000年
中国硕士学位论文全文数据库 前3条
1 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
2 王雪莲;程序切片技术研究及其在软件测试数据生成中的应用[D];北京化工大学;2005年
3 马亮;面向对象程序动态切片系统的研究与实现[D];南京航空航天大学;2007年
【二级引证文献】
中国期刊全文数据库 前10条
1 胡顺仁,蒋西明,周登义;面向对象系统的回归测试研究[J];重庆工学院学报;2005年05期
2 宫慧颖,张晓东,刘磊;程序分片技术及应用[J];大连民族学院学报;2001年03期
3 张爱文;王泉泉;;编程题自动评分模型的研究与实现[J];黑龙江科技信息;2007年09期
4 胡顺仁,王铮,邓毅;基于UML构造回归测试依赖集[J];计算机工程与应用;2003年05期
5 朱平,谭毅,李必信,郑国梁;一种基于分层切片模型思想的源程序信息分析方案[J];计算机工程;2001年12期
6 胡顺仁;陈伟民;廖昌荣;余淼;梁宗保;;基于UML类图的类之间依赖关系图论问题研究[J];计算机工程;2006年12期
7 李必信,杨朝晖,谭毅,朱平,李宣东,郑国梁;一种基于切片技术度量Java耦合性的框架[J];计算机学报;2001年03期
8 单锦辉,王戟,齐治昌,吴建平;Gupta方法的改进[J];计算机学报;2002年12期
9 王雪莲,赵瑞莲,李立健;一种用于测试数据生成的动态程序切片算法[J];计算机应用;2005年06期
10 周晓宇,黄文伟,史亮,徐宝文;C程序单元级依赖性分析[J];计算机与数字工程;2004年06期
中国博士学位论文全文数据库 前6条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 丁晓宁;面向CFD的交互式并行化技术研究[D];西北工业大学;2002年
3 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
4 何秋生;一种轻量级觉察上下文软件体系结构的研究[D];复旦大学;2007年
5 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
6 蒋烈辉;固件代码逆向分析关键技术研究[D];解放军信息工程大学;2007年
中国硕士学位论文全文数据库 前10条
1 胡顺仁;基于UML构建面向对象系统的依赖性研究[D];重庆大学;2002年
2 刘恒;程序中重复代码的自动检测[D];大连理工大学;2003年
3 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
4 黄文伟;C程序文件间依赖性分析[D];东南大学;2004年
5 王鹏飞;包含异常处理的Java程序切片研究[D];湖南大学;2005年
6 李聪廷;面向对象软件度量的研究及工具实现[D];西北大学;2006年
7 耿立明;基于UML的工作流管理系统的分析和设计[D];山东科技大学;2006年
8 赵丹;基于静态类型分析的Java程序函数调用图构建方法研究[D];湖南大学;2006年
9 解凯;构件系统回归测试模型与技术研究[D];东南大学;2006年
10 吴重强;模块单子切片性质研究及扩展[D];东南大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 付东来;陈够喜;杨秋翔;;基于XML文档切片的隐秘通信[J];计算机应用与软件;2011年09期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 余斌;史亮;钱巨;;程序概率依赖性分析技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
2 王鹏飞;张大方;缪力;;包含异常处理的Java程序切片[A];第三届中国测试学术会议论文集[C];2004年
3 蒋曹清;张大方;缪力;;一种回归测试后的错误定位方法[A];第三届中国测试学术会议论文集[C];2004年
4 黄光燕;李晓维;;软件的变量完整性测试方法[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
5 李卷孺;谷大武;陆海宁;;二进制代码隐秘功能的安全性验证[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
6 唐艳琴;窦万峰;;异步协同编程环境下的程序差别[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 郑文荣;王树宗;刘刚;;软件逆向工程应用研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
8 戈倩;高建华;;一种定位面向对象软件中回归测试错误的方法[A];第五届中国测试学术会议论文集[C];2008年
9 尚宗敏;崔立真;王海洋;;智能流程应用模式下基于流程语义库的流程自动生成方法[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
10 李颖;曾春;宋宝燕;田文虎;王国仁;于戈;;ScopeWork系统工作流定义语言SWDL的设计[A];第十六届全国数据库学术会议论文集[C];1999年
中国博士学位论文全文数据库 前10条
1 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
2 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
3 刘西洋;演化测试中面向分支到达的适应度函数设计研究[D];西安电子科技大学;2007年
4 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
5 邓娜;BPEL流程生命周期中若干关键问题研究[D];北京邮电大学;2011年
6 郭德贵;ATLAS语言指称语义及程序分析技术[D];吉林大学;2007年
7 王甜甜;结构语义相似的程序识别方法研究[D];哈尔滨工业大学;2009年
8 江胜;基于进化测试的用例生成方法研究[D];华中科技大学;2009年
9 闫哲;跨组织的工作流过程集成技术研究[D];北京大学;2007年
10 王智学;程序切片技术理论与应用研究[D];吉林大学;2012年
中国硕士学位论文全文数据库 前10条
1 孙纪玮;基于程序切片的电子海图系统软件测试技术研究[D];哈尔滨工程大学;2011年
2 王鹏飞;包含异常处理的Java程序切片研究[D];湖南大学;2005年
3 时武略;基于程序切片的Java多态性研究[D];东北大学;2009年
4 张红英;基于AspectJ的Java程序切片系统的设计与实现[D];西安电子科技大学;2005年
5 苏瑞;基于程序切片的数据库变更影响分析系统的设计与实现[D];北京邮电大学;2011年
6 林科学;软件测试/调试技术应用研究[D];南京气象学院;2004年
7 黄山;基于动态二进制程序切片技术的软件攻击诊断[D];上海交通大学;2012年
8 王伟;基于程序切片和Web构件的语义Web服务组合[D];南京邮电大学;2012年
9 李赋欣;规约和切片技术在组件测试用例生成中的研究[D];重庆大学;2007年
10 战晓娟;基于混淆和水印的Java字节码安全技术的研究[D];大连交通大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026