排序方式: 共有22条查询结果,搜索用时 15 毫秒
1.
程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法,在程序CFG(controlflow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例。实验结果表明,与DFS(depth-firstsearch)和BFS(best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间。 相似文献
2.
图像处理技术在阻垢剂性能评定方法的应用 总被引:1,自引:0,他引:1
针对目前阻垢剂性能评定方法的不足,鉴于图像处理技术在检测领域中越来越多的应用,首次提出基于图像处理技术的阻垢剂性能快速评定方法.本方法以CaCl2为母液,Na2CO3为滴定液,通过连续自动滴加至过饱和,直至晶核形成,最终形成沉淀.利用摄像机对这一过程进行连续采样,对图像进行处理得出溶液状态变化与图像特征值变化的对应关系,并找出图像特征曲线的突变点(拐点),以此评定阻垢剂的性能.试验得到了与标准方法一致的结论,且具有重复性好、评定快捷、操作简便等特点. 相似文献
3.
文中针对Web网站开发的需要,对HTTP/1.1协议规范中的几种重要的头信息进行了分析和应用性研究,主要涉及HTTP认证、内容类型控制、缓存控制等几方面的内容,并以JSP/Servlet为开发工具,给出了各应用的具体实现。 相似文献
4.
5.
近几年来我国铁路在迅速发展,同时信号微机联锁设备也得到广泛的应用。文章通过借鉴国内外文献,客观地分析微机联锁系统的特点,列举该设备出现故障的原因及处理的过程,总结了微机联锁信号设备的管理与维护方法。 相似文献
6.
本文尝试用系统观的方法替代传统的城市规划SWOT(优势、劣势、机遇、挑战)的分析法,用另一种思考方式研究规划问题。再通过分析形成“大芬村现象”迅速崛起的内在动因,指出其不足及其应对策略。 相似文献
7.
8.
JSP网站中的图像及二进制文本信息处理技术研究 总被引:4,自引:4,他引:4
针对Web网站开发的需要,讨论了图像、二进制文本等主要媒体类型的信息处理 技术,并以JSP为开发工具,给出了各应用的具体实现。 相似文献
9.
用有限元分析软件ABAQUS对液压支架立柱和柱窝进行建模,利用其强大的非线性分析功能对液压支架立柱及柱窝进行接触分析,得出立柱和柱窝工作时的应力云图。同时将所得的分析结果与赫兹接触理论所得结果进行比较,总结立柱与柱窝的变形特点,为液压支架立柱与柱窝的设计及校核提供了依据和参考。 相似文献
10.