全文获取类型
收费全文 | 134篇 |
免费 | 6篇 |
国内免费 | 6篇 |
专业分类
航空 | 64篇 |
航天技术 | 32篇 |
综合类 | 4篇 |
航天 | 46篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 6篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 3篇 |
2015年 | 4篇 |
2014年 | 8篇 |
2013年 | 1篇 |
2012年 | 10篇 |
2011年 | 10篇 |
2010年 | 7篇 |
2009年 | 7篇 |
2008年 | 8篇 |
2007年 | 4篇 |
2006年 | 9篇 |
2005年 | 11篇 |
2004年 | 9篇 |
2003年 | 9篇 |
2002年 | 6篇 |
2001年 | 4篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 4篇 |
1997年 | 6篇 |
1996年 | 1篇 |
1995年 | 3篇 |
1992年 | 1篇 |
排序方式: 共有146条查询结果,搜索用时 0 毫秒
101.
飞行控制软件测试用例辅助设计系统原型的设计与实现 总被引:1,自引:1,他引:0
BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。 相似文献
102.
103.
104.
105.
基于遗传算法的软件结构测试数据生成技术研究 总被引:10,自引:2,他引:10
首先介绍了软件结构测试数据生成的研究现状,然后探讨了用遗传算法解决该问题的方法和技术,在上述研究成果的基础上,已开发了一个用遗传算法实现最优搜索,生成测试数据的工具原形,初步实验表明该方法是有效的可行的。 相似文献
106.
107.
在分析计量测试软件的软件测评与计量验证区别的基础上,应用软件测试的基本原理,提出了计量测试软件的计量验证方法。应用提出的方法对铂、铜热电阻自动检定软件系统进行了计量验证,并对存在的问题进行了讨论。 相似文献
108.
以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动 相似文献
109.
测试发射控制软件确认测试环境的实现 总被引:4,自引:2,他引:2
测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现 相似文献
110.