엔지니어링 소프트웨어 보안 및 신뢰성에 대한 Refactoring의 영향

Engineering Software에 대한 이해

Refactoring은 외부 행동을 변경하지 않고 기존 코드를 재구성하는 기술입니다. 엔지니어링 소프트웨어 및 매시; 물리적 프로세스를 제어하는 시스템, 안전 크리티컬 환경에서 작동하거나 복잡한 워크플로우 및 매시를 관리; 직접 outcomes에 영향을 미칩니다. 잘 구조된 코덱은 개발자를 위한인지 부하를 감소시키고 잠재적 위험에 대해 쉽게 해결하기 위해 쉽게합니다. Refactoring는 한 번의 정리가 아닙니다. 이 작업을 계속하는 것은 건강하고 효과적인 행동을 유지하기 위한 것입니다.

이 웹 사이트는 귀하가 웹 사이트를 탐색하는 동안 귀하의 경험을 향상시키기 위해 쿠키를 사용합니다. 이 쿠키들 중에서 필요에 따라 분류 된 쿠키는 웹 사이트의 기본적인 기능을 수행하는 데 필수적이므로 브라우저에 저장됩니다. 또한이 웹 사이트의 사용 방식을 분석하고 이해하는 데 도움이되는 제 3 자 쿠키를 사용합니다. 이 쿠키는 귀하의 동의하에 만 브라우저에 저장됩니다. 이러한 쿠키를 거부 할 수도 있습니다. 이러한 쿠키 중 일부를 선택 해제하면 검색 환경에 영향을 미칠 수 있습니다.

엔지니어링 소프트웨어는 종종 다음과 같은 표준을 따르는 ISO 26262 자동차 안전 또는 ]SAE ARP4754B 항공 우주 시스템에 대한. 이 표준 위임 추적성, 검증 및 구성 관리. Refactoring는 코드를 쉽게 검토, 테스트, 문서에 맞게 이러한 요구 사항을 충족하는 데 기여. 그것은 엔지니어와 일치하는 하나의 tangled 코베이스를 변환, 더 많은 아키텍처를 가능하게하는.

보안에 대한 재발견의 영향

공격 표면 감소

보안 취약점은 복잡성에서 자주 발생합니다. 큰, 간결 기능은 데이터 흐름과 검증된 입력을 추적하기 어렵습니다. 이 복잡성을 최소화함으로써 논리를 잘 정의된 단위로 끊어지며, 각 명확한 책임으로 평탄하게 됩니다. 이 모듈성은 각 구성 요소의 범위를 제한하며 공격 표면을 줄입니다. 예를 들어, 통합 인증 체크를 단일 모듈로 제거하여 공격자가 악용할 수 있는 위협을 유발할 수 있는 무관한 구현을 제거합니다.

Insecure 패턴 제거

일반적으로 insecure 코딩 관행 및 메시; 하드 코딩 자격 증명, 부적절한 오류 처리, 및 누락된 입력 위생 및 메시; 재발동 중에 체계적으로 제거 될 수 있습니다. 전용 기능으로 입력 유효성을 추출하면 모든 항목 포인트가 보호됩니다. 또한, ]와 함께 해독 된 암호 일상을 대체하는 것이 더 쉽게 만들어줍니다. 다른 시스템의 다른 부분없이, 안전한 알고리즘]을 방해하지 않고.

Code Review의 개선 효과

이 회사는 보안 검사 및 검사를 포함하여, 이 회사는, 이 회사는, 이 회사는, 이 회사는, 이 회사는, 이 회사는, 이 회사는, 이 회사의 직원에게, 우리 회사의 직원에게, 우리 회사의 직원에게, 우리 회사의 직원에게, 우리 회사의 직원에게, 우리 회사의 직원에게, 우리 회사의 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게, 우리 직원에게 감사를 줄 수 있습니다.

Clarified data flow:] Refactored function reveal where data enters, 변형되고, 시스템을 잎, taint analysis 더 straightforward.
Redundancy 제거: 중복 코드는 종종 한 위치에서만 적용되는 보안 패치를 항만합니다. 제거 복제는 시스템을 통해 propagate를 수정합니다.
Policy 강제: 단일 층으로 승인 검사를 추출하고 우회의 기회를 감소.

신뢰성에 대한 재발견의 영향

Simpler Code를 통한 예측

엔지니어링 소프트웨어의 신뢰성은 예상된 조건에서 예측 가능한 행동을 의미합니다. 복잡한 코드는 인종 조건, deadlocks 및 off-by-one 오류를 분석하는 데 더 어렵습니다. Refactoring simplifies 제어 흐름, state-space 폭발을 감소시키고, 시스템이 수학적으로 쉽게 만듭니다. 예를 들어, 초기 반환 또는 경비로 심하게 배열된 조건을 대체하는 것은 종종 예측 가능한 실패를 유발할 수 있는 허용되지 않은 경로를 삭제합니다.

