소프트웨어 문제를 피하는 방법

이 디지털 시대에 페이스 북, 트위터, 알리바바, 아마존과 같은 전자 상거래 플랫폼과 같은 소셜 미디어 거인에 대해 들어 보셨을 것입니다. 이 온라인 웹 사이트는 운영을 위해 다양한 소프트웨어 패키지를 사용합니다. 이 프로그램들은 우리가 일하고 생각하고 살아가는 방식을 솔직하게 변화 시켰습니다.

게다가 이전에는 전적으로 기계적이었던 많은 장치가 소프트웨어로 제어됩니다. 예를 들어, 온도 조절기는 한때 전자 기계 장치였습니다. 그러나 그들은 현재 운영을 위해 소프트웨어에 크게 의존하고 있습니다.

그러나 소프트웨어 버그는 특히 일상 활동에 대한 의존도가 높아짐에 따라 상당히 문제가 될 수 있습니다. 실제로 실제로 소프트웨어가 의도 된 목적에 미치지 못하여 불쾌한 결과를 초래하는 경우가 꽤있었습니다.

, 우리는 소프트웨어 성능이 크게 그 표장을 놓친 4 가지 경우와 그러한 소프트웨어 문제를 피하는 방법에 대해 이야기합니다.

또한 읽기: 당신이 아이폰 엑스를 구입하기 위해 서두르지 말았어야하는 10 가지 이유

1. 미국 다중 주 (State) 911 정전

911은 중요한 서비스이므로 개인이 필요할 때마다 긴급 요원에게 연락 할 수 있습니다. 때로는 911을 통해 비상 사태 경비원과 연락을 취하는 것이 말 그대로 삶과 죽음의 차이를 만들 수 있습니다.

따라서 2014 년 4 월 9 일 캘리포니아 주, 플로리다 주, 미네소타 주, 노스 캐롤라이나 주, 펜실베니아 주, 사우스 캐롤라이나 주 및 워싱턴 주 등 7 개 주에서 911 전화 라우팅이 실패한 것은 매우 재앙이었습니다.

이 중단은 Intrado가 소유 한 Colorado의 긴급 통화 관리 센터에서 발생하는 예방 가능한 코딩 오류로 인해 발생했습니다.

2. 유나이티드 항공의 함대 접지

2015 년 7 월 유나이티드 항공은 소프트웨어 결함으로 항공기 전체를 ​​갈아 타야했습니다. 이것은 전 세계적으로 4, 900 편 이상의 비행에 영향을 주었고 공항에 좌초 된 많은 승객들을 좌절 시켰고 분명히 좌절 시켰습니다.

항공사가 불편을 겪었을 때 많은 승객을 보상해야했기 때문에 경제적 인 영향도있었습니다. 또한 접지 때문에 여러 번 중요한 비즈니스 회의가있었습니다.

3. Toyota Camry Accelerator 페달 오작동

2007 년 9 월 Jean Bookout은 오클라호마 주 주간 고속도로 69 번을 타고도 바타 캄리 (Toyota Camry)를 통제하는 데 어려움을 겪었을 때 승객 바바라 슈워츠 (Barbara Schwarz)와 함께 여행했습니다.

그녀는 스로틀에서 발을 들어 올리려고했지만 자동차는 계속 가속을 보였습니다. 브레이크 페달은 차를 멈추지 못하고 그녀는 비상 브레이크를 사용해야했습니다.

불행히도, 이것은 자동차 보급을 제방으로 보냈습니다. 그 결과 Schwarz는 사망했고 Bookout은 치명상으로 5 개월 동안 입원했습니다.

사고는 Camry 's CPU에있는 업무의 충돌로 이끌어 낸 몇몇 코딩 부적 절성 때문에 생겼다 고 추측되었다. 이 CPU는 점화, 스로틀 제어 및 순항 제어를 포함한 엄청나게 많은 기능을 제어합니다.

Toyota의 코드는 몇 년 동안 새로운 코드가 낡은 코드에 쌓여 뒤죽박죽으로 엉망이되었습니다. 이것은 보통 '스파게티 코드'라고합니다.

스파게티 코드는 불필요하게 복잡하며 오류를 찾기가 거의 불가능합니다. 또한 Toyota는 코딩 과정에서 몇 가지 안전 규칙을 위반했습니다. 이것은 토요타의 의도하지 않은 가속의 고립 된 사례가 아니 었음을 주목해야한다.

그러나 Bookout의 사고는이 문제를 소프트웨어 프로세스의 가벼운 강조 표시와 Toyota의 결함으로 가져 왔습니다. Toyota의 코드가 구조화 된 방식을 기반으로 잠재적으로 발생할 수있는 원치 않는 가속화 방법이 1, 000 만 가지가 넘는 것으로 나타났습니다.

