一种形式化的软件可演化性特征描述方法

摘要：

软件系统的活性和安全性是判断软件可演化性的重要依据之一.现有方法多使用经典逻辑对系统的活性和安全性进行刻画.环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入.经典逻辑的无矛盾律导致其不能对软件系统的演化特性进行有效建模.针对该问题,提出了一种形式化的软件可演化性特征描述方法,该方法允许矛盾性输入的存在,可用于对软件可演化性等存在矛盾特性的系统进行建模和分析.该方法使用多值时序逻辑刻画软件系统的演化需求,同时提出了一种抽象软件模型对软件系统进行建模,通过抽象软件模型的活性和安全性来对软件系统的可演化特征进行描述.

关键词：活性、安全性、矛盾、软件可演化性、多值时序逻辑

所属期刊栏目：44

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61462092,61262024,61379032;云南省自然科学基金重点项目2015FA014;云南省自然科学基金2013FB008;云南省教育厅研究生项目基金2016YJS006

在线出版日期：2017-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：128-136