【摘 要】
：
利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段．由于一个测试用例可能覆盖多个测试目标，测试生成过程中可能存在不必要的对模型检验器的调用，测试包也往往存
【基金项目】
：
国家自然科学基金(60970007,61073050);上海市自然科学基金(09ZR1412100);上海市科学技术委员会项目(10510704900);上海市重点学科建设项目资助(J50103)
论文部分内容阅读
利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段．由于一个测试用例可能覆盖多个测试目标，测试生成过程中可能存在不必要的对模型检验器的调用，测试包也往往存在大量冗余，严重影响测试性能．为此，提出一种测试生成的动态监控优化方法．在模型检验一个测试目标产生测试用例后，采用时态逻辑公式重写技术缩减测试目标集，删除那些被新测试用例覆盖的测试目标；同时，在新测试用例加入测试包时对其进行筛选，以消除冗余．实例结果表明，文中方法可有效地减少模型检验器的调用次数，缩减测试包．
其他文献
书法与兵法，一文一武，看似风马牛不相及，实际有着干丝万缕的联系。自古以来，军营造就出来的书法大家数不胜数，许多军事家同时也是书法家。他们不仅善于用兵，而且深谙书道，既运筹于帷
安徽省第三轮教师继续教育的主题为“五个好”，即“备好课”、“上好课”、“评好课”、“命好题”、“育好人”．目前已进入到第四个主题，“命好题”阶段．作为一名县级教研员，笔者
得体,是对公文语言的一个基本要求.有的同志撰拟出来的公文不大象,一个重要的原因就是语言不得体.为了维护公文的权威,充分发挥其作用,这里仅就公文语言“得体”的问题作一浅
采用液相合成法,以O-苯并三唑-N,N,N′,N′-四甲基脲六氟磷酸酯（HBTU）和1-羟基苯并三氮唑（HOBT）为缩合剂,将二茂铁胺和还原型谷胱甘肽（GSH）反应,合成了具有电化学活性的谷胱甘肽-二
目前我国医疗纠纷呈逐年上升的趋势,医疗运行机制和医疗保险体制的不健全,医患双方的意识不同步是医患紧张的根源所在。该文通过分析医疗纠纷产生的原因,探讨出5个方面的对策
测绘成果检查验收工作是保证测绘产品质量的重要工作,本文研究如何将办公自动化与质量管理体系相结合,形成与测绘成果检查验收单位工作相一致的管理系统,协调项目中不同角色
<正>出版单位:中信出版社推荐理由:《追风筝的人》阐释了心灵的救赎与原谅本书描写了在阿富汗战争背景下,一对好朋友(兄弟)之间的原谅与救赎。作者以白描的手法娓娓道来,让我
精英主义理论家认为“精英铁律”无处不在。在我国村庄场域中,“精英铁律”表现为村庄精英治理现象的存在。从自治形态与精英治理两个维度对现阶段村庄精英治理进行解读,精英
恶性肿瘤、脑血管疾病(脑卒中)和心脏病是人类主要死因疾病。借鉴脑卒中一级和二级预防经验,肿瘤研究中应更加重视预防。本文对肿瘤预防研究进展进行述评。
针对KA系列模糊智能选线装置中小波包多频带选线算法所出现的误选问题,提出了基于粗糙集理论的小波包多频带的选线算法。该算法主要是应用粗糙集理论对故障样本的数据挖掘能