Safety-critical system and testing

<aside> 💾 Safety-critical system : system의 failure가 생명, 자산, 환경에 damage를 미치는 시스템

</aside>

국제표준 : 프로세스 방법론

• ISO26262

  ![back-to-back comparision test between model and code

  • model-driven development (MDD). ex) UML 모델
  • MDD(모델)에 따라 자동으로 코드를 만듦 (code generation). 테스트도 자동으로 만들어서 테스트해준다. (test generation)](https://s3-us-west-2.amazonaws.com/secure.notion-static.com/6a6d71f8-f277-4ddd-b0b1-083efd3065af/Untitled.png)

  back-to-back comparision test between model and code

  • model-driven development (MDD). ex) UML 모델
  • MDD(모델)에 따라 자동으로 코드를 만듦 (code generation). 테스트도 자동으로 만들어서 테스트해준다. (test generation)

integration에서는 coverage를 측정하는게 좀 다르다

• fuction coverage :
• call coverage :

개념정의 → 개발 → 출시

개발도 잘해야함

1. 전역변수 쓰지마라, 포인터 변수를 쓰지 마라. 즉 local 안에서만 돌게 해라. (Limited scope)