메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술대회자료
저자정보
한갑수 (자동차부품연구원) 강호준 (자동차부품연구원) 정승환 (자동차부품연구원) 권성진 (자동차부품연구원) 이봉현 (자동차부품연구원)
저널정보
한국자동차공학회 한국자동차공학회 춘계학술대회 2013 KSAE 부문 종합학술대회
발행연도
2013.5
수록면
1,191 - 1,196 (6page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
Model-based testing is a kind of black box testing that test suites are derived from behavioral model of SUT through test case generation and execute test suites automatically by model-based testing tool. A model-based testing tool uses various test generation algorithms and criteria to generate test cases. The behavioral model of SUT has to be concise enough to write and validate. Also, be precise enough to specify the behavior which is to be tested. Test cases can be generated automatically from the model and test engineer can control testing and maintain test cases easily. The abstract test cases have to be transformed into executable test cases with more specific information about SUT. Test selection criteria and lots of test generation strategies are commonly used in model-based testing. The complementary of these are key point of model-based testing. For this purpose, several state-based models are developed and test suites which derived from various test generation strategies, especially focused on transition coverage, are performed. Also, testing performances are discussed for test coverage of each test suite.

목차

Abstract
1. 서론
2. 기존의 기능 평가 개요
3. 모델 기반 평가 개요
4. 평가 대상의 모델링
5. 모델 검증과 평가 생성 기법
6. 모델 기반 평가 시험
7. 결론
References

참고문헌 (0)

참고문헌 신청

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2014-550-002588223