基于矩阵变换的软件可信性演化波及效应

来源 :系统工程理论与实践 | 被引量 : 0次 | 上传用户:fang19902009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.
其他文献
20年前,中国共产党召开了具有历史意义的十一届三中全会,从此中国走向改革开放,以崭新的姿态屹立于世界东方。人们在纪念这个伟大日子的时候,更加想念我国改革开放的总设计师邓小平
20年前,邓小平同志以建设中国特色社会主义总设计师和战略家的远见卓识,紧紧把握住时代特征和发展科学技术这一现代化建设的关键,在我国科学史上空前的盛会--全国科学大会上
利用微观相场动力学模型模拟研究873K时Ni75CrxAl25-x合金中Cr原子的替代规律。在合金沉淀过程中,Cr原子部分替代Al原子格点形成L12结构的γ’相(Ni3Al1-xCrx)。Cr原子在L12
采用密度泛函理论(density functional theory,DFT)中的线性缀加平面波结合增强局域轨道(linearized augmented plane wave and the improved local orbital,APW+lo) 的方法
Spiking neural P systems with anti-spikes(ASN P systems) are variant forms of spiking neural P systems, which are inspired by inhibitory impulses/spikes or inhi
变革型领导理论自提出后在近20多年来一直处于领导理论研究的核心地位,通过对现有文献的回顾可以发现,现有研究大多是从个体和团队层次来探讨变革型领导行为对其直接下属和其
个人信息是个性化网络服务的主要依据,然而各种网络风险使得用户心存疑虑,拒绝提供个人信息或提供虚假信息.为此,从个人、网站和情境三方面的因素着手,以已有研究成果为基础,
住房政策“鼓励住房消费需求、抑制投资投机需求”为中国学术界提出了新的课题,如何界定住房消费、投资投机需求,以及如何做到鼓励住房消费需求的同时,又做到抑制投资投机需