论文研究可信软件分析与测试研究进展.pdf

以软件可信性问题为主攻目标，首先阐述了可信软件的五大主要特征，给出了可信软件分析方法、测试方法和步骤，并总结了各个方法的缺点，重点对可信软件测试方法进行了分类总结和对比分析，同时给出了相应方法的测试工具；其次论述了可信软件的验证方法；最后进行了总结，并对今后可信软件分析和测试研究作出了展望。