[논문]메타모델 기반 요구사항 명세 기법인 의사 결정표를 통한 자동 테스트 케이스 생성 메커니즘

손현승

doi:10.12673/jant.2023.27.2.228

초록
AI-Helper

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

Abstract ▼ AI-Helper

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very diff...

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

Keyword

표/그림 (15)

그림 그림 1. 테스트 케이스 생성을 위한 모델 변환 절차 Fig. 1. The process of model transformation for test case generation
그림 그림 2. 의사 결정표의 메타모델 설계 Fig. 2. The metamodel design of decision table
그림 그림 3. 의사 결정표 모델의 입력 결과 Fig. 3. The input result of decision table model
표 표 1. 의사 결정표의 예 Table 1. The example of decision table
그림 그림 4. 테스트 케이스의 메타모델 설계 Fig 4. The metamodel design of test case
그림 그림 5. 테스트 케이스 모델의 입력 결과 Fig. 5. The input result of test case model
그림 그림 6. 의사 결정표와 조건문의 관계 Fig. 6. The relationship between decision table and condition expression
그림 그림 7. 조건식에 따른 진리표를 자동 생성 알고리즘 Fig. 7. Automatic generation algorithm for truth tables based on conditional expressions
표 표 2. 테스트 케이스의 예 Table 2. The example of test case
그림 그림 8. 자동 생성된 테스트 케이스 결과 Fig. 8. Test results of automatic generated test cases
그림 그림 9. 조건 생성을 위한 축 방향 공기역학 힘 계수 수식 Fig. 9. Axial aerodynamic force factor formula for conditions generation
표 표 4. 미사일 시스템의 Cone 축력계수 계산수행 의사 결정표 Table 4. The decision table for performing Cone axial force factor calculations for missile systems
표 표 3. DPS 미사일 시스템 요구사항 예제 Table 3. The requirement example of DPS missile system
그림 그림 10. 테스트 케이스 생성을 위한 의사 결정표 도구 입력화면 Fig. 10. Decision table input screen for test case generation
그림 그림 11. 의사 결정표 입력으로 자동 생성된 테스트 케이스 결과 Fig. 11. Automated test case generation results from the

참고문헌 (16)

International Electrotechnical Commission. IEC 61508:？Functional safety of electrical/electronic/programmable？electronic safety-related systems [Internet]. Available:？https://webstore.iec.ch/publication/2469
International Organization for Standardization. ISO 26262:？Road vehicles - Functional safety [Internet]. Available:？https://www.iso.org/standard/68383.html
Defense Acquisition Program Administration. Practical？Guidelines for the Development and Management of Weapon？System Software [Internet]. Available:？https://www.korea.kr/archive/expDocView.do?docId35418
K. Czarnecki, S. Helsen, "Feature-Based Survey of Model？Transformation Approaches," IBM Systems Journal, Vol. 45？No. 3, pp. 621-664, 2006.

상세보기
OMG. MOF 2.0/XMI Mapping, v2.1.1. OMG Available？Specification [Online]. Available:？https://www.omg.org/spec/XMI/2.1.1/PDF
J. J. Chilenski, and S. P. Miller, "Applicability of modified？condition/decision coverage to software testing," Software？Engineering Journal, Vol. 9, No. 5, pp. 193-200, 1994.
T. Chen, X. S. Zhang, S. Z. Guo, H. Y. Li, and Y. Wu,？"State of the art: Dynamic symbolic execution for automated？test generation," Future Generation Computer Systems, Vol.？29, No. 7, pp. 1758-1773, 2013.

상세보기
Google Code. CREST Project Page [Internet]. Available:？http://code.google.com/p/crest
C. Cadar, D. Dunbar, and D. Engler, "Klee: unassisted and？automatic generation of high-coverage tests for complex？systems programs," In OSDI, Vol. 8, pp. 209-224, Dec. 2008.
D. H. Kim, R. Y. C. Kim, "A Study on Automatic Test Case？Extraction Mechanism from UML State Diagrams Based on？M2M Transformation," The Journal of the Institute of？Internet, Broadcasting and Communication, Vol. 13, No. 1,？pp. 129-134, 2013.
S. Woo, H. S. Son, and R. Y. C. Kim, "A study on？extending message-sequence diagram for mapping？cause-effect diagram," In Proceedings of the Korea？Information Processing Society Conference, pp. 1251-1254,？2012.
J. P. Galeotti, G. Fraser, and A. Arcuri, "Improving？search-based test suite generation with dynamic symbolic？execution," In 2013 IEEE 24th international symposium on？software reliability engineering (ISSRE), pp. 360-369. Nov.？2013.
Eclipse. Eclipse Modeling Framework Project (EMF)？[Internet]. Available: http://www.eclipse.org/modeling/emf
OMG. XML Metadata Interchange (XMI) Specification,？Version 2.5.1 [Online]. Available:？https://www.omg.org/spec/XMI/2.5.1/PDF
IEEE, IEEE Standard for Software and System Test？Documentation (IEEE Std 829-2008), New York, 2008.
GOV.UK. Guidance for Completing DPS for a Missile？System [Internet]. Available:？https://www.gov.uk/government/uploads/system/uploads/attachment_data/file/437322/DPS_principles_guidance.PDF？

이 논문을 인용한 문헌

활용도 분석정보

상세보기

다운로드

내보내기

활용도 Top5 논문

해당 논문의 주제분야에서 활용도가 높은 상위 5개 콘텐츠를 보여줍니다.
더보기 버튼을 클릭하시면 더 많은 관련자료를 살펴볼 수 있습니다.

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관 관리번호, 논문명, 대등논문명, 저자 , 저널/프로시딩명, 발행기관, 발행년, 발행언어, 권, 호, 시작페이지, 끝페이지, 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

연합인증

[국내논문] 메타모델 기반 요구사항 명세 기법인 의사 결정표를 통한 자동 테스트 케이스 생성 메커니즘
Automatic Test case Generation Mechanism from the Decision Table of Requirement Specification Techniques based on Metamodel 원문보기

초록
AI-Helper

Abstract ▼ AI-Helper

Keyword

표/그림 (15)

표/그림 (15)

참고문헌 (16)

이 논문을 인용한 문헌

활용도 분석정보

활용도 Top5 논문

관련 콘텐츠

원문 보기

원문 URL 링크

오픈액세스(OA) 유형

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

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

선택된 텍스트

연합인증

[국내논문] 메타모델 기반 요구사항 명세 기법인 의사 결정표를 통한 자동 테스트 케이스 생성 메커니즘 Automatic Test case Generation Mechanism from the Decision Table of Requirement Specification Techniques based on Metamodel 원문보기

초록 용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

Abstract ▼ AI-Helper

Keyword

표/그림 (15) 모든 표/그림 보기

표/그림 (15) 슬라이드로 보기

참고문헌 (16)

이 논문을 인용한 문헌

활용도 분석정보

활용도 Top5 논문 더보기

관련 콘텐츠

원문 보기

원문 URL 링크

오픈액세스(OA) 유형

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

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

선택된 텍스트

[국내논문] 메타모델 기반 요구사항 명세 기법인 의사 결정표를 통한 자동 테스트 케이스 생성 메커니즘
Automatic Test case Generation Mechanism from the Decision Table of Requirement Specification Techniques based on Metamodel 원문보기

초록
AI-Helper

표/그림 (15)

표/그림 (15)

활용도 Top5 논문