• Annual Conference of KIPS
• /
• 2001.10a
• /
• pp.23-26
• /
• 2001

본 논문에서는 웹 기반의 분산 소프트웨어 개발 환경에서 원시 코드 중심의 버전뿐란 아니라 원시 코드 이전 단계의 UML 기반의 소프트웨어 개발 환경에서 발생하는 다양한 설계 객체들을 일정한 형태로 구축하여 효율적으로 관리하는 방법론을 제시하였다. 또한, 웹을 기반으로 한 분산 소프트웨어 개발 과정에서 분산 개발 팀들 간의 설계 정보를 공유한 수 있는 웹 저장소 인터페이스를 개발하였다.

• The KIPS Transactions:PartB
• /
• v.12B no.1 s.97
• /
• pp.1-8
• /
• 2005

The importance of software is getting high in development of the digital device (digital camcoder, digital camera, mp3 player, ....). And because the sire of software becomes larger and complicated, the necessity of software configuration management (to solves a software crisis) is increased. The general software configuration management system shows lack of the property and features of software development environment for image processing algorithm due to its wide range to be covered. Image processing algorithm development environment has properties like repetitive analysis and simulation using visual programming environment where, beside support of elementary development functions. component(or library) can be combined and tested interactively. Moreover, the method to look fast and effectively for component having similar function is required. In this paper, we present the system which supports the software configuration management method for a simulation tool and the property in the visual programming environment. And we relate our system to real simulation tool so as to check its ability as the software configuration management system for image processing algorithm development environment.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.1
• /
• pp.61-67
• /
• 2014

A SaaS cloud service represents a model deployed and running on a cloud platform to enable users to use software as an online service. This work proposes a development methodology adequate for the effective development of SaaS cloud services. For doing this, we first analyzed the current state of companies developing SaaS cloud services and identified key factors for the development of SaaS cloud services. Then, we selected and tailored the methodology that is best suited for the development of SaaS cloud services among existing software development methodologies. To validate the applicability of the proposed methodology, we performed a case study tailoring the development methodology adequate for the company developing SaaS cloud services.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.03a
• /
• pp.1-17
• /
• 1997

소프트웨어 시스템 개발의 수명 주기에서 유지 보수 단계에 투입되는 시간과 비용은 상당한 비율에 달한다. 그 결과, 과거에는 시스템을 개발할 때 , 프로그래밍에 중점을 두었지만 현재는 유지 보수에 중점을 두고 있는 실정이다. 따라서,효과적인 소프트웨어의 창출을 위해서는 좀더 나은 유지보수기법을 도출할 필요가 있다. 또한 소프트웨어의 중요성을 감안할 때 특히 소프트웨어에 대한 성능이 추가, 수정 , 보완을 원활하게 할 수 있는 소프트웨어 유지보수 기법의 적용이 절실하다 하겠다. 본 연구에서 측정요인(프로그램 크기, 복잡성, 구조적 개발방법론)에 따라서 어떠한 유지보수기법의 효과적인가를 실험을 통하여 도출해보았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.354-359
• /
• 2006

최근 유비쿼터스 컴퓨팅 환경의 실현 가능성이 높아지면서 동적으로 변화하는 외부 환경에서의 소프트웨어 역할이 중요해지고 있다. 유비쿼터스 환경의 소프트웨어는 다양한 센서로부터 입력되는 문맥정보를 분석하고 그 결과에 따라 적절하게 서비스를 제공할 수 있는 자기적응형(self-adaptive) 소프트웨어 형태가 되어야 한다. 이러한 특징을 가진 소프트웨어를 개발하기 위해서는 문맥정보에 대한 정적분석 활동과 문맥 변화에 상호 작용하는 동적분석 활동이 개발 전 과정에 걸쳐 체계적으로 수행되어야 한다. 본 연구에서는 외부 환경의 문맥정보에 가변적으로 반응하는 자기적응형 소프트웨어의 요구사항을 분석하고, 문맥정보 조건에 따라 재구성 가능한 컴포넌트 기반 아키텍처를 설계하기 위한 자기적응형 소프트웨어 설계 방법을 제시한다. 또한 본 연구의 방법을 적용하여 설계한 스마트 홈 시스템에 대한 사례연구를 소개한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.07a
• /
• pp.5-8
• /
• 2015

