Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

粘连细胞分割算法的研究与实现

以粘连细胞分割为例,提出了一种基于分水岭算法的图像分割算法.算法对分水岭分割之前的距离变换和求种子点进行了改进,得到了较好的分割效果.实验证明,该算法较好地完成了粘连细胞的分割任务.     

一种XQuery查询程序自动生成系统的设计与实现

设计并实现了一种XQuery查询程序自动生成系统.为普通用户提供一种界面友好的XQuery查询,有利于XML的进一步推广.     

鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在聚甘氨酸修饰电极上的电化学行为及其同时测定

在优化的实验条件下,利用电化学方法制备了甘氨酸修饰电极,对修饰膜的电活性进行了表征.用循环伏安法研究了鸟嘌呤(G)和8一羟基脱氧鸟嘌呤核苷(8-OH-dG)在聚甘氨酸修饰电极上的电化学行为,并建立了对两者进行分别检测和同时检测的分析方法.实验结果表明,聚甘氨酸修饰电极可以增强鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在电极表面的吸附,并且可以加快鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在电极表面的电子传输,使两种电活性物质在聚甘氨酸修饰电极上的电化学信号明显增大,检测灵敏度大大提高,并且该修饰电极具有良好的稳定性和重现性.可用于鸟嘌呤和8-羟基脱氧鸟嘌呤核昔的分别和同时检测.     

以太型局域网吞吐率指标的检测

吞吐率是以太型局域网性能中最重要一项测试指标,利用实际的检测项目,结合最新颁布的国家标准,对这项指标进行检测。利用所测数据判断网络吞吐率是否达到千兆．验证数据包大小变化时引起的吞吐率变化,并将局域网中存在的问题进行分析和解决,最后总结出吞吐率指标测试的关键要素,为以后的相关测试提供参考。     

P4P：P2P产业可持续发展的必经之路

近年来互联网上P2P应用业务得到了飞速的发展,同时占用了大量的带宽资源造成了带宽吞噬。至此,点对点网络数据传输新体系P4P技术应运而生．能有效减少网络骨干线路的负载和提高ISP的网络效率。本文从P2P的发展困境引入,分析P4P技术原理并比较P2P与P4P的性能。     

实践教学体系中学生能力的提高与发展

职业教育的培养目标是生产、建设、管理等一线需要的高等技术应用性人才,职业能力的培养与形成是职业教育教学工作的核心任务,这就奠定了实践教学在职业教育教学中的重要地位。本文主旨在于弄清楚实践教学的本质与特征,分析并构建科学、合理的教学体系,对职业教育的教学观、质量观及学生能力的提高与发展等提出合理化建议。     

基于MVC架构的网络设计研究

随着互联网和商业软件的发展,基于网络的应用系统越来越多,MVC架构能有效的缩短开发成本和开发时间,该文主要介绍MVC架构的几种主要模式,根据网络应用系统的特点．介绍如何在网络应用系统中实现MVC架构。     

虚拟机在实践教学中的应用

随着高职院校课程的不断改革深入,越来越重视实践教学。虚拟技术的发展和其自身所具有的特点,被高校广泛的应用在实践教学上。虚拟机的应用不仅充分有效的利用现有设备,而且对硬件设备及系统具有很好的安全性。教学上更加灵活、方便的设计实践项目,从而提高实践教学的质量。     

一种实用的5阶电荷泵锁相环性能分析与设计仿真

本文在分析5阶锁相环基本原理和线性化数学模型的基础上,给出了一种实用的4阶环路滤波器的设计方法,用Matlab编程计算锁相环的参数;用ADS工具对系统性能进行仿真,仿真结果与预期结果相吻合;比较了具有相同环路带宽和相位裕度下的高阶锁相环的杂散性能。这对5阶电荷泵锁相环的系统设计和仿真有一定的指导意义。