인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록·키워드
The safety-critical software (SCS) is often directly related to the safety of the people's lives and wealth; it has to undergo safety testing strictly. The fault injection approach can generate testing cases to find dangerous prone defects quickly by running the SCS under a faulty environment. A fault injection tool kit for SCS is developed to implement fault injection to enhance the safety testing ability of the existing method. The tool kit generates test cases for safety testing according to an operational profile automatically and provides a script language as interface. When this tool kit applied in the testing of interlocking software, a typical class of SCS, the level of testing automation as well as testing efficiency is improved.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-ECN-0101-2012-004-004266394