首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   11篇
  免费   0篇
丛书文集   1篇
综合类   10篇
  2007年   9篇
  2006年   1篇
  2005年   1篇
排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。  相似文献   
2.
通过对国内外几种阳极几何尺寸、配置的结构参数分析;从铝电解槽换极周期、阳极生产工艺等方面提出了铝电解槽阳极的合理结构,操作方式。  相似文献   
3.
多线程故障分析及解决方法   总被引:1,自引:0,他引:1  
多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。  相似文献   
4.
基于模型的软件测试   总被引:3,自引:0,他引:3  
基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。  相似文献   
5.
多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。  相似文献   
6.
稀土添加剂对泡沫铝合金的抗压屈服强度有较大的影响,最佳的稀土添加量为0.40%(质量分数)。在三种不同基体材料的泡沫金属中,稀土泡沫铝合金具有较高的弹性模量、抗压屈服强度以及流变平台区,进一步结合金相图分析稀土对铝合金基体的增强机理。  相似文献   
7.
静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其他程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式,说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法,最后介绍了几种常用的静态代码安全检测工具。  相似文献   
8.
静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其他程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式,说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法,最后介绍了几种常用的静态代码安全检测工具。  相似文献   
9.
系统地介绍了软件测试的方法,提出一种对软件测试工具的分类方法,分别介绍了白盒测试工具、黑盒测试工具、专用测试工具、测试管理工具以及辅助测试工具,最后指出在实际应用中测试工具的选择方法以及自动测试工具的局限性.  相似文献   
10.
基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号