工具评估相关论文
针对层次分析法在综合评估多种缓冲区溢出漏洞检测工具方面的缺陷,提出概率层次分析法,对五种典型的缓冲区溢出静态检测工具进行分......
使用工具进行修正的条件例定覆盖（MC／DC）分析可以简化软件验证工作，但必须对候选的工具进行认真评估，确定每种工具的功能性和局限性，着重......
目前核电厂安全级仪控平台的研制过程越来越多的引入自动化工具,工具的引入带来良好的经济效益,但同时也对最终软件产品质量带来潜......
并发软件运行的不确定性使得死锁检测十分困难。现有的工作集中在使用分析、验证或测试的单一途径来检测死锁。通过分析现有工具的......
