可信软件分析与测试研究进展
Research on trustworthy software analysis and testing作者机构：江苏大学计算机科学与通信工程学院江苏镇江212013
出 版 物：《计算机应用研究》 (Application Research of Computers)
年 卷 期：2011年第28卷第7期
页 面：2401-2406,2423页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(61063013) 国家教育部博士点专项基金资助项目(20103227120005) 江苏大学高级人才科研启动基金资助项目(09JDG047)
摘 要：以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。
维普期刊数据库
同方期刊数据库