[논문]모델기반 테스트 기법 및 무장통제장치 적용 사례

배정호; 장부철; 구봉주

doi:10.9766/kimst.2017.20.5.688

Abstract ▼ AI-Helper

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based...

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

주제어

질의응답

핵심어	질문	논문에서 추출한 답변
	블랙박스 테스트가 가지는 한계점은?	블랙박스 테스트는 시스템이 제공하는 출력 값만을 이용하여 정상판단을 하므로 오류의 발견가능성 (observability)의 한계가 존재한다. W-Method는 기방문한 상태를 만나면 테스트를 중단하는 특징을 가지고 있다.
	무기체계 소프트웨어 개발 및 관리 지침에 따른 무장통제장치 정적 및 동적 실험 방법은?	무장통제장치에 내장된 소프트웨어는 무기체계 소프트웨어로 방위사업청에서 발간한 “무기체계 소프트웨어 개발 및 관리 지침”에 따라 정적 시험 및 동적 시험을 실시한다. 정적시험은 코드를 실행하지 않고 코딩 규칙, 실시간 오류 등을 검출하는 시험이다. 동적시험은 실제로 소프트웨어를 실행하여 입력과 출력을 관찰하여 오류를 검출하는 시험으로, 코드의 실행률을 확인하는 화이트박스 테스트와 요구사항의 테스트 여부를 확인하는 블랙박스 테스트로 나뉜다. 화이트박스 테스트는 단위시험에 적합하며, 블랙박스 테스트는 통합 또는 시스템 테스트에 적합하다.
	무장통제장치의 역할은?	무장통제장치는 대상을 발사하기 전 상태를 점검하고 정상 발사를 위한 절차를 진행하는 역할을 수행한다. 발사 대상마다 발사 절차 및 점검 요소가 다르므로 정해진 절차에 따라 점검을 수행하며 비정상 상황이 확인되면 발사를 중지해야 한다.

참고문헌 (10)

ElFar, Ibrahim K., and James A. Whittaker, "Model-Based Software Testing," Encyclopedia of Software Engineering, 2001.
A. C. Dias Neto, R. Subramanyan, M. Vieira, and G. H. Travassos, "A Survey on Model-based Testing Approaches: a Systematic Revie," Proc. ACM Int'l. Workshop on Empirical Assessment of Sotware Eng. Languages and Technologies, pp. 31-36, 2007.
S. Kansomkeat and R. Wanchai, "Automated-Generating Test Case using UML Statechart Diagrams," In Proc. 2003 Annual Research Conf. the South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology, pp. 296-300, 2003.
C. Mingsong, X. Qiu, and X. Li, "Automatic Test Case Generation for UML Activity Diagrams," In Proc. the 2006 Int'l Workshop on Automation of Software Test, pp. 2-8, ACM, 2006.
G. Antoniol, L. C. Briand, M. D. Penta, and Y. Labiche, "A Case Study Using the Round-Trip Strategy for State-Based Class Testing," Proc. 13th Int'l. Symp. IEEE Software Reliability Eng., pp. 269-279, 2002.
L. C. Briand, M. D. Penta, and Y. Labiche, “Assessing and Improving State-based Class Testing: A Series of Experiments,” IEEE Trans. Software Eng., Vol. 30, No. 11, pp. 770-783 , 2004.

상세보기
R. Binder, "Testing Object-Oriented Systems," Addison-Wesley, 2000.
UML, [Online]. Available: http://www.omg.org/spec/UML
N. E. Holt, L. C. Briand, and R. Torkar, “Empirical Evaluations on the Cost-Effectiveness of State-based Testing: An Industrial Case Study,” Information and Software Technology, Vol. 56, No. 8, pp. 890-910, 2014.

상세보기
L. Briand, Y. Labiche, Y. Wang, "Using Simulation to Empirically Investigate Test Coverage Criteria based on Statechart," Proc. 26th International Conference on Software Eng., pp. 86-95, 2004.

이 논문을 인용한 문헌

저자의 다른 논문 :

LOADING...

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관 관리번호, 논문명, 대등논문명, 저자 , 저널/프로시딩명, 발행기관, 발행년, 발행언어, 권, 호, 시작페이지, 끝페이지, ISBN, ISSN, 주제분야, 키워드, 초록(한글), 초록(영문), 저자(소속기관)
저장형식	Text(ASCII format) Excel format RefWorks Direct Export RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley
메일정보	받는사람 (필수) @ 보내는사람 (선택) @ 제목 내용 KISTI 검색결과 이메일 서비스
안내	총 건의 자료가 검색되었습니다. 다운받으실 자료의 인덱스를 입력하세요. (1-10,000) 검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다. 데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요) 다운로드 파일은 UTF-8 형태로 저장됩니다. 파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오. ~ Text(ASCII format) Excel format

연합인증

모델기반 테스트 기법 및 무장통제장치 적용 사례
A Model-based Test Approach and Case Study for Weapon Control System 원문보기

Abstract ▼ AI-Helper

주제어

질의응답

참고문헌 (10)

이 논문을 인용한 문헌

저자의 다른 논문 :

연구과제 타임라인

관련 콘텐츠

원문 보기

원문 URL 링크

오픈액세스(OA) 유형

이 논문과 함께 이용한 콘텐츠

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

선택된 텍스트

연합인증

모델기반 테스트 기법 및 무장통제장치 적용 사례 A Model-based Test Approach and Case Study for Weapon Control System 원문보기

Abstract ▼ AI-Helper

주제어

질의응답

참고문헌 (10)

이 논문을 인용한 문헌

저자의 다른 논문 :

장부철 (2) 구봉주 (2)

연구과제 타임라인

전체(0) 논문(0) 특허(0) 보고서(0)

전체(0) 논문(0) 특허(0) 보고서(0)

관련 콘텐츠

원문 보기

원문 URL 링크

오픈액세스(OA) 유형

이 논문과 함께 이용한 콘텐츠

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

선택된 텍스트

모델기반 테스트 기법 및 무장통제장치 적용 사례
A Model-based Test Approach and Case Study for Weapon Control System 원문보기