国家863计划信息技术领域项目“大型网构化软件的可信开发、运行和演化技术体系与服务支撑环境”，子课题：网构化软件可信评估技术与工具（2012AA011205），2012.1- 2014.12，主要参与人，122.4万元