消息传递并行程序测试数据进化生成理论与应用

来源 :中国矿业大学 | 被引量 : 0次 | 上传用户:yahoo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着并行计算技术的发展,越来越多的大规模高精度的科学问题,如图像处理、生物信息、分子动力学模拟,以及天气预报等,可以通过并行程序得到有效解决。并行程序的多个进程并行执行,进程之间通过共享存储或者消息传递的方式进行交互,协同完成计算任务。与串行程序相比,并行程序更加复杂,可靠性要求更高,这意味着并行程序的测试尤为关键。已有学者提出了多种方法,着重测试并行程序进程之间的交互序列,检测死锁、资源冲突和数据竞争等问题。在正确通信的前提下,为了测试程序的其他内部细节,有必要研究并行程序的结构覆盖,以进一步提高并行程序的可靠性。而结构覆盖的关键是使用有效的理论和方法,生成满足一定准则的测试数据。在软件测试领域,尽管遗传算法已经成为一种生成测试数据的重要方法,但是,已有工作主要面向串行程序。本文针对路径覆盖问题,研究消息传递并行程序测试数据进化生成理论及其应用。首先,研究了用于路径覆盖测试数据生成的协同进化解决方案。针对一类确定执行的并行程序,建立测试数据生成问题的数学模型;根据某一进程路径与程序输入的相关性,提出一种新的协同进化遗传算法。该方法中,包含多个子种群和一个合作团体群,每个子种群用来优化与某一进程路径相关的输入分量,基于这些种群的优良个体,合作团体群优化所有的输入分量。通过多个子种群与合作团体群的交替协同进化,求解上述优化模型,进而高效生成期望的测试数据,同时也为协同进化方法在软件测试中的应用提供新的思路。其次,考虑程序执行过程的不确定性,研究了并行程序单路径覆盖测试数据进化生成方法。当程序中使用一些不确定的通信语句时,由于任务划分、进程调度和网络延迟等原因,并行程序的执行过程也具有的一定的不确定性,这给并行程序的测试数据生成带来很大挑战。对于此类程序,为了降低不确定性执行给测试数据生成带来的影响,定义目标路径的等价路径,并给出判定方法,基于目标路径及其等价路径,建立有针对性的测试数据生成问题的数学模型,并采用遗传算法求解该模型。为不确定执行并行程序的测试数据生成问题,提供合理的解决途径。为了减少测试数据生成过程中的计算量,进一步提出了一种基于覆盖难度选择待覆盖路径的测试数据进化生成方法。该方法首先通过影响路径执行的变量、路径关键条件的复杂度,以及Halstead测度等,在目标路径和等价路径中,选择待覆盖路径,以降低路径覆盖的难度;然后,采用遗传算法生成覆盖相应路径的测试数据,以提高测试数据生成的效率。再次,为了有效解决多路径覆盖问题,研究了多路径覆盖测试数据进化生成方法。建立多路径覆盖测试数据生成问题的数学模型,并提出有针对性的进化求解方案。首先,基于每条给定路径及其等价路径,将多路径覆盖测试数据生成问题建模为一个包含多个目标的优化问题,每一个目标与一条目标路径及其等价路径相关;然后,设计评价个体的适应度函数,提出采用遗传算法求解该模型的方法。在测试数据生成过程中,同时考虑所有的目标路径和等价路径,使得一次运行遗传算法生成所有期望的测试数据。最后,针对很多路径覆盖的测试数据生成问题,研究了基于路径分组的多种群进化求解方案。该方法高效生成测试数据的前提是对目标路径合理分组。为此,首先,研究了用于串行程序很多路径覆盖测试数据并行生成的目标路径分组问题,提出一种新的目标路径分组方法。该方法根据可以利用的计算资源和路径相似程度,将待覆盖的目标路径分成若干组,使得不同组包含的目标路径条数相差很小,且属于同一组的目标路径具有很大的相似程度。以此为基础的测试数据并行生成方法能够充分利用并行计算资源,改进测试数据的生成效率。然后,在该分组方法的基础上,考虑并行程序多进程并行执行的特性,根据计算资源和程序包含的进程数两个因素,确定路径的分组数和每组包含的路径数,综合考虑程序所有进程路径的相似度,将目标路径进行分组。基于每一组路径,建立很多路径覆盖测试数据生成问题的数学模型,并采用多种群遗传算法进行求解,进一步提高了测试数据的生成效率。本文的研究工作在一定程度上,丰富了并行程序测试理论,大大提高了测试数据的生成效率,拓宽了进化算法的应用范围,具有重要的理论意义和应用价值。该论文有图18幅,表31个,参考文献132篇。
其他文献
随着经济水平的不断提高,人们的物质生活得到了保障,人们开始更加注重精神享受,精神消费的意识也在不断提高。人们对室内空间设计也提出了更高的要求,除了要考虑经济,材料,技
肝硬化是临床上的一种常见疾病,肝硬化合并上消化道出血比较常见,是肝硬化死亡的重要原因之一。本文概述了肝硬化合并上消化道出血的发病现状,论述了肝硬化合并上消化道出血
爵士乐是美国黑人的伟大创造,这种具有鲜明民族性的音乐代表着美国的民族音乐,是世界文化当之无愧的瑰宝。文中对爵士乐的历史起源和在历史进程中出现的不同的爵士风格进行介
进入21世纪以来,我国的乡村旅游得到了充足的发展,但我国的乡村旅游由于起步较晚,目前仍处于初级阶段,其乡村旅游的开发模式过于单一,规划千篇一律,乡村旅游没有独特的文化内
近年来,随着我国医疗器械的应用范围不断扩大,在提高广大患者健康水平的同时,部分耗材由于价格昂贵,导致了患者和社会的医药费用负担加重。医用器械的价格涉及到患者的切身利
以古筝教育教学为主题从中国知网的期刊数据库查找文献,下载相关主题下规范学术论文580篇的关键词标引项,对所得关键词群,使用聚类分析方法挖掘出古筝教育教学的研究热点。
社会符号学翻译法认为翻译即翻译意义和再现源语的功能。旅游资料的翻译既要忠实于景点特色,又要传达其文化内涵。本文运用社会符号学翻译法的"意义相符,功能相似"的理论,针
人力资源是一种特殊的经济资源,做好人力资源预测,可以更好地发掘企业人力资源的潜能,控制企业人力资源成本。文章采用一元线性回归分析法对国家高新区人力资源进行了分析预
《暮色》中的主要人物是生活在爱尔兰历史上很特殊的三个时代的三代人,由于她们所处时代所特有的冲突和矛盾,她们都经历了内心巨大的焦虑与恐惧,从而在性格特征上都表现出了