• Journal of Digital Contents Society
• /
• v.16 no.6
• /
• pp.893-900
• /
• 2015

IMO has been proceeding in the maritime SQA for software quality is considered to be essential for the development of the introduction of the e-Navigation In order to ensure software quality, follow the prescribed procedures throughout the software development project and create the output as a result of executing the respective steps. This paper is introduced a case for applying to maritime software development using the tool that is capable of real-time monitoring and automated documentation. Also, It is discussed the improvement of procedures for applying the expected effects and maritime SQA for the tool utilization. The Development of customized tools for maritime SQA that is reflected an improved procedure for tool is the future goals.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.534-536
• /
• 2000

소프트웨어의 품질은 소프트웨어의 가치를 결정하는 중요한 요인이다. 최근, 소프트웨어의 품질에 대한 중요성이 증대되고 있으며 소프트웨어 제품의 품질인증에 대한 관심이 고조 되고 있다. 이러한 시점에서 소프트웨어 품질측정 및 평가 방법론에 국제 표준에 맞추어 체계화되고, 소프트웨어 제품 평가를 효율적으로 지원할 수 있도록 도구화할 필요가 대두되고 있다. 현재 소프트웨어 제품 평가에 관련된 국제 표준으로서 프로세서에는 ISO/IEC 14598이 있으며 제품 평가를 위한 품질특성에 관한 ISO/IEC 9126-2의 외부메트릭 체계와 9126-3의 내부메트릭 체계를 평가 메트릭 구축에 적용하고 평가 절차에 따라 메트릭 측정 결과를 입력하여 결과를 가시화하여 제공할 수 있는 도구를 설계하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.219-222
• /
• 2006

임베디드 소프트웨어는 IT기술의 발달과 하드웨어의 다양한 보급 등으로 인해 널리 사용되기 시작했으며, 일반적인 소프트웨어와는 다른 방식으로 제작되며, 절대 표준이 없기 때문에 다양한 방식으로 개발되고 있다. 임베디드 소프트웨어 품질 및 생산성을 위해서는 체계적인 테스팅 방법론이 요구된다. 기존의 테스팅 방법으로는 복잡하고 높은 수준의 임베디드 소프트웨어 기능들을 테스트하는데 한계점이 많다. 본 논문에서는 기존 소프트웨어 테스팅과 임베디드 소프트웨어 테스팅의 차이점을 제시하고 효율적인 임베디드 소프트웨어 테스팅이 가능한 지원도구의 요구사항과 전형적인 방법을 탈피하여 자동화된 테스팅 방법 및 도구인 ESTE(Embedded Software Testing Environments)의 구조와 지원 기능을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1013-1016
• /
• 2000

최근 컴퓨터의 활용이 급증함에 따라 수 많은 소프트웨어가 등장하게 되었고, 이에 따라 소프트웨어의 품질을 보증하고 향상시키기 위한 기술 개발의 필요성은 국가간 경쟁력의 증대, 급격한 기술의 발전, 품질 인식의 확산 등으로 인하여 폭발적으로 증가하고 있다. 선진국에서는 이미 품질 향상을 위한 연구를 활발히 하고 있으며, 특히 소프트웨어를 개발하고 관리하는 프로세스를 효율적으로 개선하기 위한 소프트웨어 프로세스 심사 기술을 개발하여 적극적으로 활용하고 있다. 이에 따라 소프트웨어 프로세스 개선 노력을 지원해 줄 수 있는 자동화 도구에 대한 필요가 증가하게 되어, 본 논문에서는 소프트웨어 프로세스를 개선하기 위한 절차 및 개선 프로젝트를 추적, 관리하여 소프트웨어의 품질향상을 지원할 수 있는 도구를 제안하고자 한다.

• Journal of Digital Contents Society
• /
• v.14 no.3
• /
• pp.343-348
• /
• 2013

The purpose of this paper is to explore how effectively can learners improve their written skills in English language classrooms with the application of internet tools and software. First, the study compares and analyzes existing research on English writing and describes research background. Second, the study describes how internet tools can be used effectively in the English writing classrooms. For example, learners pick up vocabulary on the internet bulletin board and create sentences using the vocabulary. Third, the study analyzed changes in learners' in-class attitudes towards software and internet tools using comparative measures of performance. Unlike with offline instrumented classes, the in-class application of diverse software and internet tools such as websites and IRC (Internet Relay Chat) had a major impact on the improvement of learners' writing skills.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.662-664
• /
• 2014

