多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用
批准号:
91418205
项目类别:
重大研究计划
资助金额:
170.0 万元
负责人:
郑庆华
依托单位:
学科分类:
F0203.软件理论、软件工程与服务
结题年份:
2016
批准年份:
2014
项目状态:
已结题
项目参与者:
刘烃、张镇潮、陶敬、秦涛、屈宇、王海军、田振洲、张恒山、张晓东
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
微信扫码咨询
中文摘要
针对国家电子税务软件新出现的可信需求:用户行为可信监控和系统版本演化可信评测,在现有软件调用网络模型Calling Network(CN)和软件可信评测与控制技术研究基础上,持续研究面向网络软件的MOC-CN模型,实现软件行为监控从单一系统离线建模,到多维(Multi-dimension)、在线(Online)、跨语言(Cross-language)建模的提升;挖掘软件行为与用户行为的模式特征和映射关系,研究软件和用户异常行为的实时监测和识别方法;研究基于MOC-CN的软件版本演化差异检测和差异引导的可信评测方法。以个人所得税征管系统为载体,研制电子税务软件可信监控和评测系统,在陕西、河北、安徽、广西、上海等9个省市开展示范应用,支持90万纳税人的行为监管,并协助税务部门维护软件升级3个月,参与国家金税工程三期电子税务软件行业规范的制定,在此基础上形成可信软件理论方法的典型应用案例。
英文摘要
This project is conducted considering two new trustworthy requirements of national E-taxation software, namely user behavior trustworthy monitoring and trustworthy evaluation in software evolution. In our previous research, a model named as Calling Network (CN) was proposed to describe a software system’s runtime method call behaviors and structures. Software trustworthy evaluation and testing techniques based on CN model were also proposed. In this project, an advanced online CN model, named as MOC-CN, is studied to describe Multi-dimension, Cross-language interactive relations between software entities at different granularities. Software and user behavior patterns and their mapping relationship are investigated. Abnormal detection techniques on software and user behaviors are explored. Based on MOC-CN, the software behavior-based difference detection method is examined to find the effective differences among various versions of software, which is applied to guiding test case generation in software trustworthy testing. The trustworthy monitoring and evaluation systems will be developed for the individual income taxation systems in nine provinces, including Shaanxi, Hebei, Anhui, Guangxi, Shanghai etc. The trustworthy monitoring systems are deployed to monitor more than 900,000 users; and the evaluation systems are applied to supporting system updating about 3 months. Moreover, we will participate in the development of E-taxation software specification in “Golden Tax Project III”. This project would be an exemplary case to demonstrate the application and effectiveness of the research findings in the major research plan of trustworthy software.
本项目在软件调用模型Calling Network基础上,提出了软件多维在线跨语言调用网络模型(Multi-dimension Online Cross-language Calling Network, MOC-CN),实现了软件行为监控从单一系统离线建模,到多维(Multi-dimension)、在线(Online)、跨语言(Cross-language)建模的提升,实现对分布式软件系统、多语言系统、二进制程序、Android程序等不同软件系统的行为监控和调用结构分析。以MOC-CN模型为基础,提出了基于时序行为模式挖掘的软件及用户异常行为识别与控制方法;研究了基于MOC-CN的软件版本升级的差异性检测及其可信性评测。在理论研究的基础上,研制了Structure-CT 及Action-CT等一系列可信软件工具,并实际应用于金税三期工程管理决策分析平台和陕西省国家税务局自动化测试平台等项目,承担了项目中冗余代码检测、系统结构可信性评估、软件开发过程管理和可信性测试等任务,论证了研究成果的有效性和应用价值。.本项目研究过程中,课题组获得2015年教育部科技进步一等奖、2016年国家知识产权局“中国专利奖”优秀奖、2016 IEEE ISSRE最佳论文奖等。研究成果在IEEE TSE、IEEE TFS、JSS、ICSE、ASE等国际期刊和会议上发表论文20篇,授权国家发明专利7项,申请国际PCT专利4项,授权美国发明专利1项,培养博士4人,硕士8人。超额完成项目计划书所规定的各项目标。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Exploring community structure of software Call Graph and its applications in class cohesion measurement
Call Graph软件社区结构探讨及其在类凝聚力测量中的应用
DOI:10.1016/j.jss.2015.06.015
发表时间:2015-10-01
期刊:JOURNAL OF SYSTEMS AND SOFTWARE
影响因子:3.5
作者:Qu, Yu;Guan, Xiaohong;Yang, Zijiang
通讯作者:Yang, Zijiang
DOI:10.1016/j.artint.2015.07.003
发表时间:2015-11
期刊:Artificial Intelligence
影响因子:14.4
作者:Chen, Yanping;Zheng, Qinghua;Chen, Ping
通讯作者:Chen, Ping
DOI:10.1109/mis.2015.71
发表时间:2015-09
期刊:IEEE Intelligent Systems
影响因子:6.4
作者:Chen, Yanping;Zheng, Qinghua;Chen, Ping
通讯作者:Chen, Ping
Exploiting thread-related system calls for plagiarism detection of multithreaded programs
利用线程相关的系统调用进行多线程程序的抄袭检测
DOI:10.1016/j.jss.2016.06.014
发表时间:2016-09
期刊:Journal of Systems and Software
影响因子:3.5
作者:Zheng, Qinghua;Fan, Ming;Zhuang, Eryue;Yang, Zijiang
通讯作者:Yang, Zijiang
DOI:--
发表时间:2016-06
期刊:Computational Linguistics and Chinese Language Processing
影响因子:--
作者:Yanping Chen;Qinghua Zheng;Feng Tian;Deil Zheng
通讯作者:Deil Zheng
基于介科学的符号化递阶可解释学习模型及偷逃骗税检测实证应用
- 批准号:62250009
- 项目类别:专项基金项目
- 资助金额:198万元
- 批准年份:2022
- 负责人:郑庆华
- 依托单位:
在线教育跨媒体智能问答的可解释推理方法研究
- 批准号:62137002
- 项目类别:重点项目
- 资助金额:301万元
- 批准年份:2021
- 负责人:郑庆华
- 依托单位:
基于介科学的可解释学习模型及发票虚开检测实证应用
- 批准号:62050194
- 项目类别:专项基金项目
- 资助金额:100万元
- 批准年份:2020
- 负责人:郑庆华
- 依托单位:
碎片化知识聚合方法研究
- 批准号:61532015
- 项目类别:重点项目
- 资助金额:285.0万元
- 批准年份:2015
- 负责人:郑庆华
- 依托单位:
面向国家电子税务系统的可信软件试验环境与示范应用
- 批准号:91118005
- 项目类别:重大研究计划
- 资助金额:300.0万元
- 批准年份:2011
- 负责人:郑庆华
- 依托单位:
可信电子税务网络发票系统试验环境及其实证研究
- 批准号:91018011
- 项目类别:重大研究计划
- 资助金额:50.0万元
- 批准年份:2010
- 负责人:郑庆华
- 依托单位:
面向非结构化文本的领域知识获取方法的研究
- 批准号:60473136
- 项目类别:面上项目
- 资助金额:22.0万元
- 批准年份:2004
- 负责人:郑庆华
- 依托单位:
网络学习中学习者个性挖掘方法的研究与应用
- 批准号:60373105
- 项目类别:面上项目
- 资助金额:23.0万元
- 批准年份:2003
- 负责人:郑庆华
- 依托单位:
个性化互动式虚拟协同学习环境的研究
- 批准号:60103022
- 项目类别:青年科学基金项目
- 资助金额:4.0万元
- 批准年份:2001
- 负责人:郑庆华
- 依托单位:
国内基金
海外基金















{{item.name}}会员