네스트 서모 스탯 오류

Nest는 Alphabet 소유의 회사로 스마트 서모 스탯을 만듭니다. 이 자동 온도 조절 장치는 아주 멋지며 사용자가 스마트 폰에서 가정의 온도를 제어 할 수있게 해줍니다.

지난 겨울 Nest 온도 조절기는 잘못된 소프트웨어 업데이트 형태로 결함을 겪었습니다. 이로 인해 배터리가 소모되었습니다. 유감스럽게도이 오류는 겨울철 중반에 발생하여 일시적으로 열이 발생하지 않는 사용자가 여러 명 남았습니다. 이것은 분명히 당신이 일년 중이 시간에 일어나기를 원하지 않는 것입니다.

다음 참조: 사회 미디어가 늦게 만든 것처럼 자아가 그다지 중요하지 않습니다.

소프트웨어 문제에 대한 간략한 분석

모델 기반 디자인 및 TLA +와 같은 접근 방식을 통해 개발자는 자신의 소프트웨어 작동 방식에 대한 더 큰 그림 개요를 얻을 수 있습니다.

저명한 컴퓨터 연구원 인 브렛 빅터 (Brett Victor)는 프로그래머와 코드로 해결하려는 문제 사이에 단절이 있다고 생각한다.

이러한 연결 해제로 인해 프로그래머는 코드에 넣으려고하는 것을 구상하기가 어려워집니다. Victor는 이것이 소프트웨어가 버그로 가득 차있는 요인 중 하나라고 생각합니다.

그러나 희망이 있습니다. 모델 기반 디자인 및 TLA +와 같은 접근 방식을 통해 개발자는 자신의 소프트웨어 작동 방식에 대한 더 큰 그림 개요를 얻을 수 있습니다.

모델 기반 설계는 이름에서 알 수 있듯이 시각적 모델을 통한 소프트웨어 개발을 가능하게합니다. 임시 행동 논리 (Temporal Logic of Actions)의 약자 인 TLA +는 컴퓨터 프로그램의 사양을 작성하기 위해 고안된 언어입니다. TLA +의 장점은 소프트웨어가 공개되기 전에 철저한 테스트와 검증이 가능하다는 것입니다.

모델 기반 디자인과 TLA +는 이미 그 소금을 입증했습니다. 소프트웨어 개발 회사 인 Esterel technologies는 모델 기반 설계를 사용하여 안전에 필수적인 소프트웨어를 구축하고 TLA +는 Microsoft의 재앙적인 Xbox 오류를 해결하기 위해 사용되었으며 유럽 우주국 (European Space Agency)은 혜성에 착륙했다.

코드를 작성하는 과정은 프로그래머가 높이 평가합니다. 그들 중 많은 사람들이 코드를 작성하는 과정에 상당히 흥미가 있습니다. 따라서 일부 프로그래머가 모델 기반 설계 및 TLA +와 같은 접근 방식을 채택하도록하는 것이 쉽지 않습니다. 이러한 접근법은 실제로 실제 생존력이없는 엄격한 학문으로 인식됩니다. 그러나보기의 변경은 가능한 한 빨리 이루어져야합니다.

읽기: 우리는 실명에 우리의 아이들을 밀어 붙이고 있습니다.

마지막 생각들

내장 된 안전 예방 조치가 필요한 응용 프로그램에서 소프트웨어가 점점 더 많이 사용되고 있습니다. 이러한 응용 프로그램이 우리 삶에서 필수적이므로 소프트웨어 설계의 더 나은 방법이 전반적으로 도입되어야합니다.

자동화와 같은 프로세스는 오늘날 소프트웨어에 크게 의존하지만 코드 라인에서 한 가지 오류는 위의 사례에서 보여 주듯이 우리를 주요한 좌절로 이끌 수 있습니다.

이제 AI (Artificial Intelligence)와 같은 응용 프로그램에 통합되는 것을 상상해보십시오. 인공 지능은 소프트웨어 결함이 없어도 독자적으로 충분히 무섭다. 믹스에 버그를 추가하면 어떤 일이 일어날 지 알 수 없습니다.

그러나 여기에는 은색 무늬가 있습니다. 약간의 작업과 몇 가지 새로운 도구를 사용하여 더 나은 소프트웨어 및 AI를보다 견고하게 설계하고 스터드로 테스트하여 더 나은 소프트웨어 및 AI를 만들 수 있습니다.

이 중요한 문제가 관계 당국에 의해 심각하게 받아 들여지고 소프트웨어를 최대한 활용하여 더 안전하고 똑똑한 미래를 만들 수 있기를 바랍니다.

다음 참조: 인공 지능: 인간의 유형과 미래