소프트웨어의 작동 중에 중대한 고장 없이 유연하게 대처할 수 있는 성질은 견고성이라 불리며 임베디드 소프트웨어에서 중요하게 여겨진다. 본 논문에서는 개발 중인 임베디드 소프트웨어의 견고성을 조기에 검증하기 위하여, 실물 시스템을 이용한 테스트가 갖는 물리적 한계를 극복할 수 있는 Software-in-the-Loop 시뮬레이션을 이용하여 개발 중인 PC에 견고성 테스팅 환경을 갖추는 방법을 제시한다. 제시한 방법은 소프트웨어의 견고성을 표현할 수 있게끔 만드는 테스트 케이스를 생성하고, 가상 시뮬레이션 환경을 구성하여 테스트 케이스를 실행함으로써 소프트웨어의 견고성을 객관적인 수치의 형태로 나타내는 방법을 보인다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.10C
• /
• pp.887-901
• /
• 2002

Software management model divided into the software project model and design estimation model, software matrices model, reliability growth model, process improvement model(or process maturity model) etc. Among these software management models, software complexity model make an estimated of the product software. For a practice of software managed, need to guideline of the static analysis of software. Especially, Software complexity model introduced for the estimation of software quantity and program complexity. In case of measurement the software matrices, its need for us to analysis of software quality and products. On the other hand, we known that complexity program include many defects and consuming of source cost. So, we apply to complexity model using of the program complexity, control structure and volume matrices, interface metrics, process complexity metrics method. In this paper, we represent that the analysis of fault data detected during the system test. Also, we analysis of program control structure and interface, volume matrices in various aspect of switching software. Others, their results utilized similar of project and system development.

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

컴포넌트 소프트웨어의 개발은 재사용성의 확보로 인하여 개발기간 단축, 개발비 감소등과 같은 효과를 가져올수 있으나, 컴포넌트를 개발한 환경과 이를 적용하는 환경과의 차이점으로 인한 위험성은 절대적으로 고려해야할 사항 중의 하나이다. 또한 컴포넌트는 실행가능한 코드의 형태로 존재한다는 점 때문에 기존의 Whitebox Testing방법을 적용하기에는 무리가 있다. 따라서 기존의 소프트웨어와 컴포넌트와의 구별되는 요소를 찾아 이제 적용 가능한 테스트 방법의 연구가 요구되어 진다. 본 논문에서는 컴포넌트의 개념과 대하여 살펴보고 기존의 테스트방법을 응용하여 컴포넌트에 적용 가능한 테스트 방법을 제안하도록 한다.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.99-104
• /
• 2001

As a plan to counteract solving software crisis, the technology that is called Component Based Software Engineering (CBSE or Componentware) is introsuced. Component Based Software Developement (CBSD) Processes as one of the technique among CBSE have been proposed. Component specification activities among CBSD Processed are necessary and important for generating feusable component. However, the existing CBSD processed can't ensure the correctness in requirements are reflected. In this paper, we propose that formal activities wgich specify component using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 5 tasks and 12 subtasks. By presenting specific 19 products, it is also proposed that component specification activities which are the base of CBSD for reusing. The proposed activities are able to improve qualities of component through correctness and verification of requirements specification of users in the early step of component-based software process.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.605-608
• /
• 2004

내장형 시스템(embedded system)의 발전에 따라, 더욱 복잡하고 높은 신뢰성을 가지는 내장형 응용프로그램의 개발 필요성이 요구된다. 내장형 소프트웨어의 성능 평가 및 분석 도구는 내장형 소프트웨어 개발 속도와 신뢰성을 높이기 위한 유용한 도구이다. 개발자나 사용자는 성능 평가 결과와 로그 정보를 직관적으로 판단하기 위해 GUI 형태의 결과보고 도구(result report tool)나 뷰어(viewer)를 이용할 수 있다. 그러나 보통의 성능 평가 및 분석 도구가 이용하는 로그 데이터는 텍스트 기반의 저수준 정보이므로, 개발자의 다양한 요구에 맞는 분석 결과보고 도구 나 뷰어를 생성하기 위해서는 로그 정보에 대해 많은 분석 시간과 노력을 기울여야 한다. 본 논문은 내장형 시스템 개발자가 쉽고 편리하게 원하는 GUI 형태의 결과 분석도구를 생성할 수 있도록 하기 위한 프로파일 로그 분석 방법을 제안한다. 제안하는 로그 분석 방법은 저수준의 성능 평가 로그를 분석하여 자료구조화 하는 모듈과 이것을 GUI 형태로 쉽게 변경할 수 있는 API 수준의 함수를 제공한다. 제안하는 로그 분석 방법에 의한 API를 통해 개발자나 사용자는 자신의 취향에 맞는 GUI 형태의 결과 분석 도구를 쉽고 빨르게 생성하여 내장형 소프트웨어 개발의 효율성을 높일 수 있다.