一个面向路径的软件测试辅助工具

软件测试作为保证软件质量、提高软件可靠性的重要手段 .路径覆盖准则就是考察软件测试充分性的一种重要准则 .由于严格的路径覆盖测试不可实现 ,选择一些对软件整体质量影响较大的重点路径进行测试 ,以提高软件测试工作的效率和效益 .主要针对面向对象的软件系统提出了一种通用的基于统计的自动化辅助工具 ,通过对程序代码的静态分析和插装 ,以及由大量随机测试用例驱动所得到的统计分析结果 ,为软件的功能测试和可靠性测试中的重点路径选择提供参考依据 .对该工具的主要思想、相应算法以及一些具体的实现问题进行了阐述 .

UML行为图驱动的Java程序运行时验证工具

UML是一种标准的可视化建模工具,广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UML行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例集作为输入,运行经过插装的被测Java程序,得到一组用于验证的程序运行轨迹。通过对程序运行轨迹和UML行为图中合法的事件序列的比较,该工具可以对程序的动态行为规约进行检查。本文描述了该工具的设计思想、算法和实现技术,并通过对实例研究对该工具的可用性和有效性进行了讨论。

信号处理在生活中的应用

首先介绍信号的定义、信号的描述、信号处理的目的,其次研究信号处理的方法在众多不同领域和学科中的发展和应用。最后总结随着微型计算机技术和大规模集成电路技术的发展,数字信号处理已经遍及通信、雷达、光学、生物医学、图像处理以及电子测量仪器等众多领域。

基于改进TF-PDF算法的地震微博热门主题词提取研究

随着网络通讯技术的发展和社交媒体工具的普及,越来越多的公众在微博平台发布、传播地震相关信息,而如何从这些信息中获取有用信息并为开展地震应急工作提供方向性的指导,成为研究的重点及难点。该文提出一种改进的TF-PDF算法,通过发布微博的博主影响力以及微博的关注度确定地震主题特征项的权重。首先利用ICTCLAS分词系统对地震微博信息进行分词,然后在微博分词后的词库中依据权重对候选主题词进行排序,从而获得地震信息的热门主题词,并以芦山地震和云南彝良地震的微博信息为例,对传统TF-PDF算法和改进后的TFPDF算法进行了对比。结果表明,利用传统TF-PDF方法发现的地震热门主题词多为位置信息,而改进后的方法可以更有效地发现公众在震时的感受,可为灾害救援提供及时的信息与支持。

全链路算法对云数据库中省市政务数据的优化

目前,各地政府已建立自身的信息系统,初步实现了政务信息的数字化。但是,政务数字化的深入及智能信息设备的大量应用,使得政务信息呈现大数据特征,信息处理准确率大幅下降,处理时间不断延长。如何对数据进行优化,提高政务信息的处理效果,成为亟待解决的问题。因此提出一种全链路的计算方法,简化数据处理步骤,剔除冗余信息。MATLAB仿真结果显示,全链路方法可以简化初始数据量,平均负荷率为68.3%,共享率为85.7%,硬件利用率为54.5%,平均准确率可以达到95%以上,平均丢失率为6%左右。可见,全链路算法优于可以实现对云数据库中省市政务数据的优化。

水合物饱和度和温度之间关系的探究

天然气水合物饱和度与温度是水合物开采中的主要变量，二者的关系研究非常重要．本文的主要任务是研究水合物饱和度和温度的关系．首先根据质量守恒方程，孔隙度的变化，水合物分解的影响，建立关于水合物饱和度的理论模型．然后使用Runge-Kutta法进行数值求解，研究了温度的变化对水合物饱和度的影响．最后进一步总结分析，为水合物的开采试验提供参考．