【摘 要】
：
测试数据生成是软件测试的关键,近年来得到国内外学者的广泛关注.但是,已有的研究成果主要面向串行程序.任务划分、进程调度和网络延迟,使得并行程序的执行具有不确定性,给并
【基金项目】
：
国家自然科学基金(61075061);高等学校博士学科点专项科研基金(20100095110006);中央高校基本科研业务费专项资金(2012LWB72);江苏省普通高校研究生科研创新计划项目(CXZZ11_0292)联合资助~~
论文部分内容阅读
测试数据生成是软件测试的关键,近年来得到国内外学者的广泛关注.但是,已有的研究成果主要面向串行程序.任务划分、进程调度和网络延迟,使得并行程序的执行具有不确定性,给并行程序的测试数据生成带来很大挑战.文中研究消息传递并行程序面向路径覆盖的测试数据生成问题,提出并行程序的路径表示,定义等价路径并给出寻找方法.基于此,建立并行程序路径覆盖测试数据生成问题的数学模型,并采用遗传算法求解该模型.作者将所提方法应用于6个基准测试程序,并与随机法比较.实验结果表明,文中所提方法可以高效生成覆盖目标路径的测试数据.
其他文献
采用计算实验的研究方法,对不同最小报价单位设置下的市场流动性进行研究,在LZ3X连续双向拍卖人工股票市场平台(具有与中国股票市场相类似的连续双向拍卖结构特征)上,设计9组
绩效审计是指由国家审计机关对政府及其各隶属部门的经济活动的经济性、效率性、效果性以及对资金使用状况进行的审计。随着绩效审计相关理论与实务的不断发展完善,建立一套
<正>不久前,我去某中学观摩了一节八年级的历史公开课:《难忘九一八》。根据任课的教师介绍,本课是学习了洋思中学的教学经验,以洋思中学的
服装设计与工程专业的特点是培养实用型服装设计与制作人才。对立体构成课程教学中如何激发学生结合专业要求思考及创作进行了探讨,强调立体构成教学与服装设计工程专业的紧
父母对孩子的关怀在很大程度上只是一种作为美德的关怀,而父母不恰当的关怀会影响孩子正常的成长与发展。内尔·诺丁斯的关怀教育理论主张一种新的关怀方式——作为关系的关
以读破关巧串全文──简谈《杨修之死》的教法选择褚耀红“九义”教材自读课文的教学，尤其像《杨修之死）此类半文盲半白话自读文章，如何处理教材，选择教法，是目前诸多语文同行探讨
本文试从图书馆部分业务统计量入手,运用二元变量相关分析方法,揭示各相关统计量间的相关关系,为图书馆管理与决策提供依据。
<正>每一位小学低年级语文教师都会有这样的感受:学生学习二类字特别难,因为这些字不要求会书写,但是要会读、会运用。不要求会写的汉字怎么才能让小学生认识并记住呢?笔者认
<正>置身太原,"扫码"从未像眼下这么丰富和热闹,黑白交织的二维码,夹杂着创意与黏性,在餐饮外卖、电商零售、美发美甲等热门行业掀起波澜。微信公众平台开始热门起来的时间点
积极心理学是指利用心理学目前已经比较完善和有效的实验方法与测量手段,来研究人类的力量和美德等积极方面的一个心理学思潮。积极心理学的理念自从引入国内以来,吸引了很多