站点首页 最近更新 图书分类 下载推荐 下载排行 技术论坛  
书库下载
设为首页
联系我们
加入收藏
高级搜索
 
  您的位置:首页 > 下载分类 > 科技期刊 > 计算机类 > 软件使用 >
  栏目导航
  本类下载排行
飞行控制软件测试用例辅助设计系统原型的设计与实现
下载级别: 游客
文件类型: pdf
图书格式: PDF
图书大小: 217KB
图书等级:
图书登陆: admin
整理时间: 2008-03-21
图书简介:

[作 者] 钱杰

[机 构] 北京航天自动控制研究所,北京100854

[刊 名] 航天控制-2005.23(4).-51-55

[文 摘] BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。
下载地址: 进入下载
下载帮助:

相关图书:
.软件测试在机房管理系统开发中的应用  (2008-09-01)
.PLD用EDA软件测试技术概述  (2008-09-01)
.煮酒论英雄:世纪末中外杀毒软件测试报告  (2008-09-01)
.软件测试模型及其实现  (2008-09-01)
.软件测试工作的初探  (2008-09-01)
.基于类型理论的构造性软件测试模型  (2008-09-01)
.面向对象软件测试的策略  (2008-09-01)
.软件测试中人的可靠性分析  (2008-09-01)
.基于Petri网的软件测试分析  (2008-09-01)
.软件测试度量的模糊数学评价方法研究  (2008-09-01)
 


RAR压缩文件请使用WinRAR3.4以上进行解压;[点击下载]
ISO格式光盘镜像文件请用虚拟光驱软件Alcohol120%打开;[点击下载]
PDF格式文件请使用Adobe Acrobat Reader打开阅读;[点击下载]
PDG格式文件请用BooXViewer阅读器打开;[点击下载]
WDL格式文件请用WDL文件阅读器打开;[点击下载]
如不能正常播放本站的视频文件,请安装最新暴风影音播放器。[点击下载]

☉更多、更好的资源,请访问

☉本站所有资源均是网上搜集或私下交流学习之用,任何涉及版权问题,请来信告知,我们会及时进行删
 除。本站仅仅提供一个观摩学习的环境,所有软件图书均为介绍。所有资源请在下载后24小时内删除。
 如果您觉得满意,请与相关出版社或作者联系,购买正版!本站严厉谴责和鄙夷一切利用本站资源进行
 牟利的盗版行为!

 

  最新增加
关于本站 | 广告服务 | 联系站长 | 版权声明 | 网站地图 | 留言板 | 发布图书
© 2008 bookku.net Corporation. All rights reserved. Powered BY: Edown Version 2.1
如有任何疑问,请联系本站QQ:24620962