位置：立项数据库 > 立项详情页
可信软件的基础理论、方法和技术研究
  • 项目名称：可信软件的基础理论、方法和技术研究
  • 项目类别：创新研究群体科学基金
  • 批准号：60821003
  • 申请代码：F0202
  • 项目来源：国家自然科学基金
  • 研究期限：2009-01-01-2011-12-31
  • 项目负责人：梅宏
  • 负责人职称：教授
  • 依托单位：北京大学
  • 批准年度：2008
中文摘要：

提高软件的开发效率与产品质量一直是软件技术发展的主要目标。网络技术的快速发展，在许多方面对软件产生了重要影响。其中，人们对软件由原来以正确性为主要指标的质量要求，逐渐演变为对综合正确性、可靠性和安全性等多种指标的可信性质量需求。高可信软件及相关的开发、保障技术已成为学术界和产业界所共同关注的热点，被视为未来软件产业和信息社会发展的关键因素之一。目前，我们对软件的认识仍然存在局限，软件潜在的各种缺陷对其可信性构成了严重的威胁。基于这种现状，研究团队拟针对可信软件开展如下三个方面的研究软件可信性的基础理论、可信软件的开发方法和技术、以及软件运行阶段的可信性保障方法，并最终建立起一套面向可信软件的基础理论、方法和技术体系。

中文主题词： 高可信软件；软件开发；运行平台；可信性保障
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 36
  • 54
  • 0
  • 2
  • 0
