基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。

基于多区域多代码问题的自动分块算法

针对现有分块算法并行度低、负载不平衡的缺陷,提出一种基于多区域多代码问题的自动分块算法。通过循环分配算法实现计算区域间的处理器分配,基于Block的递归二分法对无向图进行剖分,实现计算区域内的任务分配。实验结果表明,该算法可使整个计算空间分配到的处理器量大致相等,处理器间的通信量最小。

《民航气象情报交换管理辅助工具/系统》的设计与实现

本文简要介绍民航气象情报交换管理辅助系统的设计及实现方法,通过该系统解决了实际工作中有关气象服务方面遇到的问题,增加了报文交换及气象服务的准确性,避免了重复查询及漏报等情况的发生,提高了工作效率。

A Pioneer in Regional Economic Integration——the Changsha-Zhuzhou-Xiangtan City Group

USUALLY each city has its own area code,but when I called one of my classmates in the U.S.the display on his telephone showed codes for three cit ies(Changsha,Xiangtan and Zhuzhou)He was puzzled and asked me whether I had opened companies in all three cities.I told him that as a city group the three cities use a unified area code–one of the results of regional econom ic integration.My company is in

DVD-ROM选购指南

最近DVD-ROM可谓春光满面,随着DVD-ROM的不断降价,光存储市场比率有了大的调整,DVD-ROM已大有取代CD-ROM之势。可靠资料显示,现今装配的兼容机中DVD-ROM已占光驱装机量的三成以上。面对DVD光驱咄咄逼人之势,靠单纯提高速度取胜而走到了尽头的CD-ROM只好举起了价格的大旗,纷纷将其主流的40X以上倍速的光驱降到了400元的价位。然而,大势所趋,DVD光驱完全取代CD光驱成为市场的主流已是不可更迭的趋势,越来越多的人开始关注DVD-ROM了,我们也不得不关注一下DVD-ROM的选购问题了。首先对DVD-ROM做一下必要的了解。DVD是由飞利浦和索尼公司与松下和时代华纳两大DVD阵营制定的新一代数据存储标准。英文全名是DigitalVideo Disk,即数字视频光盘或数字影盘。

越南槟椥省龙眼正式获准输往美国

美国农业部正式同意向越南槟枷省平大县三协社24hm^2龙眼专产区签发代码，准许该种水果出口美国。美国农业部植物检疫局刚刚对槟枷省平大县三协社龙眼专产区进行了实地考察。据考察结果，该机构决定向三协社龙眼专产区提供区域代码。三协社龙眼获准出口美国将助力于提高当地龙眼出口价值和农民收入。

越南兴安省龙眼将出口美国市场

作为向皇帝进奉的贡品之一，2015年是越南兴安省龙眼出口美国市场的第一年份。这也是兴安省龙眼走出国门的重要步骤。兴安省农业与农村发展厅副厅长段氏寨女士表示，目前，美国农业部动植物卫生检疫局同意向兴安省兴安市鸿南乡和快州县咸子乡的龙眼种植区提供区域代码。

有你的世界更精彩——精品DVD-ROM选购指南

看着市面上包装着花花绿绿的DVD影碟，痴迷看电影的你是否早已心痒难耐呢?再瞅瞅那价格．也不过是比VCD贵那么一点点．可是效果呢?无论是其震撼逼真的声音还是清晰动感的画面．都是VCD影碟所无法带来的。其实．随着数码技术的不断发展与数码产品价格的不断走低．在家看“DVD大片”也逐渐演化成为一种时尚消费的潮流．而在市场上．DVD—ROM的价格也一直在不断下降．从原来一千多元降至现在的三、四百元．体验DVD震撼的视听效果．对我们来说也不再是奢望。可是目前市场上的DVD—ROM品种繁多．样式各异．究竟那一款DVD—ROM才是我们真正需要的呢?

气瓶使用登记管理规则

气瓶使用登记工作是特种设备安全监察工作的重要内容,也是巩固气瓶普查整治成果的主要措施。为了加强气瓶使用登记管理,规范使用登记行为《,气瓶使用登记管理规则》已由国家质检总局颁布,并于2005年10月1日起施行。根据有关规定,直辖市或者设区的市质量技术监督部门(以下统称登记机关),负责办理本行政区域内气瓶的使用登记工作。气瓶须按批量或逐只办理使用登记,使用单位应当在每只气瓶的明显部位标注气瓶使用登记代码永久性标记,使用登记代码由气瓶品种代码、省级行政区域代码、使用单位代码和排序代码组成。为了便于相关单位更好地了解登记管理规则,有效开展工作,现将规则部分内容刊登如下,供读者参阅。