全文获取类型
收费全文 | 133篇 |
免费 | 6篇 |
国内免费 | 6篇 |
专业分类
航空 | 64篇 |
航天技术 | 32篇 |
综合类 | 3篇 |
航天 | 46篇 |
出版年
2024年 | 1篇 |
2023年 | 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篇 |
排序方式: 共有145条查询结果,搜索用时 15 毫秒
101.
飞行控制软件测试用例辅助设计系统原型的设计与实现 总被引:1,自引:1,他引:0
BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。 相似文献
102.
103.
104.
105.
基于遗传算法的软件结构测试数据生成技术研究 总被引:10,自引:2,他引:10
首先介绍了软件结构测试数据生成的研究现状,然后探讨了用遗传算法解决该问题的方法和技术,在上述研究成果的基础上,已开发了一个用遗传算法实现最优搜索,生成测试数据的工具原形,初步实验表明该方法是有效的可行的。 相似文献
106.
107.
针对航天软件自动化测试和测试通用性要求的不断提高,提出基于DAQ(数据采集)和FPGA(现场可编程门阵列)的星务软件测试平台构建方案,在PXI(PCI eXtensions for Instrumentation,外设部件互联标准在仪器领域的扩展)系统环境下应用NI(美国国家仪器公司)的DAQ板卡和FPGA板卡实现星务软件外围数据的仿真模拟,应用Lab-VIEW编程实现信号的解析和良好的人机交互界面。在实际测试中,它能够很好地完成一系列星务软件的自动化动态测试、故障模拟测试等,大大缩短了测试周期,提高了测试效率。此平台完全满足航天软件现代化测试的要求,具有开发周期短、使用效率高、通用性强等优点。 相似文献
108.
介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值. 相似文献
109.
为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用. 相似文献
110.
在分析计量测试软件的软件测评与计量验证区别的基础上,应用软件测试的基本原理,提出了计量测试软件的计量验证方法。应用提出的方法对铂、铜热电阻自动检定软件系统进行了计量验证,并对存在的问题进行了讨论。 相似文献