项目名称: 面向大数据环境的网构软件场景理解和功能及能耗保障研究
项目编号: No.61472174
项目类型: 面上项目
立项/批准年度: 2015
项目学科: 自动化技术、计算机技术
项目作者: 许畅
作者单位: 南京大学
项目金额: 80万元
中文摘要: 网构软件为开放环境提供了环境驱动与软件演化的框架支持,当今快速发展的大数据环境具备动态性、复杂性和移动性等特征,这带给了网构软件在场景高效理解和软件功能及能耗保障等各方面新的技术挑战。本项目计划考察网构软件在大数据环境下的特征,建立面向大数据环境的网构软件场景理解和功能及能耗保障概念模型,研究平行约束检测、可疑错误回避、关联挖掘和错误重排、状态监控和环境重配、基于跟踪的动态渲染以及基于遍历的要点覆盖等关键技术,研制网构软件场景高效理解和功能及能耗保障支撑平台,为面向大数据环境的网构软件的运行和维护提供有效支持。本项目的研究旨在为新型软件模型与方法学提供系统化的关键技术支撑,为软件产业的发展提供创新技术支持。
中文关键词: 网构软件;自适应软件;程序分析;软件测试;软件演化
英文摘要: The Internetware paradigm provides a strong framework support for environment-driven context processing and software evolution. However, nowadays big-data environments have unique characteristics on dynamics, complexity and mobility, and this leads to various challenges to Internetware's context processing and function and energy guarantee. This project plans to investigate the characteristics of Internetware in typical big-data environments, and builds a conceptul model for Internetware's context processing and function and energy guarantee. Based on this model, the project studies a series of critial techniques on parallel constraint checking, spurious inconsistency avoidance, association learning and fault prioritization, state monitoring and environment rematching, trace-based dyanmic tainting, and search-based test coverage. It then develops a prototype platform for Internetware's context processing and function and energy guarantee, and supports execution, deployment and maintenance of big-data oriented Internetware. This project aims to propose and study critical techniques for novel software models and methodologies, and provides technical support for modern software industry.
英文关键词: Internetware;Adaptive software;Program analysis;Software testing;Software evolution