项目名称: 支持演化的可信软件过程研究
项目编号: No.61262025
项目类型: 地区科学基金项目
立项/批准年度: 2013
项目学科: 自动化技术、计算机技术
项目作者: 张璇
作者单位: 云南大学
项目金额: 43万元
中文摘要: 可信软件基于软件过程在开发和演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。鉴于可信软件及其演化的复杂性和多样性:1)提出与软件应用场景无关的可信软件质量属性模型及基于应用场景变化的裁剪方法。使用微观经济学的现值分析、风险分析和效用论研究基于约束的可信软件质量属性间的相关性和权衡关系,对相关性影响效应进行界定和量化,提出属性间冲突消解的方法。2)扩展Petri网,融合存在冲突的可信过程,引入云南大学李彤教授的软件演化过程元模型,提出支持演化的可信软件过程形式化元模型和基于元模型的过程描述语言。同时,基于过程挖掘和过程模型符合性分析,对过程模型具体执行进行动态跟踪。3)引入基于进程代数的严格操作语义,提出支持演化的可信软件过程模型的多种形式化验证,包括结构验证、性质验证、行为验证与可信验证。同时,通过案例实证研究以及专家的评估对上述理论研究进行优化。
中文关键词: 可信软件;软件过程;非功能需求冲突权衡;面向方面;过程建模与验证
英文摘要: Based on software process, engineer trustworthy software that survives trustworthy requirements and requirement evolution has been an outstanding puzzle to the trustworthy software and software engineering communities.This research aims to establish a formal, evolution friendly software process to assure the software trustworthiness across its life-cycle. Specifically, 1) A trustworthy software quality attribute model which is unrelated to the contexts of use, and a tailoring approach which is related to the contexts of use are proposed. On this basis, present value analysis, risk analysis and utility theory of microeconomics will be used to analyze the constraint-based correlations and trade-off relationships of trustworthy software quality attributes. According to the defining and quantifying of the correlation influencing effect, an attribute conflict resolution approach will be proposed. 2) An extended Petri net and the integration of the conflicting trustworthy processes are introduced into software evolution process meta-model proposed by Prof. Li, Tong at Yunnan University. Based on this introduction, a formal meta-model and a meta-model based process description language are proposed. The meta-model and description language can be used to create formal, evolution friendly trustworthy software process mod
英文关键词: Trustworthy software;Software process;Tradeoff for non-functional requirements;Aspect-oriented;Process modeling and verification