论文部分内容阅读
提出了仿真故障注入系统的七元组描述的统一理论模型，指导用于软错误敏感性评估的仿真故障注入系统的设计与实现。结合七元组模型给出了仿真故障注入系统中关键部分的设计方法，包括实现自动化故障注入的一般方法、基于LL（k）语法分析技术的故障集生成方法、基于检查点恢复和分层抽样的仿真故障注入加速策略等。同时，以电路级软错误敏感性评估平台HSECT-SPI（HITsofterrorcharacterizationtoolkit—spicebased）为例讨论了七元组模型的可行性和有效性。