论文部分内容阅读
对互操作性测试序列的测试执行代价进行详细分析,提出一种通过构造测试生成树来生成互操作性测试序列的方法.该方法在构造测试生成树过程中进行测试代价增量的计算,用局部最优的贪心策略进行互操作边的选择,以对测试生成树进行扩展,最终得到近似最优的测试集.
互操作性测试序列生成与优化方法
【摘 要】
：
对互操作性测试序列的测试执行代价进行详细分析,提出一种通过构造测试生成树来生成互操作性测试序列的方法.该方法在构造测试生成树过程中进行测试代价增量的计算,用局部最
【机 构】
：
中国科学技术大学计算机系,安徽省计算与通讯软件重点实验室
【出 处】
：
中国科学技术大学学报
【发表日期】
：
2008年12期
【基金项目】
：
国家自然科学基金(60602016,60872009);国家重点基础研究发展(973)计划(2003CB314801);国家高技术研究发展(863)计划(2007AA01Z428);安徽省高校自然科学研究计划重大项目(ZD2008005-2)资助
其他文献
长期以来,阿司匹林(ASA)作为解热镇痛药广泛用于临床,而近年发现ASA具有某些新用途,如作为心脑疾病、胆石症及术后预防血栓形成等.由于此类药物多采用简便且易为病人所接受的
社会单位消防安全管理水平的高低,直接关系到整个社会消防安全形势的稳定,创新社会单位消防监管模式是新形势下对消防工作的必然要求。本文以如何创新社会单位消防安全管理为
想家 ,思乡 ,是一个很有意义的话题 ,它深深的扎根在中国人的心中 ,时时刻刻表露在我们的言行上 ,但前贤时彦似乎尚无学术的讨论。对这一现象进行了初步分析后认为 :传统的农
关于审计理论结构的研究问题众说纷纭,一直未形成一种公认的观点,根据此前若干研究成果分析发现,审计理论结构的要素选择与要素之间的逻辑关系有许多不恰当之处。笔者认为,审
"打防结合、以防为主"是社会治安工作的重要方针,人防物防技防相结合一直是公安机关预防控制犯罪的重要手段。随着近年来报警监控技术的广泛应用,技防手段在预防犯罪中的作用
利润表在财务会计报告概念框架中占有重要地位。自改革开放以来,我国利润表的名称、列报的依据、列报内容等方面都存在着很大变化。本文对我国改革开放以来利润表的变化情况
域外送达能否有效运行直接影响着国际民事诉讼程序的进程乃至国际民商事诉讼当事人实体权益的实现。我国域外送达制度遵循送达主体的单一性,体现出送达的国家主权性质,这一特
从起源和理论基础入手,对“权利穷竭原则”的含义进行解释,分析了各国以及国际组织在实践中所采用的两种截然不同的做法,以及国内穷竭说和国际穷竭说的合理性和局限性。根据
简要介绍了我国的非量产改装车产品认证制度,分析了这种认证形式的优势、不足及发展前景,旨在使各机构及企业能够更好的了解并遵守,使我国的进口汽车认证制度不断完善与发展