$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

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

한국항행학회논문지 = Journal of advanced navigation technology, v.27 no.2, 2023년, pp.228 - 234  

손현승 (국립목포대학교 컴퓨터공학과)

초록
AI-Helper 아이콘AI-Helper

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

Abstract AI-Helper 아이콘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...

Keyword

표/그림 (15)

참고문헌 (16)

  1. International Electrotechnical Commission. IEC 61508:?Functional safety of electrical/electronic/programmable?electronic safety-related systems [Internet]. Available:?https://webstore.iec.ch/publication/2469 

  2. International Organization for Standardization. ISO 26262:?Road vehicles - Functional safety [Internet]. Available:?https://www.iso.org/standard/68383.html 

  3. 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 

  4. K. Czarnecki, S. Helsen, "Feature-Based Survey of Model?Transformation Approaches," IBM Systems Journal, Vol. 45?No. 3, pp. 621-664, 2006. 

  5. OMG. MOF 2.0/XMI Mapping, v2.1.1. OMG Available?Specification [Online]. Available:?https://www.omg.org/spec/XMI/2.1.1/PDF 

  6. 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. 

  7. 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. 

  8. Google Code. CREST Project Page [Internet]. Available:?http://code.google.com/p/crest 

  9. 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. 

  10. 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. 

  11. 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. 

  12. 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. 

  13. Eclipse. Eclipse Modeling Framework Project (EMF)?[Internet]. Available: http://www.eclipse.org/modeling/emf 

  14. OMG. XML Metadata Interchange (XMI) Specification,?Version 2.5.1 [Online]. Available:?https://www.omg.org/spec/XMI/2.5.1/PDF 

  15. IEEE, IEEE Standard for Software and System Test?Documentation (IEEE Std 829-2008), New York, 2008. 

  16. 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개 콘텐츠를 보여줍니다.
더보기 버튼을 클릭하시면 더 많은 관련자료를 살펴볼 수 있습니다.

관련 콘텐츠

오픈액세스(OA) 유형

GOLD

오픈액세스 학술지에 출판된 논문

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

저작권 관리 안내
섹션별 컨텐츠 바로가기

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

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로