【摘 要】
：
依针对MC／DC最4,N试用例集生成效率的问题，依据MC／DC准则，以条件判定组合的复杂逻辑关系为研究对象，采用将原始布尔表达式转化为语法树，再将语法树转化为图，分析图中节点对判定结果
论文部分内容阅读
依针对MC／DC最4,N试用例集生成效率的问题，依据MC／DC准则，以条件判定组合的复杂逻辑关系为研究对象，采用将原始布尔表达式转化为语法树，再将语法树转化为图，分析图中节点对判定结果的影响的方法，研究了基于图快速生成最小测试用例集的算法．最后结合实倒对该算法进行了验证，并与其他算法进行了比较，结果表明该算法在手动和自动生成最小测试用例集时具有实用性和优越性．
其他文献
根据11种单种煤的性质,在实验室20kg小焦炉上进行了11种单种煤和8种配煤方案的炼焦实验,并对焦炭进行了筛分组成、冷态强度、焦炭热性质等分析,初步建立了焦炭质量预测模型。
现代电力电子技术发展及应用展望刘树新天津大学分校伴随科学技术的不断进步，８０年代以来，电力电子技术发展迅速，并进人实际应付的崭新时代．电力电子是利用电力电子器件对电能进行控
<正>2010年9月中旬,卫生部医政司组织了3个督导检查组,分赴新疆,浙江、山东、湖南、广西、重庆、云南、陕西、吉林等9个省(自治区、市)的相关戒毒机构进行了
质量问题是我国经济社会发展的战略性问题,国家级质检中心承担着全面履行质检机构职责,切实以精准的技术装备和优质的技术服务监督和保障食品安全、人身财产安全、劳动安全、
建筑业是世界各国的重要国民经济支柱产业,在国民经济发展中占有重要地位,建筑业的健康有序发展对于国民经济的健康发展也有着重要的影响。但是长期以来,建筑业也是各国事故
<正>变压器潜油泵是大型变压器强油冷却系统的关键附属设备,它的安全可靠运行直接影响变压器运行的安全可靠性。潜油泵在运行中发生故障时,可能直接影响变压器的油色谱分析结
介绍故障指示器的产品分类和技术参数,阐述故障指示器的工作原理、技术判据以及其在故障检测中的应用方法,并结合实际应用情况进行分析。
通过对太阳能光伏电池最大功率点的跟踪和锂电池的充电控制两部分实现了对锂电池的快速充电。首先利用SIMULINK的s-function的自定义模块和粒子群优化BP神经网络算法实现了对
沥青路面是城市道路中主要施工的一种工艺,沥青路面在工程建设中也存在着不同的问题,施工当中的问题也是层出不穷。如何有效保障沥青路面面层的施工技术,进而保障市政道路的
本篇文章首先对财务风险的内涵进行概述,从外部环境以及企业内部两个方面入手,对科技型企业财务风险的成因进行解析,并以此为依据,提出应对财务风险的措施。