论文部分内容阅读
为检测和提高故障树的正确性，针对控制软件所涉及的故障树，根据故障树最小割集和最小径集的性质，生成4种测试用例构造策略，提出了一种基于软件测试的故障树正确性检测方法。通过对“火轮”系统故障树进行实例分析，详细阐述了这种方法的应用。分析结果表明，该方法可以有效检测出故障树构建中易犯的多种错误。
一种基于测试的故障树正确性检测方法
【摘 要】
：
为检测和提高故障树的正确性，针对控制软件所涉及的故障树，根据故障树最小割集和最小径集的性质，生成4种测试用例构造策略，提出了一种基于软件测试的故障树正确性检测方法。
【机 构】
：
国防科学技术大学计算机学院 长沙 410073
【出 处】
：
2011全国软件与应用学术会议(NASAC2011)
【发表日期】
：
2011年期
其他文献
见过他的人。都会情不自禁地发笑:这家伙的长相有点不靠谱,像极了“憨豆”。不光长相不靠谱,他还给自己起了个不靠谱的笔名:“胡淑
Met his people. Can not help but laugh
管理会计的出现使得企业的在管理能力和经营状况方面取得了较大的进步,是企业现代会计领域的重点探索和前进的方向,为企业的价值体现和创造带来了巨大的影响?由于管理会计与
在C/C++等支持动态内存的程序中普遍存在各种各样的内存故障，采用动态测试方法难以保证覆盖所有分支且很难定位故障源，而现有的静态分析方法存在漏报和误报过多的情况。针
模型检测技术与Web服务测试相结合，已逐渐成为Web服务领域的热点话题。为了保障Web服务的可信性，提出一种基于模型检测结果的Web服务测试方法。采用模型检测工具EVALUATOR
油田企业必须依靠管理模式转型和技术科学创新,树立科学的成本管理与控制理念,降低油田企业运营成本和生产成本,为油田企业创造经济效益,实现稳步盈利,在国内外市场竞争中赢
目的探讨高危型人乳头瘤病毒对于宫颈病变患者的影响及临床意义。方法抽取本院2010年3月至2012年3月收治的宫颈癌患者46例及宫颈病变患者32例共同设为研究组。另选取同期收治
鉴于新兴应用产生数据的海量性、实时性、关联性等特点，复杂事件处理受到了广泛的关注。本文重点研究高效率的复杂事件处理技术。描述了一种基于共享树的复杂事件检测算法
企业在长期发展中实践并购重组,能对多项资源集中优化配置,实现经济发展方式有效转变?在并购重组实践过程中,企业展开资本运作与并购重组,在调查评估以及多项融资支付策略选
房地产市场的高速发展，为配套的物业公司发展带来了诸多机遇，物业公司迎来了快速发展的黄金时期。随着新冠肺炎疫情的爆发，给我国各行业带来了很大的冲击，尤其是诸多中小企业经营