북한이 소프트웨어(SW)의 오류를 줄이기 위해 즉 SW 신뢰성을 높이기 위해 고심하고 있는 것으로 알려졌다. 이는 북한 내에서 SW가 다양한 산업 분야로 확산되고 또 SW 코드 규모도 커지고 있기 때문인 것으로 추정된다.16일 대북 소식통에 따르면 김일성종합대학은 김일성종합대학학보 정보과학 2018년 제64권 제4호에 '소프트웨어 믿음성 성장 모형을 이용한 새로운 결함분석방법'이라는 논문을 게재했다.논문은 최근에 많은 소프트웨어 개발 단위들에서 소프트웨어 믿음성에 대한 분석 평가에 기초해 소프트웨어 개발의 최종 단계에