최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보처리학회논문지. The KIPS transactions. Part D. Part D, v.17D no.2, 2010년, pp.147 - 156
박인수 (삼성전자 무선사업부) , 신영술 (경북대학교 전자전기컴퓨터학부) , 안성호 (한국전자통신연구원 대경권연구센터 자동차SW플랫폼연구팀) , 김진삼 (한국전자통신연구원 대경권연구센터 자동차SW플랫폼연구팀) , 김재영 (한국전자통신연구원 대경권연구센터 자동차SW플랫폼연구팀) , 이우진 (경북대학교 IT대학 컴퓨터학부)
Conformance testing for embedded software is to check whether software was correctly implemented according to software specification or not. In conformance testing, test scenarios must be extracted to cover every test cases of software. In a general way, test scenarios simply focus on testing all fu...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
임베디드 소프트웨어의 적합성 테스트란? | 임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. | |
적합성 테스트에서 테스트 시나리오는 어떻게 추출되어야 하는가? | 임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. | |
상태 머신을 테스트 모델로 변환하기 위한 세 가지 규칙을 설명하시오. | 변환 규칙은 (그림 3)의 상태 머신 변환 흐름도와 같이 진행된다. 먼저 복합상태들을 모두 검색하여 복합상태에 나타나있는 계층 구조를 평면구조로 변환한다. 그리고 변수에 의한 반복 부분이 나타나는 부분은 반복상태 변환을 통해 변수를 제거한다. 마지막으로 전이의 경계 조건, 이벤트, 액션 부분들을 분할하여 단순 평면 그래프로 변환한다. 이 절에서는 복합상태 변환, 반복상태 변환, 단순상태 변환 기법을 하나씩 설명한다. |
Anders Hessel, Paul Pettersson, "A Global Algorithm for Model-Based Test Suite Generation," Electronic Notes in Theoretical Computer Science 190, pp.47-59, August, 2007.
OMG, Unified Modeling Language : Superstructure, version 2.1.1, 2007.
R. Lai, "A survey of communication protocol testing," Journal of Systems and Software, Vol.62, pp.21-46, 2002.
Hasan Ural, Keqin Zhu, "Optimal Length Test Sequence Generation Using Distinguishing Sequences," IEEE/ACM Transactions on Networking, Vol.1, pp.358-371, June 1993.
ISO/IEC 13210:1999(E), IEEE Std 2003, Information Technology - Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards, 1999.
Richard E. Neapolitan, Kumarss Naimipour, Foundations of Algorithms Using C++ Pseudocode 3rd Edition, Jones and Bartlett Publishers, 2004.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.