期刊论文
一种Web Service的服务质量预测方法
基于规则注入的自主构件协作框架的设计与实现
面向OSGi的应用服务器重构
一种基于双向选择的多agent系统自动集成方案
A Biting-Down Approach to Hierarchical Decomposition of Object-Oriented Systems Based on Structure A
基于时序可中断π演算的BPEL和BPEL4People建模
Interactive Fault Localization Using Test Information
时序π演算及其对ＭＡＲＴＥ顺序图的建模
以决策为中心的软件体系结构设计方法
基于TPM的运行时软件可信证据收集机制
一种从UML模型到可靠性分析模型的转换方法
SM@RT: Applying Architecture-based Runtime Management of Internetware Systems
A Community-Centric Approach to Automated Service Composition
一种支持软件资源可信评估的框架
支持自适应过程中分析与规划的软件体系结构模型
一个可半自动化扩展的静态代码缺陷分析工具
一种构件标签自动提取方法及其实现
软件分析技术进展
基于下推系统可达性分析的程序机密消去机制
一种WebService响应时间的动态预测方法
一种网络化移动应用部署方案优化方法
互联网时代的软件技术：现状与趋势
软件能耗优化技术研究进展
基于编档的体系结构视图冲突检测方法
一种基于元组空间的智能传感器协同感知机制
一种支持多种模型转换技术的组合方法
基于MOF的软件体系结构分析结果集成框架
Software techniques for Internet Computing： Current situation and future trend
Internetware： An Emerging Software Paradigm for Internet Computing
会议论文
一种基于Internet的JAR包使用信息收集方法
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
Handling Crosscutting Concerns during Software Process Improvement
MAPO: Mining and Recommending API Usage Patterns
Improving Performance of Matrix Multiplication and FFT on GPU
A lightweight Monitoring framework for Embedded systems
VIDA: Visual Interactive Debugging
An Automatic Compliance Checking Approach for Software Processes
Enabling On Demand Deployment of Middleware Services in Componentized Middleware
SM@RT: Towards Architecture-based Runtime Management of Internetware Systems
A Task-Oriented Navigation Approach to Enhancing Architectural Description Comprehension
以代理为中心的 OSGi 构件资源监控方法
TSRR: A Software Resource Repository for Trustworthiness Resource Management and Reuse
Inferring Resource Specifications from Natural Language API Documentation
Locating Need-to-Translate Constant Strings in Web Applications
Test Input Reduction for Result Inspection to Facilitate Fault Localization
Using QoS-Contracts to Drive Architecture-Centric Self-Adaptation
Service Encapsulation for Middleware Management Interfaces
Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based System
SCOBA: Source Code Based Attestation on Custom Software
A Propositional Logic-Based and Evidence-Rich Web Services Trustworthiness Evaluation Framework
Developer Fluency: Achieving True Mastery in Software Projects
Management as a Service: An Empirical Case Study in the Internetware Cloud
A Browser-based Framework for Data Cache in Web-Delivered Service Composition
Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and
Is Operator-Based Mutant Selection Superior to Random Mutant Selection
A Semi-supervised Approach for Component Recommendation Based on Citations
Towards Automatic Tuning of Adaptive Computations in Autonomic Middleware.
Mashing-up Rich User Interfaces for Human-Interaction in WS-BPEL
Extracting Behavioral Models from WS-BPEL Processes for Service Discovery
A Flexible Multi-Source Web Service’s QoS Acquisition Framework and Implementation
Transaction-based Adaptive Dynamic Voltage Scaling for Interactive Applications
Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings
Matching Dependence-Related Queries in the System Dependence Graph
Does the Initial Environment Impact the Future of Developers
Binary-Search Based Verification of Feature Models
A Multi-dimensional Hierarchical Model Methodology for Autonomic Computing System
Natural Language Processing based Detection of Duplicate Defect Patterns
Jonathan de Halleux and Hong Mei， Test Generation via Dynamic Symbolic Execution for Mutation Testin
Automating Reusable-Procedure Discovery through Developer’s Action Analysis
An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Dete
Integrating Resource Consumption and Allocation for Infrastructure Resources on-Demand
A Self-Adaptive Mechanism for Software Configuration Based on Case-based Reasoning and Policy
Towards Automated Generation of User-Specific Eclipse Wizard
An Automatic Approach to Aid Process Integration within a Secure Software Processes Family
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models
An Agent-based Autonomous Component Model for Internetware
Generating Synchronization Engines between Running Systems and Their Model-Based Views
Towards Architecture-centric Collaborative Software Development
A Use Case Based Approach to Feature Models’ Construction
Semantic Attestation of Software Configuration
Towards Service Composition Middleware Embedded in Web Browser
Time-Aware Test-Case Prioritization using Integer Linear Programming
获奖
全生命周期软件体系结构建模理论与方法
全生命周期软件体系结构建模理论与方法
相关项目
三维爆炸与冲击问题差分格式的网格生成算法及软件开发
期刊论文 25 会议论文 3 著作 1
用于功能磁共振成像的嗅觉刺激系统研制
期刊论文 11 会议论文 4
冲击载荷下散体岩石材料动态响应的实验与仿真研究
期刊论文 13 获奖 12 著作 2
先进核能系统热工、物理及其耦合
期刊论文 55 会议论文 24 著作 2
三维爆炸与冲击问题模型理论、高性能数值方法及软件开发
期刊论文 90 会议论文 8 著作 2
双交F1及其衍生群体中的重组率估计、连锁图谱构建和基因定位方法研究
期刊论文 3
高分辨电子显微镜像处理软件的开发
期刊论文 9 会议论文 2
爆炸流场特征提取及其可视化软件开发
期刊论文 9 会议论文 5
转子间具有完整约束的大型多转子耦合系统非线性动力学研究及软件开发
期刊论文 10 会议论文 8 获奖 2 著作 1
梅宏的项目
计算机软件
期刊论文 7
面向软件体系结构（SA）的软件的构造技术研究
可信软件的基础理论、方法和技术研究
期刊论文 8
　网构软件操作系统关键技术研究
　网构软件操作系统关键技术研究
隐私无泄漏网络数据发布
期刊论文 5 专利 7
可信软件的基础理论、方法和技术研究
期刊论文 23 会议论文 61
　网构软件操作系统关键技术研究
软件的特征交互及互操作性的研究
期刊论文 95 会议论文 52 获奖 6
面向网络计算环境的开放软件模型研究
期刊论文 9
体系结构驱动的可信软件构造方法与技术研究
期刊论文 33 会议论文 75
联合国大学国际软件研究所中美欧学术会议
　网构软件操作系统关键技术研究
2008国际互联网服务大会