시스템에 오류가 없음을 증명하라는 이야기를 들었습니다.

Question

일반 유통회사에서 사내 업무용 시스템을 만들고 사용중입니다.금액 계산등을 엑셀로 수식을 짜는게 아닌 시스템에 정해진 값을 통해 결과물이 나오는 시스템입니다.여기서 두가지 요청이 들어왔습니다.시스템에서의 계산 등에 오류가 없음을 증명하라시스템이 오류가 없음을 증명하라위의 두가지를 증명하라고 하는데,저만 그렇게 생각하는지 모르겠는데, 모든 소프트웨어 개발물은 기술적인 오류(버그)가 있잖아요.버그를 다 고쳤다고 하더라도, 계속해서 추가되는 내용이 있고 업데이트가 이루어지면서 새로운 오류가 발생하고요.1번의 경우는 대략적으로 크로스체크나 내부 계산흐름을 증명하면 되니 증명할 방법만 찾으면 될 것 같기도 합니다.그런데 2번의 경우는 도대체 어떻게 증명을 해야될지 가닥이 안잡힙니다.일단 주기적으로 오류노트 같은거를 사내 공지하기는 하는데, 이거로는 불충분 하겠죠?참고로 위의 요청은 사내에서 온 것이 아닌 외부에서 온 것 입니다.많은 개발자분들께 조언 부탁드립니다.감사합니다.

chytonpide · Answer

계산은 단위테스트 작성하시고, 시스템 동작 검증은, 통합 테스트 작성한 다음, 테스트가 이러이러한 동작을 검증하고 있는데 이게 맞지요 하고 이해당사자 한테 소개하고, 또 어떤 케이스를 추가하는게 좋을지 상담하는게 좋아보이네요.

장독깨기 · Answer

시스템이 요구하는 기능이 있을거잖아요.그 기능별로 테스트 케이스, 시나리오 작성해서 시험 결과 알려주면 될 거 같습니다.코드로 작성할 수 있는 부분도 있을테고, 명세를 작성해야 할 경우도 있을 겁니다.근데, 일단, 명세서가 있어야 외부 사람들이 이해하기 좋겠죠. :)

시스템에 오류가 없음을 증명하라는 이야기를 들었습니다.

2개의 답변

Q&A 목록