项目名称: 支持演化的可信软件过程研究

项目编号: 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

成为VIP会员查看完整内容
0

相关内容

数字孪生模型构建理论及应用
专知会员服务
220+阅读 · 2022年4月19日
可信工业数据空间系统架构1.0白皮书,56页pdf
专知会员服务
73+阅读 · 2022年2月3日
专知会员服务
142+阅读 · 2021年6月1日
专知会员服务
16+阅读 · 2021年5月13日
专知会员服务
30+阅读 · 2021年5月8日
可信机器学习的公平性综述
专知会员服务
66+阅读 · 2021年2月23日
智源发布《2020北京人工智能发展报告》,附43页pdf
专知会员服务
126+阅读 · 2020年11月19日
【干货书】贝叶斯推断随机过程,449页pdf
专知会员服务
150+阅读 · 2020年8月27日
【干货书】图形学基础,427页pdf
专知会员服务
145+阅读 · 2020年7月12日
漫谈软件缺陷与漏洞
InfoQ
1+阅读 · 2022年4月23日
数字孪生模型构建理论及应用
专知
7+阅读 · 2022年4月20日
【2022开放书】因果推理统计工具,377页pdf
一文详解网易数帆数据生产力方法论
AI前线
0+阅读 · 2022年4月17日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
【干货书】贝叶斯推断随机过程,449页pdf
专知
29+阅读 · 2020年8月27日
已删除
将门创投
12+阅读 · 2018年6月25日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
A Survey on Bayesian Deep Learning
Arxiv
63+阅读 · 2020年7月2日
Knowledge Representation Learning: A Quantitative Review
小贴士
相关VIP内容
数字孪生模型构建理论及应用
专知会员服务
220+阅读 · 2022年4月19日
可信工业数据空间系统架构1.0白皮书,56页pdf
专知会员服务
73+阅读 · 2022年2月3日
专知会员服务
142+阅读 · 2021年6月1日
专知会员服务
16+阅读 · 2021年5月13日
专知会员服务
30+阅读 · 2021年5月8日
可信机器学习的公平性综述
专知会员服务
66+阅读 · 2021年2月23日
智源发布《2020北京人工智能发展报告》,附43页pdf
专知会员服务
126+阅读 · 2020年11月19日
【干货书】贝叶斯推断随机过程,449页pdf
专知会员服务
150+阅读 · 2020年8月27日
【干货书】图形学基础,427页pdf
专知会员服务
145+阅读 · 2020年7月12日
相关资讯
漫谈软件缺陷与漏洞
InfoQ
1+阅读 · 2022年4月23日
数字孪生模型构建理论及应用
专知
7+阅读 · 2022年4月20日
【2022开放书】因果推理统计工具,377页pdf
一文详解网易数帆数据生产力方法论
AI前线
0+阅读 · 2022年4月17日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
【干货书】贝叶斯推断随机过程,449页pdf
专知
29+阅读 · 2020年8月27日
已删除
将门创投
12+阅读 · 2018年6月25日
相关基金
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员