论文部分内容阅读
核电厂的逻辑图测试用例是核电厂调试以及编制试验规程的重要参考依据,为直观反映出逻辑图中输入与输出的关系,需要将逻辑图转换为真值表。由于输入状态众多内部逻辑运算关系复杂,如果采用人工分析即穷举法不仅费时费力而且易导致错误。本文提出采用Matlab中的Simulink仿真工具对数字逻辑进行辅助分析,经过实际操作验证该方法提高了逻辑图分析工作的效率和准确性,为测试用例的编写提供了一种可借鉴途径。