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

【文件属性】：

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

文件大小：397KB

文件格式：PDF

更新时间：2022-08-11 17:18:31

可信软件,可信软件特征,软件分析,软件测试,验证

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