面向国家电子税务系统的可信软件试验环境与示范应用

以电子税务为载体，针对行为、身份、能力和数据等可信需求，研究可信建模、演化、监控与验证等关键科学问题，建立试验环境，开展实证应用。在软件可信性度量方面，提出针对电子税务系统的“行为-身份-能力-数据”一体化信任模型及其评测技术；在可信软件的构造与验证方面，设计了新型的程序依赖模型，进而提出基于程序依赖的测试案例集构建方法；在可信软件的演化与控制方面，设计出软件动态调用模型——Calling Network，提出基于行为胎记的软件和用户监控方法。在理论研究基础上，开发了Code-CT，Structure-CT及Action-CT等一系列可信软件工具，并实际应用于金税工程三期税务数据分析平台、陕西省国家税务局自动化测试平台等项目，承担了项目中冗余代码检测、系统结构可信性评估、软件开发过程管理和可信性测试等任务，论证了研究成果的有效性和应用价值。.本项目研究过程中，课题组和项目负责人作为第一承担单位和第一申请人，获得2015年教育部高等学校科学研究科技进步一等奖和2013年中国电子学会电子信息科学技术一等奖。研究成果在IEEE Transactions on Software Engineering、IEEE Transactions on Fuzzy Systems、Journal of Systems and Software、IEEE International Conference on Program Comprehension等国际顶级期刊会议上发表论文48篇，申请国家发明专利15项（其中已授权9项），申请国际PCT专利4项，美国发明专利2项，培养博士7人，硕士18人。超额完成项目计划书所规定的各项指标。