基于动态测试选择的一致性测试算法

来源 :内蒙古大学学报:自然科学版 | 被引量 : 0次 | 上传用户:like_scdx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出一个基于动态测试选择的一致性测试算 在动态测试过程中能获得关于IUT更准确的局部判定。
其他文献
新媒体机房业务数据存档工作有着数据量大、任务种类繁多、数据结构调整频繁的特点,因此业务系统的设计必须有着良好的通用性和扩展性,以适应这些特点。基于此,提出了一种解
随着科学技术的不断发展,经济体制的不断深入,建筑行业逐步推行对外实行招标、投标,对内实行经济承包责任制。施工企业面临着外部市场竞争和内部从定性管理向定量管理转化的
20世纪90年代以来,中国文化研究将译介、本土化、理论化等学科发展阶段交织在一起,涉及的话题丰富多样。大众文化、阶级问题、空间问题一直是文化研究的热点。针对某个具体的
广播电视作为传统媒体早已深入千家万户,其影响力十分巨大,在百姓中具有舆论导向作用,也是政府与群众之间联系的纽带。随着经济的发展和科技的进步,广电行业向着数字化、网络
扩张型,心肌病(DCM)病因不明,近年来大量资料证实,DCM与病毒核糖感染及自身免疫有关。DCM患者血清中存在肠病毒糖碳酸(RNA);其血清中还存在器官特异性抗心肌抗体,并介导心肌自身免
创新研究了一种可弯曲传输高频率电磁波信息的电磁波纤管结构产品,简称磁纤。该产品只要求其管道内层是金属层表面即可,就能让载有信息的1 GHz以上高频率电磁波在其管道内以
对不可微B-凸多目标规划(VP)的Benson真有效解展开讨论。当目标函数和约束函数都为局部Lipschitz时,利用Clarke次微分给出了问题(VP)关于Benson真有效解的最优性必要条件和充要条件、鞍点定理及Mond-Weir型对偶。
北京市朝阳区现代教育技术信息网络中心是朝阳区教育系统推广和发展信息化工作的主管部门,每年在承担着大量的信息化项目的同时,需要执行大量财政性资金。在实际工作中,项目负责人需要明确自己负责哪些项目,这些项目对应着哪些资金,并且项目中大部分会出现跨年度的资金,这就使项目负责人在关注项目实施的同时还要花费大量时间关注项目资金问题。同时,会计没有对项目和资金的统筹信息,也很难对项目负责人提供的付款信息进行核
乌当区今年将推进多彩贵州“广电云”户户用工程实施,确保今年新增用户7296户,新增乡(镇)广播影视综合服务站2个。
腱鞘囊肿好发于手腕,足背等处,多见于中青年.发病后可有疼痛不适、影响正常工作及学习。目前治疗腱鞘囊肿多采用大力挤压使之破碎,穿刺抽吸并注入可的松以及手术切除等疗法。挤压