程序特征空间相关硕士博士期刊学术论文

研究了可信软件技术，特别是对软件在运行态下的软件测试和控制方法进行了研究。从运行态软件的可靠模型入手，尝试建立一种通用的新型......