【摘 要】
：
测试数据生成是软件测试的关键，近年来得到国内外学者的广泛关注．但是，已有的研究成果主要面向串行程序．任务划分、进程调度和网络延迟，使得并行程序的执行具有不确定性，给并行程序
【基金项目】
：
本课题得到国家自然科学基金（61075061）、高等学校博士学科点专项科研基金（20100095110006）、中央高校基本科研业务费专项资金（2012LWB72）和江苏省普通高校研究生科研创新计划项目（CXZZ11_0292）联合资助
论文部分内容阅读
测试数据生成是软件测试的关键，近年来得到国内外学者的广泛关注．但是，已有的研究成果主要面向串行程序．任务划分、进程调度和网络延迟，使得并行程序的执行具有不确定性，给并行程序的测试数据生成带来很大挑战．文中研究消息传递并行程序面向路径覆盖的测试数据生成问题，提出并行程序的路径表示，定义等价路径并给出寻找方法．基于此，建立并行程序路径覆盖测试数据生成问题的数学模型，并采用遗传算法求解该模型．作者将所提方法应用于6个基准测试程序，并与随机法比较．实验结果表明，文中所提方法可以高效生成覆盖目标路径的测试数据．
其他文献
国有公司制企业的性质国有公司是最终产权归全体人民共同所有,由国家(或政府)出资建立的企业.典型的国有公司是国有独资公司.国家控股公司(包括绝对控股和相对控股)也属国有
目的研究HSP70和细胞凋亡在兔动脉易损斑块中的作用,寻找稳定斑块的方法。方法建立兔动脉粥样硬化易损斑块模型,采用免疫组化技术检测斑块不同部位的HSP70表达情况;通过TUNEL
吸入性损伤尤其重度吸入性损伤,病情危重,病程长,治疗难度大,涉及面广,护理工作量大,是一项系统过程。分析吸入性损伤致病机理,并对吸入性损伤的临床治疗的方法加以探讨。
在经济全球化浪潮的冲击下，只有创新才能求得企业的生存和发展，只有不断地进行产 品创新，才能在市场竞争中取胜。这己成为众多企业经营者所奉行的基本战略。但是， 一旦创新所带来的产品更新换代过快而给消费者造成过度压力，一旦持续提供新产品而导致 对推行可持 续发展战略带来危害和对生态环境造成威胁时，这种创新就会出现因生产周期的不断缩短和 创新速度过快的"创新异化"。 对于"创新异化"，目前在国内企业可
伴随商品经济与全球经济一体化的逐步深入，社会各方对机关事业单位职能转换的要求日益争迫与强烈。知识经济与人本管理时代，人力资源无疑是机关事业单位的核心资源。
熵变化与其有序化是一个与系统有序程度有关的函数，一个孤立系统最后能否达到的平衡 态成为混饨无序的均匀态，在这一过程中系统的熵值是不断增加的，这就是热力学中的熵增 加原理。但对于开放系统，上述定律并不成立，开放系统的熵变化包括系统内部过程引起的 内熵增加和系统与外界交换能量、物质及信息时引起的外嫡变化--使系统嫡增加称为正嫡 流，反之称为负熵流，当外熵变化为负熵流且其值大于内熵增值时，系统的总熵值减
目的观察中西药结合治疗慢性盆腔炎的疗效。方法将90例慢性盆腔炎患者随机分为2组,治疗组45例采用中西药结合治疗,对照组45例单纯采用西药治疗。结果治疗组总有效率95.0%,对
目的以内镜介入治疗急性胆源性胰腺炎为理论指导观察内镜治疗急性胆源性胰腺炎的患者的临床疗效,为研究内镜介入治疗急性胆源性胰腺炎的的安全性及有效性提供科学的实验依据
当前,企业文化之于企业经营的重要作用,愈来愈得到我国企业的广泛认可.然而,在企业文化建设的实践中,存在着一种带有普遍性的困惑:即效益好的企业建设企业文化难度小,而效益
在我们近30年的临床放射诊断工作中,发现了一些少见的新生儿疾病,因呼吸道症状表现突出,而常被误诊为新生儿肺炎。为了总结经验教训,现将我院18例新生儿病例做一简要分析,与