CAJ | 학술논문

随着信息化社会的到来，计算机软件对于人类社会的发展起到了推动作用。但随之而来的各种软件错误、失效使得计算机能否满足要求遭到了质疑。软件是否满足要求可以通过软件可信评估来验证。论文提出了一种使用分层的软件可信评估方法：将对软件的可信评估分解为对软件可信属性的评估，然后对软件可信属性进行再分解，分为不同的层次；通过对各层的计算，实现对软件是否可信的评估。实验表明，论文提出的方法可以有效评估软件是否达到用户的要求。
수착신식화사회적도래，계산궤연건대우인류사회적발전기도료추동작용。단수지이래적각충연건착오、실효사득계산궤능부만족요구조도료질의。연건시부만족요구가이통과연건가신평고래험증。논문제출료일충사용분층적연건가신평고방법：장대연건적가신평고분해위대연건가신속성적평고，연후대연건가신속성진행재분해，분위불동적층차；통과대각층적계산，실현대연건시부가신적평고。실험표명，논문제출적방법가이유효평고연건시부체도용호적요구。
With the arrival of the information society ,computer software for the development of human society has played an important role .It is suspected that whether computer can satisfy people's request with various of software errors and failures .Through software dependability evaluation ,it can validate whether computer can satisfy people's request .A method of software dependability evaluation using a layered approach is presented .The evaluation of software dependability is decomposed into the evaluation of software dependability property ,and then software dependability is divided into different levels with re-decomposition .Through calculation of different layers ,it will be achieved whether the software is dependable . The experiment shows that the proposed method can effectively evaluate whether the software is up to the user 's require-ments .