강인성 시험

Robustness testing

건전성 테스트는 소프트웨어의 건전성 테스트에 초점을 맞춘 품질 보증 방법론이다.또한 강건성 시험은 시험 프로세스에서 시험 사례의 강건성(즉, 정확성)을 검증하는 프로세스를 설명하기 위해 사용되었다.

ANSI와 IEEE는 시스템이나 구성품이 잘못된 입력 또는 스트레스 받는 환경 조건 앞에서 올바르게 작동할 수 있는 정도로서 건전성을 정의했다.[1]

'로봇성 테스트'라는 용어는 카네기멜론 대학의 발리스타 프로젝트에서 처음 사용되었다.그들은 POSIX API의 데이터 유형에 근거하여 운영체제의 신뢰성 시험을 실시하여 일부 시스템에서는 완전한 시스템 충돌을 발생시켰다.[2]이 용어는 또한 OUSPEG와 VTT 연구자들이 소프트웨어 보안 시험의 맥락에서 PROTOS 프로젝트에 참여하면서 사용되었다.[3]결국 퍼징(보안 담당자가 주로 비지능적이고 무작위적인 강건성 시험에 사용하는)이라는 용어는 모델 기반의 강건성 시험에도 적용되도록 확장되었다.

방법들

결함주입

결함주입은 시스템의 건전성을 확인하는 데 사용할 수 있는 시험방법이다.시스템에 고장을 주입하고 시스템의 복원력을 관찰한다.[4]저자들은 시스템을 고장낼 수 있는 중대한 결함을 찾기 위해 결함 주입을 지원하는 효율적인 방법을 연구했다.

참고 항목

참조

  1. ^ "소프트웨어 엔지니어링 용어 표준 용어집(ANSI)".전기전자공학연구소 1991.
  2. ^ 크롭, 콥만, 시우오레크1998. 기성 소프트웨어 구성 요소의 자동화된 견고성 테스트.FTC'98. http://www.ece.cmu.edu/~koopman/ballista/ftaxs98/ftaxs98.pdf
  3. ^ 2001년 라울리의 Kaksonen.프로토콜 구현 보안 평가를 위한 기능적 방법(라이선스 논문)Espoo. 핀란드 기술 연구 센터, VTT 간행물 448.18 페이지 + 앱.오후 15시 ISBN951-38-5873-1(소프트 백 에드)ISBN951-38-5874-X(온라인 에드).https://www.ee.oulu.fi/research/ouspg/PROTOS_VTT2001-functional
  4. ^ Moradi, Mehrdad; Van Acker, Bert; Vanherpen, Ken; Denil, Joachim (2019). Chamberlain, Roger; Taha, Walid; Törngren, Martin (eds.). "Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)". Cyber Physical Systems. Model-Based Design. Lecture Notes in Computer Science. Cham: Springer International Publishing. 11615: 71–90. doi:10.1007/978-3-030-23703-5_4. ISBN 978-3-030-23703-5.
  5. ^ "Optimizing fault injection in FMI co-simulation through sensitivity partitioning Proceedings of the 2019 Summer Simulation Conference". dl.acm.org. Retrieved 2020-06-15.
  6. ^ 모라디, 메흐다드, 벤틀리 제임스 오이스, 무스타파 사라글루, 안드레이 모로조프, 클라우스 얀셰크, 요아힘 드닐."보강 학습 기반 고장 주입을 이용한 고장 매개변수 공간 탐색."(2020).