基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。     

大学英语教育政策演变及路径分析

作为国家教育政策的重要组成部分,大学英语教育政策决定了我国大学英语教学发展的方向。而对我国大学英语教育政策发展轨迹进行系统的梳理和归纳,分析其政策演变及路径形成的原因,将为我国的大学英语教育政策规划和制定寻找启示。     

应用传递路径分析方法对方向盘抖动贡献量的研究

针对某国产样车存在的怠速时方向盘抖动的问题,采用传递路径分析方法寻找定位方向盘抖动的具体原因,将发动机4个悬置在x、y、z方向的振动作为路径输入端,以方向盘在z方向的振动作为目标点,建立了传递路径的分析模型.通过获取各条传递路径的传递函数来识别各输入端的工作载荷,计算了各条传递路径对方向盘抖动的贡献量,从而找出了发动机激励和悬置系统固有频率之间存在耦合的问题.根据弹性支撑系统的隔振要求,将发动机悬置系统固有频率设计为18 Hz,不仅解决了样车存在的怠速时方向盘抖动的问题,而且表明了用于车内振动分析的传递路径方法的正确性和有效性.     

基于SEM模型的农村转移至城镇人口居住满意度研究——以福建为例

改革开放以来,福建省农村转移至城镇的人口呈现出从青壮年到现在多层次年龄段发展的趋势。随着农村转移至城镇人口的增加,探究福建省农村转移至城镇人口的居住满意度具有深远意义。该文基于福建省范围内农村转移至城镇人口的居住满意度问卷调查数据,运用结构方程模型进行路径分析。研究结果显示,解释路径分别为“个人情况—经济情况—返乡意愿—城镇居住满意度”和“家庭情况—返乡意愿—城镇居住满意度”,其中个人情况对经济情况产生正向影响,经济情况对返乡意愿产生正向影响,家庭情况对返乡意愿产生正向影响,返乡意愿对城镇居住满意度产生正向影响。     

我国现代农业发展模式建设与完善的路径分析

发展现代农业是加快转变我国农业发展方式的重要途径和重大任务。美、欧等发达国家分别走出各自的现代农业发展道路,如美国的制度化科技型、英国的政府引导型、法国的链条式环保型、德国的信息化生态型等不同的现代农业发展模式。我们应学习和借鉴国外现代农业的发展经验,从国情出发,建设与完善我国现代农业发展模式。     

一种基于Dijkstra的海量空间数据最短路径算法

为了解决海量空间数据的快速网络分析,在分析Dijkstra算法缺点的基础上,提出并详细介绍了一种基于Dijkstra算法的优化算法-邻接结点算法,该算法充分利用了网络拓扑信息中的弧段的连接关系,避免了使用含有大量无穷值的关联矩阵,结果表明:该优化算法可以节约大量的内存,适合海量数据的网络分析.实践证明,该算法对于结点数比较大的网络具有较好的适用性.     

郑州航空港临空经济推动城市高质量发展的路径分析

党的十九大报告指出,我国经济已由高速增长阶段转向高质量发展阶段。临空经济作为河南省引领科技创新、促进产业集聚、加速全面开放、补齐民生短板、吸引高端人才的重要抓手,对于持续推动郑州城市高质量发展、加快建设国家中心城市、助力中原更加出彩具有重大的现实意义。为了充分发挥临空经济对腹地城市经济发展的增速提质作用,应该做好以下6个方面:完善现代交通物流体系、大力发展航空经济、创新国际贸易模式、加强人才培养交流、优化营商环境、加快建设区域金融中心。