최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국항행학회논문지 = Journal of advanced navigation technology, v.27 no.2, 2023년, pp.228 - 234
손현승 (국립목포대학교 컴퓨터공학과)
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...
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?
해당 논문의 주제분야에서 활용도가 높은 상위 5개 콘텐츠를 보여줍니다.
더보기 버튼을 클릭하시면 더 많은 관련자료를 살펴볼 수 있습니다.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
오픈액세스 학술지에 출판된 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.