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

以国家电子税务重大信息化应用为载体，在十多年相关研究和应用、特别是前期培育项目研究的基础上，分析提炼出国家电子税务系统当前面临的行为、身份、能力、数据四个实际的可信需求；研究"行为-身份-能力-数据"一体化信任模型及度量方法、基于动态网络理论的软件可信演化机理和控制方法、需求定制与反馈演进相结合的软件可信性测试方法3个科学问题及关键技术，形成一套比较系统的网络软件可信建模、演化与控制、测试与验证的理论方法；集成本重大研究计划其他相关研究成果，建立网络软件的可信性试验环境，研制出可信电子税务原型系统；并在国税总局、河北省和陕西省国税开展10万纳税人规模的示范应用。本项目将促进软件可信性从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成升华，为网络软件的可信性模型、构建、演化与控制、测试与验证提供真实案例和理论方法借鉴，真正体现本重大研究计划的国家目标。

以电子税务为载体，针对行为、身份、能力和数据等可信需求，研究可信建模、演化、监控与验证等关键科学问题，建立试验环境，开展实证应用。在软件可信性度量方面，提出针对电子税务系统的“行为-身份-能力-数据”一体化信任模型及其评测技术；在可信软件的构造与验证方面，设计了新型的程序依赖模型，进而提出基于程序依赖的测试案例集构建方法；在可信软件的演化与控制方面，设计出软件动态调用模型——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人。超额完成项目计划书所规定的各项指标。