• Annual Conference of KIPS
• /
• 2000.10b
• /
• pp.1409-1412
• /
• 2000

현재 컴퓨터가 실생활의 모든 영역에 중대한 영향을 미치고 있기 때문에, 오류가 없는 소프트웨어에 대한 관심이 증대되고 있다. 오류 없는 안전한 소프트웨어 개발의 거의 유일한 방법은 시스템 개발 초기 단계에서부터 엄격한 검증과 테스트를 행하는 것이다. 그러나, 정작 그 소프트웨어가 적절한 명세에 따라 개발되었는지의 검증과 테스트는 이루어지고 있지 않다. 따라서 본 논문은 그러한 소프트웨어의 일부분인 JavaCard의 기술명세에 따라 제대로 만들어 졌는지의 여부를 검증할 수 있는 검증 테스팅 도구에 관해 연구하고자 한다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.493-496
• /
• 2016

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Journal of Satellite, Information and Communications
• /
• v.5 no.2
• /
• pp.1-7
• /
• 2010

For many years the development and verification of on-board flight software have been essentially performed on STB (Software Test Bed) environments which consist of real hardware in KARI. During development of on-board flight software on STB, we experienced many difficulties such as the late delivery of target hardware and limitation to access STB simultaneously by multiple developers. And it takes too much time and cost to build up multiple STBs. In order to successfully resolve this kind of problems, the software-based spacecraft simulator has been developed. The simulator emulates the on-board computer, I/O modules and power controller units and it supports the debugging and test facilities to software engineers for developing flight software. Also the flight software can be loaded without any modification and can be executed as pseudo real-time. This paper presents the architecture and design of software-based spacecraft simulator, and flight software development and verification under this environment.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.1429-1432
• /
• 2012

소프트웨어 규모산정 활동은 기획, 구현, 운영 등 소프트웨어 수명주기 동안 수행되는 활동으로 프로젝트를 추진함에 있어 예산수립, 사업발주, 사업관리 등에 중요하다. 소프트웨어 규모산정으로 사용되는 기능점수를 측정할 때 개인의 주관적인 판단으로 인해 오차가 발생한다. 본 논문에서는 기능점수 측정의 오차를 줄이기 위해 4가지의 검증로직을 제시하고, 진행되는 실제 프로젝트를 통해 검증하여 제시된 검증로직이 타당함을 보인다.

• Review of KIISC
• /
• v.16 no.4
• /
• pp.59-68
• /
• 2006

본 논문에서는 소프트웨어 개발 프로세스에서 보안성을 향상시키기 위해, 소프트웨어 개발단계에서 산출되는 문서를 바탕으로 내재되어 있는 취약성을 찾기 위한 체크리스트를 제안한다. 현재 소프트웨어 생명주기내에서 보안성을 지키기 위해서는 설계단계에서의 위험분석 이 요구되며, 이를 확인하기 위한 검증단계가 필수적이다. 따라서, 본고에서는 취약성을 찾는 구체적인 방법으로 ISO/IEC 15408(Common Criteria, 이하 CC)[1]기준의 보안성 평가방법론인 CEM[2]에 기반한 취약성검색을 통해 소프트웨어 설계단계에서 산출되는 개발문서에 대해 검증해야 할 항목을 제시한다.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.88-90
• /
• 2022

For the quality management of software developed in Marine digital AtoN Information management and service system development project, an international standard-based quality process and a project management system-based communication and information sharing system were established. In addition, high-quality software development is achieved by monitoring the status of project output creation and supporting software quality inspection and verification.

• Annual Conference of KIPS
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.