摘要：软件可信性演化属于软件演化范畴,它由一系列复杂的变化活动组成.从构件内部、构件之间表征构件可信性的可信属性存在相互依赖关系的视角,借鉴图论中的邻接图理论,建立了基于构件的软件可信性模型,并在此基础上给出了可信性DSM、可信性邻接矩阵和可信属性的可达矩阵的定义,凭借矩阵变换与运算对软件可信性演化中的波及效应进行了刻画分析和量化界定;对演化中可信属性的增加、删除、修改、合并与拆分等可信性变化活动所引起的各种波及效应给予了阐述;给出了可信属性在软件可信性中贡献大小相对量的计算方法,为软件可信性演化的管理、控制、利用和评价提供了客观依据.

关键词：软件可信性 构件可信性 可信属性 邻接图 可达矩阵 

单位：重庆大学经济与工商管理学院 重庆400030 重庆亚德科技股份有限公司 重庆400039 重庆理工大学计算机学院 重庆400054