基于多目标演化算法的测试程序生成

来源 :计算机辅助设计与图形学学报 | 被引量 : 5次 | 上传用户：litianjin

【摘要】

：

针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法

【作者】

：

张良佟冬林桦程旭王克义

【机构】

：

北京大学深圳研究生院,北京大学微处理器研究开发中心

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2010年08期

【关键词】

：

功能验证覆盖率准则多目标演化算法测试生成 functional verification coverage metric multi-objective

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

治疗慢性阑尾炎的有效方案探讨

探讨治疗慢性阑尾炎的有效方案。方法：对2011年1月至2012年12月我院收治的30例慢性阑尾炎患者的临床资料进行分析研究。结果：本研究中的30例患者均择期进行手术治疗，其中有2例患

期刊

慢性阑尾炎临床治疗效果分析

采用皮内接种法为新生儿接种卡介苗的临床效果分析

目的 :探讨采用皮内接种法为新生儿接种卡介苗的临床效果。方法 :选取2012年10月~2013年10月期间在某院出生的200例健康新生儿作为研究对象,为其进行肺结核疫苗接种。对所选

期刊

卡介苗皮内接种法新生儿

核正交UDP及其在人脸识别中的应用

针对人脸识别中的特征提取问题,对原始的非监督判别映射(UDP)算法进行了改进,提出一种基于核正交UDP的人脸识别算法.利用核的方法提取人脸图像中的非线性信息,并将其投影在一个高维非线性空间;在加入基向量正交的约束后,通过能够保持人脸图像局部几何结构的UDP算法作一个线性映射,以求取算法的正交基向量.该算法中,采用核方法可以更好地提取人脸非线性结构特征,正交基向量则可以更好地保留非线性子流形空间与度

期刊

子空间非监督判别映射流形核正交非监督判别映射人脸识别subspace unsupervised discriminant projection man

多视点图像的前景对象自动分割方法

为了将前景对象从多视点图像中自动地分割出来,提出一种基于多视点图像特征分析的对象提取方法.首先采用改进的随机Hough变换提取极线平面图中的直线,并对已检测直线的斜率进行统计分析;然后根据对象在场景中所处的深度,将对应斜率的直线转换到原始图像空间中得到初始轮廓;并利用边缘生长方法缩短断开边缘的间距;最后采用边缘连接方法获得闭合的轮廓曲线.实验结果表明,与基于水平集的主动轮廓模型分割方法相比,文中方

期刊

多视点图像极线平面图对象分割边缘生长边缘连接multi-view images epipolar plane image object segment

基于多目标演化算法的测试程序生成

其他学术论文