역사속의 소프트웨어 오류
1
이 책은 다음과 같은 주제를 다룬다. “정수와 실수의 차이”, “인치와 미터의 차이”, “동시성과 큐”와 같은 민감하고 단순한 것들이 어떻게 모든 것을 부셔버리는지에 대한 것을 다룬다.
2
실수(float)은 언제나 중요하다. 하늘을 날아다니는 것들 중에서 실패한 것은 ‘실수’ 때문이다.
-
[…] NASA는 MCO 사례 이후 모든 프로젝 진행시 도량형을 미터법으로 통일하도록 규제했기 때문이다.
-
[…] 특수한 상황을 테스트나 개발 과정에서 전혀 고려하지 못한 것이 이 사건의 발단이었다.
-
[…] “테스트할 수 없으면 하지 마라”
-
[…] “시물레이션을 먼저 해야 했는데…”
-
[…] 그야말로 ‘검증된’ 로켓이었기 때문에, 이 모듈을 그대로 사용하는 것이 안정성과 개발시간 단축을 위해 유리하다고 판단한 결과였다.
-
[…] 문제는 SRI-2에 입력된 데이터의 크기였다. 그 순간 SRI-2가 입력받은 데이터는 64비트 실수형 데이터였다.
Written on May 9, 2015