全文获取类型
收费全文 | 837篇 |
免费 | 109篇 |
国内免费 | 155篇 |
专业分类
电工技术 | 30篇 |
综合类 | 64篇 |
化学工业 | 2篇 |
机械仪表 | 11篇 |
建筑科学 | 9篇 |
矿业工程 | 4篇 |
能源动力 | 4篇 |
轻工业 | 5篇 |
水利工程 | 1篇 |
武器工业 | 7篇 |
无线电 | 168篇 |
一般工业技术 | 30篇 |
冶金工业 | 2篇 |
自动化技术 | 764篇 |
出版年
2024年 | 4篇 |
2023年 | 17篇 |
2022年 | 13篇 |
2021年 | 24篇 |
2020年 | 29篇 |
2019年 | 36篇 |
2018年 | 29篇 |
2017年 | 24篇 |
2016年 | 41篇 |
2015年 | 55篇 |
2014年 | 72篇 |
2013年 | 61篇 |
2012年 | 87篇 |
2011年 | 85篇 |
2010年 | 96篇 |
2009年 | 98篇 |
2008年 | 74篇 |
2007年 | 90篇 |
2006年 | 66篇 |
2005年 | 40篇 |
2004年 | 25篇 |
2003年 | 10篇 |
2002年 | 7篇 |
2001年 | 5篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 4篇 |
1997年 | 2篇 |
1996年 | 1篇 |
1993年 | 1篇 |
排序方式: 共有1101条查询结果,搜索用时 15 毫秒
1.
航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。 相似文献
2.
3.
4.
5.
6.
针对为数较多的测试用例增加了回归测试成本的问题,提出一种基于弱变异准则的测试用例约简方法。首先,基于弱变异准则获得测试用例和变异分支关系矩阵;然后,重复约简4种无效测试需求和子集测试用例;最后,结合人工鱼群算法选择当前最优测试用例,并且交替执行简化和测试用例选择操作直至覆盖所有测试需求。该方法针对6个经典程序与贪心算法和HGS算法相比,基于弱变异准则并且不改变或稍微改变变异评分的条件下,约简率分别提高了73.4%和8.2%,且耗时分别降低了25.3%和56.1%。实验结果表明,所提方法在回归测试中可有效约简测试用例,降低测试代价。 相似文献
8.
程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。 相似文献
9.
10.
为了缩短软件测试周期,测试用例的生成是关键.基于蒙特卡罗方法,提出了一种测试用例优化技术,该理论采用适应度比例的概率方法进行优化.通过例子证明,该方法在产生均匀、优化的测试用例方面是有效的. 相似文献