Test Coverage 향상

자동화된 테스트는 신뢰할 수 있는 소프트웨어의 기초입니다. 직접 격리는 격리에서 시험될 수 있는 종래 공용영역을 끊기해서 testability를 개량합니다. 잘 정의된 APIs를 통해 통신하는 단위는 전체적인 체계를 달리기 없이 단 하나 시험될 수 있습니다. 이것은 엔지니어가 분야에 있는 catastrophic 실패에 지도할 수 있는 그를 포함하여 가장자리 케이스를, 건설하는 것을 가능하게 합니다.

오류 검출을 촉진

Reduced bug density:직원 연구는 팀의 지속적인 재발생 생산이 수천 줄의 코드에 대한 결함을 전개하는 것을 보여줍니다.
Faster root-cause analysis:] 실패가 발생하면, 잘 구조화된 코드는 엔지니어가 더 빨리 동결하고, 가동 시간을 감소시킵니다.
Improved Maintenance: 신뢰할 수있는 시스템은 수십 년 동안 유지되어야합니다. Refactoring은 새로운 엔지니어가 회귀를 도입하지 않고 코드를 이해하고 수정할 수 있다는 것을 보증합니다.

안전한 Refactoring를 위한 모범 사례

종합시험지정

모든 재발행 전에 기존의 행동이 자동화된 테스트에 의해 캡처된다는 것을 보증하십시오. 단위 테스트, 통합 테스트 및 회귀 테스트는 안전 그물을 제공합니다. 엔지니어링 소프트웨어에서 실제 부하 및 실패 모드를 시뮬레이션하는 시스템 수준의 테스트를 추가하십시오. 각 재발견 단계는 전체 테스트 스위트를 실행하여 확인해야합니다. 적용이 충분하면 대상 코드를 위한 테스트가 작성되기 전에 작성하십시오.

작은 단계에

레버리지 자동화된 Refactoring Tools

문서 건축 결정

Refactoring는 단지 코드 변경이 아닙니다. 그것은 건축 개선입니다. 프로젝트의 문서 또는 인라인 의견에 각 재공장 뒤에 합리적 기록. 이것은 미래 유지 보수가 특정 구조가 선택되었는지 이해하는 데 도움이되며 어떤 거래가 고려되었는지 이해합니다. 규제 환경에서, 추적성을 유지하기 위해 요구 사항 항목에 대한 링크를 다시 작성하십시오.

사례 연구: Flight Control Module을 재확인

중형 항공 공급업체는 10년 이상 성장한 C에서 작성된 비행 제어 모듈을 유지했습니다. 단일 파일에 15,000개 이상의 라인이 포함된 코드는 일관된 스타일 없이 여러 개발자가 추가된 기능을 갖추고 있습니다. 정적 분석은 137개의 경고를 비난된 가변, 죽은 코드 및 문제 가능한 포인터 사용과 관련했습니다. 팀은 6개의 스프린트에 모듈을 통합하기로 결정했습니다.

이 경우 직접 신뢰성과 보안 목표를 지원한다는 것을 보여줍니다. 감소 된 복잡성은 모듈을 쉽게 검증하고, 죽은 코드 제거 잠재적 인 공격 벡터를 제거했습니다. 팀은 향후 감퇴를 방지하기 위해 1/4의 반복 사이클에 전념했습니다.

Refactoring 지원에 공구

정적 분석

Coverity, SonarQube, Clang-Tidy와 같은 도구는 반복을 위한 필요를 나타내는 부호 냄새를 검출합니다: 긴 기능, 과도한 cyclomatic 복잡성, 중복 부호 및 깊은 배열. 기회가 자동으로 표면으로 인하여 CI 파이프라인으로 이것을 통합하십시오.

버전 제어

Git 또는 재공장 작업에 대한 지점을 유사한 시스템을 사용합니다. 기능 플래그는 이전 버전과 함께 코드를 테스트 할 수 있도록 변경 사항을 격리 할 수 있습니다. 좋은 커밋 위생은 추적성과 롤백을 지원합니다.

Test Coverage 도구

Gcov, JaCoCo, 또는 유사한 적용 도구는 테스트 연습 경로가 재발견된다는 것을 보증합니다. 큰 재발견을 시작하기 전에 중요한 모듈에서 90 %를 초과하는 분지 적용을위한 대기.

IDE Refactoring 지원

IDE의 재입고 메뉴를 통해 자신에게 만족합니다. "Extract Function," "Rename,"과 "Change Signature"와 같은 운영은 수동 편집보다 덜 오류가 발생합니다. 임베디드 시스템을 위해 대상 컴파일러의 방언을 이해하는 IDE를 사용합니다.