소프트웨어 자산을 효과적으로 유지보수하기 위하여 자산의 어느 부분을 수정할 때 변경에 의해 영향을 받는 부분을 예측하여 필요한 경우 함께 수정하도록 하는 방법이 필요하다. 이러한 변경 영향 분석 방법을 사용하면 개발자는 소프트웨어 자산을 수정할 때 함께 수정해야 할 부분을 수동으로 찾는 노력을 줄일 수 있고, 함께 수정이 필요한 부분을 빠뜨리지 않을 수 있어서 자산 변경 시 발생할 수 있는 오류를 방지할 수 있다. 변경 영향 분석 방법을 기업의 소프트웨어 개발에 실제적으로 적용하기 위해서는 방법을 지원하는 도구가 필수적이다. 하지만 기존 상용도구들을 현업에서 사용할 때 한계가 있어 개발자의 요구사항을 반영한 새로운 변경 영향 분석 도구의 개발이 필요하였다. 본 논문에서는 이러한 도구의 요구사항을 설명하고, 이를 반영하여 개발한 새로운 지원도구를 제안한다. 제안하는 도구는 플래시 메모리 소프트웨어 도메인에 적용되어 검증되었다.

• Journal of KIISE
• /
• v.45 no.2
• /
• pp.150-156
• /
• 2018

Software visualization can assist developers to understand a software system and change its code. The recent development of bottom-up visualization tools demonstrates the advantages by revealing the code that is directly related to a software evolution task. However, the information provided by these tools is limited to the code already investigated by the developers in that task session. To broaden the scope and provide the code information that developers should explore, we propose to present the latest revision of a software system via a class diagram. When a developer clicks on a button, the proposed tool reveals the code changes committed to a configuration management system, and facilitates the understanding of code changes. We also conduct case studies illustrating the advantages of the proposed tool.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.418-420
• /
• 2004

분산 컴퓨팅 환경에 적용해야할 응용 프로그램이 점점 많은 비중을 차지하게 됨에 따라, 이를 지원하기 위한 다양한 형태의 분산 프로그래밍 도구들이 제안되어 있다. 그러나, 기존의 도구를 이용하여 분산처리 소프트웨어를 작성하기 위해서는 불산 프로그래밍 도구가 요구하는 부가적인 프로그래밍 지식을 숙지하여야 한다. 부가적인 지식 없이 분산처리를 수행하는 소프트웨어를 개발할 수 있다면, 분산처리에 대한 개발자의 부담을 줄여서, 개발하는 소프트웨어의 자체 기능에 더욱 집중할 수 있다. 본 논문에서는 새로운 형태의 객체 변환 시스템을 제안하고, 이름을 TORB(Transparent Object Request Broker)라고 명명하였다. TORB를 이용하면, 프로그래밍 투영성의 지원을 통하여, 자바로 작성하는 분산처리 소프트웨어를 분산 프로그래밍 도구와 상관없이 작성하고, TORB의 후처리 도구를 통하여 분산처리에 관여하는 자바 객체를 실제 분산처리를 수행하도록 변환한 후. TORB가 제공하는 분산처리 환경에서 수행할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.106-108
• /
• 2002

신뢰성있는 소프트웨어의 개발을 위해 테스트의 중요성은 매우 크다. 특히, 최근에 점진적이고 반복적인 소프트웨어 개발 방법론이 각광을 받으면서 소프트웨어의 잦은 변경에 따른 회귀 테스트의 중요성이 점점 커지고 있다. 이에 따라 단위 데스트의 자동화에 대한 연구가 활발히 진행되고 있다. JUnit은 자바 클래스의 단위 레벨 테스팅을 도와 주는 테스트 지원 프레임워크이다. 또한, JTestCase는 테스트 데이터와 테스트 코드를 분리함으로써, 데이터 중심 테스팅(data-driven testing)을 지원하기 위해 개발된 JUnit 확장 프레임워크이다. 본 논문에서는, 이 두 개의 테스트 프레임워크와 자바 리플렉션 API를 이용하여, 하나의 클래스 파일을 읽어 들여 XML 형태의 테스트 데이터 파일과 테스트 드라이버 코드를 자동생성하는 도구를 제안한다. 그리고, 구체적인 예를 통해 본 논문에서 제안하는 도구의 유용성을 보여준다. 본 논문의 데스트 도구는 회귀 단위 테스트에 필요한 노력을 줄여주고, 자바 클래스 단위 테스트를 지원하는 도구 개발의 기반 기술을 제공하며, 궁극적으로 소프트웨어 개발의 생산성을 향상시켜 준다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.6
• /
• pp.47-56
• /
• 2004

Automatic code generating function for security protocol of SPEAR II and IFAD VDM-SL Toolbox supporting formal specification is presented in this paper. Among the functions of these tools we compare and analyze the aspects of functions, users, operation and code generation. And we suggest direction to the developing of safe security S/W. The automatic code generating function for security protocol gives the direction for developing of the safe secure software in formal specification method.