基于布尔逻辑的测试选择算法

来源 :测试技术学报 | 被引量 : 0次 | 上传用户:hnjylwn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种基于布尔逻辑运算的测试选择新方法.首先建立布尔关联矩阵来描述系统中故障与测试的相关关系;然后依据关联矩阵,分别定义描述故障检测用测试集和故障隔离用测试集的布尔逻辑函数;再根据布尔运算定律对逻辑函数进行展开和化简处理。并根据计算结果得到最优测试集.通过案例验证了该方法的正确性,并指出了该方法的优势及其在计算复杂性方面存在的不足.
其他文献
  合理设计空心轴,可在保证车轴强度和刚度的前提下实现车轴轻量化,降低轮轨作用力,这对高速、重载均有重要作用。本文从国内铁路车辆车轴发展现状、制造技术水平、材质选用、
中/远程防空导弹通常采用复合制导体制,并采用高抛弹道技术来增大射程。这样,在中末制导交班阶段或制导阶段,主动雷达导引头需要在地/海杂波背景下截获和跟踪目标。介绍了一种计算
十八大报告指出,"把立德树人作为教育的根本任务,培养德智体美全面发展的社会主义建设者和接班人"。提高大学生的人文素质越来越凸显出其重要性和必要性。面对已经到来的高考改
全新世的气候环境变化与人类活动密切相关,一直是学术界研究的热点问题之一。对全新世时期气候环境变化及其对人类活动影响的研究,为预测未来环境变化,人类社会适应等科学问
关于21世纪人才素质的结构,目前国内外有关专家、学者进行了大量的研究。综合而言,有五个方面:①面向世界的“国际人”;②具有宽厚的基础知识;③具有适应、应变和创造的能力;
如何培养具有广博知识,竞争意识强,有创新能力和较高智能的高文化素质的新型人才,已成为我国教育改革的主要内容,也是我们从事物理实验教学的同志近几年来特别关心并深入探讨
市场经济的本质是通过市场机制进行资源配置和生产力布局,是通过优胜劣汰的竞争机制促进社会生产力的发展和调节社会生产比例。在这种经济体制下的高校教师的管理已不再同于
目的:探讨内镜检查在上消化道出血中的临床意义。方法:对124例患者进行内镜检查。结果:内镜检空对患者出血部位与疾病病因作出迅速而正确的诊断。结论:内镜检查安全、简便、有效,
<正> 很高兴参加全省矿产资源开发与地区经济发展研讨会。我分管地质勘查技术工作,十分感谢省直有关管理部门、市州有关管理部门的领导和矿山企业、地质勘查单位的领导来参加
会议
辞格与文章结构,两者似乎风马牛不相及。但是如果我们在写作过程中将两者有机地结合起来,将会发现,辞格不但可以修饰语言,甚至还可以根据其内在特点对各种写作材料进行协调组