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

Ada软件的动态测试技术研究

徐红  钱红兵  陈曦  
【摘要】:为改善软件质量,对Ada软件的动态测试技术进行了研究,并且就以下内容着重进行了讨论:Ada软件的分析与理解;Ada软件的动态测试原则与方法;Ada软件的动态测试工具ASDT.
【作者单位】北京航空航天大学计算机科学与工程系
【分类号】:TP312

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前1条
1 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
【同被引文献】
中国期刊全文数据库 前8条
1 李健,金茂忠;对象状态测试[J];北京航空航天大学学报;1997年01期
2 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期
3 吴际,金茂忠,刘超;软件复杂性与测试用例集价值[J];电子学报;2002年S1期
4 杜栓柱,谭建荣,陆国栋;基于界面构件关联图的软件功能测试技术[J];计算机研究与发展;2002年02期
5 何允如,刘宗田,郝峰,李心科;基于程序执行状态图的软件测试方法研究[J];计算机工程与应用;2002年18期
6 李小将;基于CIS的消息驱动的GUI自动测试方法[J];计算机工程;2004年05期
7 兰毓华,毛法尧,曹化工;基于Z规格说明的软件测试用例自动生成[J];计算机学报;1999年09期
8 刘超;程序交互执行流程图及其测试覆盖准则[J];软件学报;1998年06期
【二级引证文献】
中国重要会议论文全文数据库 前1条
1 林炜;;两种软件测试方法的比较和改进[A];第十七届全国青年通信学术年会论文集[C];2012年
中国硕士学位论文全文数据库 前1条
1 李团良;移动信息管理中心平台的研究与实现[D];吉林大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 刘久富;孙德敏;杨忠;张志强;;嵌入式软件的动态测试[J];微计算机信息;2006年02期
2 刘久富;孙德敏;杨忠;张志强;沈春林;;嵌入式软件的动态测试[J];宇航计测技术;2006年01期
3 何雪慧;;如何以软件测试推动软件工程化[J];科技经济市场;2008年03期
4 孙秋云;邢静波;;构件测试的研究发展[J];价值工程;2010年16期
5 张军威;;浅谈如何以软件测试推动军工软件工程化[J];硅谷;2011年14期
6 陈耿毅;余钦范;罗水余;夏竹;李万万;;基于地球物理数据处理软件的测试与应用[J];河北理工学院学报;2006年03期
7 王可平;杨宗;;浅析空管自动化系统的软件质量保证[J];数据采集与处理;2009年S1期
8 杜梅;刘丙利;;浅析提高软件测试效率的方法[J];科技信息;2011年15期
9 龚亚东;叶勇;张辉;;软件移植测试过程的探讨[J];现代计算机;2005年12期
10 李英;;对软件可靠性测试的认识[J];信息与电脑(理论版);2011年08期
中国重要会议论文全文数据库 前10条
1 常永亮;王佳琳;常永刚;刘宝凤;;软件测试的应用[A];2008年航空试验测试技术峰会论文集[C];2008年
2 钟治平;徐拾义;;程序插装技术在软件内建自测试中的应用[A];第十届全国容错计算学术会议论文集[C];2003年
3 卢庆龄;张威;;代码覆盖分析技术研究[A];第十届全国容错计算学术会议论文集[C];2003年
4 符开桂;胡泽平;;浅谈软件测试应把握的几个问题[A];海南省通信学会学术年会论文集(2006)[C];2006年
5 蒋方纯;陆云帆;谢晓勇;;软件测试理论中的阴阳学说[A];第六届中国测试学术会议论文集[C];2010年
6 夏玉辉;张威;万琳;王洪艳;;不可达代码的一种静态测试方法[A];第四届中国测试学术会议论文集[C];2006年
7 朱睿;吴洁明;;XML技术在白盒测试中的应用[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
8 寇纲;彭怡;石勇;;基于数据挖掘的软件缺陷度量评估管理及研究现状综述[A];第三届(2008)中国管理学年会论文集[C];2008年
9 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
10 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
中国重要报纸全文数据库 前10条
1 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
2 ;软件测试的基本方法[N];中国计算机报;2002年
3 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
4 王宇;过程决定质量[N];中国计算机报;2003年
5 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
6 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
7 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
8 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
9 本报记者 张旭东;软件测试 IT就业新热点[N];中国计算机报;2005年
10 隋年;软件测试:2007需求再放大[N];就业时报;2007年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
3 李克文;软件质量测评模型与测试数据生成方法研究[D];天津大学;2012年
4 黄鹏;基于广义半监督学习方法的软件质量预测研究[D];上海交通大学;2010年
5 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
6 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
7 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
8 李华旺;航天嵌入式现代小卫星软件容错设计及测试系统研究[D];中国科学院上海冶金研究所;2001年
9 闫法义;AMS-02航天器热控系统结构测试件结构分析与优化研究[D];山东大学;2009年
10 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
中国硕士学位论文全文数据库 前10条
1 汪立;80C196系列单片机测控系统软件全数字仿真测评技术研究[D];中国工程物理研究院;2007年
2 姚俊峰;独立的第三方机构中的软件评测技术及作用[D];武汉大学;2004年
3 韩晓燕;中小企业软件测试管理系统设计与实现[D];浙江大学;2007年
4 张扬;外包测试项目的质量管理方法研究[D];北京邮电大学;2010年
5 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
6 孙惠杰;软件测试研究及其应用[D];哈尔滨工程大学;2003年
7 张婷;基于软件测试技术的软件质量保证研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
8 史雪峰;基于遗传蚁群算法的测试数据自动生成[D];大连海事大学;2008年
9 赖祥伟;基于UML的形式化面向对象软件测试用例辅助生成技术[D];西南师范大学;2003年
10 刘永;面向对象自动化测试系统的研究与实现[D];沈阳工业大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026