要解决的问题:提供一种用于在验证包括硬件和软件的逻辑系统的黑匣子时有效地找出故障发生条件的技术。
解决方案:用于澄清故障发生条件的验证装置获取每个组合故障发生概率指标和逻辑系统的已验证测试项目的已验证组合故障发生积分值,还获取每个未验证测试的组合故障发生积分值然后,提取未验证的测试项目,其中未验证的测试项目组合失败发生累计值最接近通过将验证的组合失败发生累计值乘以一定的比例因子而获得的值作为下一个验证对象。
版权:(C)2008,日本特许厅&INPIT
公开/公告号JP2008197962A
专利类型
公开/公告日2008-08-28
原文格式PDF
申请/专利权人 FUJITSU LTD;
申请/专利号JP20070033246
发明设计人 TADA TOSHIHIKO;
申请日2007-02-14
分类号G06F11/22;G06F11/28;
国家 JP
入库时间 2022-08-21 20:24:23