fix typo

_posts/2023-10-19-mocks-arent-stubs.md

@@ -0,0 +1,6 @@
+https://martinfowler.com/articles/mocksArentStubs.html
+
+https://martinfowler.com/articles/mocksArentStubs.html#ClassicalAndMockistTesting
+
+또 다른 번역글
+https://sungjk.github.io/2022/02/03/mocks-arent-stubs.html

_posts/2023-10-23-안전하고-아름다운-소프트웨어-만들기.md

@@ -39,7 +39,7 @@ date: 2023-10-23 23:00:00 +0900
 
 ## 소프트웨어 결함과 비용
 
-소프트웨어 결함은 늦게 발견될 수록 더 많은 비용을 초래한다.
+소프트웨어 결함은 늦게 발견될수록 더 많은 비용을 초래한다.
 
 ![graph of 'cost to repair'](/assets/images/2023-10-23-안전하고-아름다운-소프트웨어-만들기/image1.jpg)
 
@@ -52,7 +52,7 @@ Applied Software Measurement: global analysis of productivity and quality
 
 - Fault tolerance (Recovery)
   - 결합 극복 메카니즘을 통해 결함 발생 시 스스로 회복하여 올바른 동작을 수행하도록 함.
-    - rollback : 특정 지점부터 다시실행
+    - rollback : 특정 지점부터 다시 실행
     - redundancy : 중복 신호 송출
     - mirroring : 복사본 유지
 - Fault prevention (avoidance)
@@ -71,7 +71,7 @@ Applied Software Measurement: global analysis of productivity and quality
 
 ## 소프트웨어 검사 기법 (수동 vs 자동)
 
-### 수동분석
+### 수동 분석
 
 - 사람이 직접 프로그램을 확인하고 옮고 그름 판단
 - 비용이 저렴하거나 (e.g. code review) 혹은 아주 비쌈 (e.g. formal verification)
@@ -92,11 +92,11 @@ Applied Software Measurement: global analysis of productivity and quality
 
   - '정형 검증을 거친 프로그램은 절대 결코 잘못 동작하지 않는다'
 
-- 고도로 훈련된 ㄴ사람이 많은 시간과 노력을 쏟아야 함.
+- 고도로 훈련된 사람이 많은 시간과 노력을 쏟아야 함.
   - 논리식 및 증명 기법에 대한 충분한 지식이 필요
   - 큰 프로그램에 대해 적용이 어려움
 
-#### 코드리뷰
+#### 코드 리뷰
 
 - 구현 또는 변형된 프로그램을 동료가 확인하여 검증
 
@@ -141,7 +141,7 @@ Applied Software Measurement: global analysis of productivity and quality
 
 - 프로그램을 실행하지 않고, 가능한 실행 동작을 어림잡아 분석
 - 실행 환경에 독립적
-- 제약사항 : 프로그램을 실행하지 않기 떄문에 완벽하게 어림잡기는 불가능
+- 제약사항 : 프로그램을 실행하지 않기 때문에 완벽하게 어림잡기는 불가능
   - 오탐(false positive) 또는 설계에 따라 미탐(false negative)도 발생 가능
 
 ### 소프트웨어 분석 기법의 특성