융합 시대를 맞이하여 IT 소프트웨어 기술이 항공 , 자동차 , 철도 , 원전 등 안전이 중시되는 (safety-critical) 산업분야에 폭넓게 활용되고 있습니다 . 이들 산업 분야는 안전을 중시하기 때문에 , 높은 수준의 소프트웨어 품질을 요구하고 있습니다 . 산업 분야마다 국제 표준인 DO-178B( 항공 ), ISO 26262( 자동차 ) 등을 제정하고 이를 준수하게 함으로서 소프트웨어의 품질을 높이려고 노력하고 있습니다 .
소프트웨어 품질을 높이기 위해 모든 국제 표준에서 예외 없이 소프트웨어 테스팅을 언급하고 있습니다 . 즉 , 산업 분야와 관계없이 안전이 중요한 경우에는 테스팅을 통해서 실제 시스템을 철저히 검증할 것을 요구합니다 . 성공적인 테스팅이 있기 위해서는 도구 , 교육 등의 지원이 있어야 하지만 , 정확한 오라클 (oracle) 의 존재가 중요합니다 . 소프트웨어공학에서 오라클이란 “ 수행한 테스트가 합격인지 또는 실패인지를 판단하는 메커니즘 ” 입니다 .
1. 선형 시제 논리 합성
2. 테스트 오라클 생성 및 정형적 정의
합성 기법을 통한 테스팅 과정의 전체 과정
합성 기법을 통한 테스팅 과정의 전체 과정
테스트 오라클 생성 과정
3. 사례 연구 및 분석
테스트 환경 구성
알람 로봇의 테스트 오라클 모델
댓글 없음 :
댓글 쓰기