流通国际化背景下我国物流企业国际化道路

经济全球化进程的加快,流通国际化程度越来越高,我国物流企业利用流通国际化带来的广阔市场,纷纷走上因际化道路.物流企业国际化是我国经济国际化和国际贸易的重要组成部分和必要条件,根据国际国内形势,我国物流企业国际化发展有其必然性和必要性.本文纵观我国物流企业国际化趋势,分析其发展的现状和制约因素,提出我国物流企业走向国际化的策略选择和对策建议.     

遗传算法辅助的动态符号执行测试方法

动态符号执行是一种有效的软件测试方法,但由于受到约束求解器求解能力的限制,在面对较为复杂的程序和路径条件时,动态符号执行的路径覆盖率还有待提升。针对上述问题,提出了一种遗传算法辅助的动态符号执行测试方法,并基于此方法实现了原型工具JDart-Ga。该方法结合遗传算法的优势,生成约束求解器无法求解的约束条件对应测试输入,从而提升动态符号执行的路径覆盖率。实验结果表明,在测试存在动态符号执行无法覆盖路径的3个实验对象时,所提出方法的路径覆盖率与JDart相比分别提升了16%至23%。