排序方式: 共有18条查询结果,搜索用时 0 毫秒
1.
2.
程序正确性测试的相关技术进展 总被引:1,自引:0,他引:1
本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。 相似文献
3.
螺杆泵采油会受到一系列外在因素的干扰,严重影响螺杆泵在采油工程中的作用效果。本文将对螺杆泵采油的影响因素实施相应分析,并按照分析结果制定合理的增效技术,实现螺杆泵采油提产增效目标。 相似文献
4.
JAPS-II(Java automatic parallelizing system version 2)是一个Java源代码重构编译器,用来发现和实现串行Java程序中对象内和对象间的并行性.其目标体系结构为基于工作站网络环境的分布式存储器计算机系统.介绍了JAPS-II的体系结构和实现JAPS-II的关键技术,包括用于对象并行性分析的数据流分析技术、提高对象并行性和减少运行开销的优化技术以及类重构和代码生成技术.测试结果表明,JAPS-II能够有效地发现循环中和对象内、对象间的并行性,获得加速比.这 相似文献
5.
基于事件约束的分布式程序正确性测试 总被引:7,自引:3,他引:4
由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程 相似文献
6.
7.
8.
于勐 《中国新技术新产品》2012,(8):2-3
针对油层动用程度低,部分油层未动用是蒸汽吞吐阶段主要问题,研制开发了分注分采系列工艺技术,通过该系列技术的实施来改进注汽井的注汽方式,调整吸汽剖面,改善注汽效果。该系列技术适用于油层渗透率错综复杂且符合射孔完井、油层井段固井质量合格、套管无重大变形、吸汽剖面资料比较明显的油井。并根据各油层或各组油层的不同特性进行配汽,同时也就大大平衡了油层纵向吸汽不均的矛盾。 相似文献
9.
10.