基于程序静态分析和故障树的软件故障检测

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于程序静态分析和故障树的软件故障检测

叶俊民;张涛;董威;齐治昌

Software Fault Detection Based on Program Static Analysis and Fault Tree

YE Jun-min; ZHANG Tao; DONG Wei; QI Zhi-chang

计算机工程 . 2008, (16): 75 -76 . DOI: 10.3969/j.issn.1000-3428.2008.16.025