CAJ | 학술논문

软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标系统的稳定性,因此引起了可信软件研究领域专家的广泛关注.针对该问题,给出一种需求驱动的软件可信性评估及演化模型.首先,剖析和总结软件可信性评估过程中涉及的关键技术,如需求分析与指标提取、可信证据采集与转换、可信性评估推理等,讨论了可信性需求演化背景下的可信性评估自主求解问题.其次,为了分析可信属性间的内在联系及可信属性相对权重的变化规律,给出关联矩阵的概念,并在此基础上提出应用于软件可信性评估指标系统自主配置的自适应重构器.最后,给出软件可信性评估及演化模型的整体框架.实验结果证明了该模型的合理性和正确性.
연건가신성평고모형적구건의뢰우대특정응용영역중가신수구적준학제취화지표계통적합리건립.대우체계결구방대、비공능성수구복잡적연건이언,가신수구왕왕수착연건운행상태적전이이불단발생변화.유우가신수구적동태연화장직접영향지표계통적은정성,인차인기료가신연건연구영역전가적엄범관주.침대해문제,급출일충수구구동적연건가신성평고급연화모형.수선,부석화총결연건가신성평고과정중섭급적관건기술,여수구분석여지표제취、가신증거채집여전환、가신성평고추리등,토론료가신성수구연화배경하적가신성평고자주구해문제.기차,위료분석가신속성간적내재련계급가신속성상대권중적변화규률,급출관련구진적개념,병재차기출상제출응용우연건가신성평고지표계통자주배치적자괄응중구기.최후,급출연건가신성평고급연화모형적정체광가.실험결과증명료해모형적합이성화정학성.