【摘 要】
：
为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用
【机 构】
：
东南大学计算机科学与工程学院,计算机软件新技术国家重点实验室南京大学,南京大学计算机科学与技术系,微软中国研发集团
【基金项目】
：
Supported by the National Natural Science Foundation of China under Grant Nos.90818027, 60633010 （国家自然科学基金）, the National High-Tech Research and Development Plan of China under Grant No.2009AA01Z147 （
论文部分内容阅读
为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执行轨迹来评估它相对于指定路径的适应值.该模型的核心在于度量执行轨迹与指定路径之间的相似度,为此给出了3种不同的相似度度量算法.该模型可以完全自动化地为每一条目标路径构造出特定的适应值函数.实验结果表明,相对于其他路径测试方法,该方法在针对复杂路径的情况下具有一定的优势.此外,实验结果还指出
其他文献
给出了一种具有最优代数免疫度的偶数元布尔函数的构造，同时还给出了一种具有最优代数免疫度的平衡旋转对称偶数元布尔函数的构造．在构造过程中用到了线性代数和组合计数中的有
数据包公平抽样通过牺牲长流的包抽样率以换取更高的短流包抽样率，因而比均匀随机包抽样更能保证数据流之间的公平性．现有的公平抽样算法SGS（sketch guided sampling）存在空间效
近年来,利用机器学习方法处理流量分类问题成为网络测量领域一个新兴的研究方向.在现有研究中,朴素贝叶斯方法及其改进算法以其实现简单、分类高效的特点而被广泛应用.但此类方法过分依赖于样本在样本空间的分布,具有潜在的不稳定性.为此,引入C4.5决策树方法来处理流量分类问题.该方法利用训练数据集中的信息熵来构建分类模型,并通过对分类模型的简单查找来完成未知网络流样本的分类.理论分析和实验结果都表明,利用C
＂问题式教学＂是近年来广泛受到关注的一种教学方式,是一种与建构主义学习理论及其教学理论相吻合的教学模式,它强调把学习设置于复杂的、有意义的问题情境中,通过学习者分小组
本文通过对挖孔桩在施工中常出现的问题进行分析，提出了在实际情况下有针对性的解决措施。
提出了一种新的自适应结构索引：AS-Index（adaptive structural index），能够克服现有静态索引和自适应索引的缺陷，具备高效的查询和调整性能．AS-Index建立在F＆B—Index的基础之上，其索
目的：在类风湿性关节炎（RA）成纤维样滑膜（FLS）细胞中筛选并鉴定盘状结构域受体2（DDR2）的相互作用蛋白,并研究其对FLS细胞侵袭能力的影响。方法：首先利用免疫沉淀结合SDS-PAGE分离鉴定
目的：构建一种可调控肝细胞特异性表达丙型肝炎病毒（HCV）全基因的小动物模型。方法：将9.6 kb的HCV全长基因JFH1插入Tet-on系统效应表达载体pTRE2中，并在HCV全基因3＇端插入丁型肝炎
和谐，完美的和谐，这是我走进五色风马服装店最特别的感受。多变、鲜艳、古典、端庄、时尚这许多的形容词或许都不足以描述“五色风马”。所以，我选择人们现在很时髦的形容词——