Earticle

본 연구는 8단계 소프트웨어 프로세스 모델을 제시하고 그 중 중요한 역할을 수행하는 SCM 프로세스를 소개한다. 끝으로 소프트웨어 프로세스개선 모델인 CMM, SPICE, IS0/IEC 12207, ISO 9000-3을 소개한다.

소프트웨어의 디버깅에 오류 발생의 시간을 기반으로 하는 많은 소프트웨어 신뢰성 모델이 제안되어 왔다. 무한고 장 모형과 비동질적인 포아송 과정에 의존한 소프트웨어 신뢰성 모형을 이용하면 모수 추정이 가능하다. 소프트웨어를 시장에 인도하는 결정을 내리기 위해서는 조건부 고장률이 중요한 변수가 된다. 유한 고장 모형은 실제 상황에서 다양 한 분야에 사용된다. 특성화 문제, 특이점의 감지, 선형 추정, 시스템의 안정성 연구, 수명을 테스트, 생존 분석, 데이터 압축 및 기타 여러 분야에서의 사용이 점점 많아지고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 고장의 예측을 모니 터링 함으로써 소프트웨어 신뢰성의 향상에 크게 기여 할 수 있다. 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 공정 관리에 사용되는 도구이다. 본 논문에서 NHPP에 근원을 둔 로그 포아송 실행시간 모형, 로그선형 모형 그리고 파 레토 모형의 평균값 함수를 이용한 통계적 공정관리 차트를 이용한 제어 메커니즘을 제안하였다.

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do asymptotic likelihood inference for software reliability models based on infinite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The finite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outliers, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical Process Control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, we proposed a control mechanism based on NHPP using mean value function of log Poission, log-linear and Parto distribution.

소프트웨어의 디버깅 오류의 발생 시간에 의존하는 많은 소프트웨어 신뢰성 모델이 연구되었다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 영향요인과 사전 경험에 의하여 세밀하 게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 본 연구에서는 학습효과 비동질적인 유한고장모형 분석을 위한 모수 추정은 우도함수를 이용하였다. 소프트웨어 시장 에 인도하기 위한 결정에 대하여 조건부 고장률은 중요한 변수가 되고 이러한 고장 모델은 실제 상황에서 많이 사용 되고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 오류의 예측을 모니터링 함으로써 소프트웨어의 신뢰성 향상에 크 게 기여할 수 있다. 이러한 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 프로세스 제어를 위해 사용된다. 본 연구에서는 로그 위험 학습 효과 속성의 비동질적인 포아송 과정의 평균값 기능을 사용한 컨트롤 메커니즘을 제안 하였다.

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. It is shown that it is possible to do asymptotic likelihood inference for software reliability models based on infinite failure model and non-homogeneous Poisson Processes (NHPP). Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, we proposed a control mechanism based on NHPP using mean value function of logarithmic hazard learning effects property.

소프트웨어 프로젝트를 개발하는 방법론에는 20여 가지의 개발 프로세스 모델들이 존재한다. 그러나 모든 소프트웨어의 특성을 만족시킬 수 있는 일반화된 하나의 모델이 없는 실정으로 개발조직은 여러 모델들을 적절히 혼합하여 개발될 시스템과 개발팀의 능력에 맞도록 새로운 모델을 개발하여야만 한다. 본 논문에서는 다양한 소프트웨어 개발 상황에 보다 적합할 것으로 판단되는 동시개발 프로세스 모델을 제안한다. 먼저, 개발 요구사항 목록들이 작성되면, 요구사항을 중요도에 따라 20:80 비율로 분할하고, 중요한 20% 요구사항의 요구사항 분석과 아키텍쳐 설계가 완료될 때까지는 순차적으로 수행한다. 20%의 중요 요구사항에 대해 상세설계를 시작하는 시점에서 나머지 80%의 요구사항에 대한 요구사항 분석단계를 동시에 수행하는 개념이다. 동시개발은 타임박스(Timebox) 개념으로 수행되며, 이때 적용되는 순차적, 반복적 & 점진적 또는 Agile 방법들에 따라 각 타임박스에서 개발되는 요구사항의 분할 비율은 차이가 발생한다. 순차적, 반복적 & 점진적 또는 Agile 방법론을 동시개발 개념을 적용한 결과 단일화된 프로세스 모델로 표현할 수 있었다. 제안된 모델은 개발 단계들을 팀 단위로 수행할 경우 개발자원 활용의 비효율성을 크게 줄일 수 있다. 또한, 동시개발 개념을 적용하여 단계들이 중첩되어 수행되므로 개발기간도 크게 단축시키는 장점이 있다. 따라서 제안된 모델은 보다 빠른 시간에 보다 저렴한 비용으로 보다 좋은 품질의 소프트웨어를 개발하여 고객에게 납품할 수 있어 고객을 만족도를 향상시킬 수 있으며, 더불어 소프트웨어 개발 성공률을 높이는데도 기여할 것으로 판단된다.

Though a dozen of different software life cycle models are suggested, there is no universal model which can satisfy all the characteristics of software. Organizations mix and match different life cycle models to develop a model more tailored for their systems and capabilities. We suggest overlapped-concurrent development life cycle model that is more suitable in various software development environment. Firstly, we divided the development process into abstract and implementation stage. Abstract stage is from software concept phase to detailed design starting time, and implementation stage is from detailed design phase to system testing phase. Next, the abstract stage introduced the overlapped phase concept that begins the next phase when the step is completed 20% by applying pareto's law. In the implementation stage, we introduced the concurrent development which the several phases are performed some time as when one use-case (UC) is completed the next development phase is started immediately. The proposed model has an advantage that it can reduce the inefficiency of development resource greatly. This model can increase the customer satisfaction with a great product at a low cost and on a short schedule. Also, this model can contribute to increase the software development success rate.

This paper presents three-step process for validating the software process assessment model and report the result of each step to check the validity of MND-ESPAM. MND-ESPAM is the software process assessment model invented for evaluating the software process capability of Korean military software organizations, but it is not sufficiently validated so that it cannot be decided to spread it into the military software industry. The three-step process suggested in this paper is composed of 1) the investigation of the state of the Korean military software companies via a questionnaire survey, 2) the software process assessment via a questionnaire survey based on MND-ESPAM, and 3) the experimental software process assessment by the CMMI appraisal team with MND-ESPAM. After the validation, we suggest important improvements of the MND-ESPAM assessment model.

A software development process describes a structured set of activities or tasks that must performed by software stakeholders during the different phases of software manufacturing. These activities can be divided also into smaller portions at time called increments that are produced in a progressive way. Thereby, every change occurring in one increment performs a new iteration and affects absolutely the other increments that depend on it. These changes may cause a waste in modeling time or re-coding programs and make iterations more complex. The aim of this work is to reduce this complexity and economize the modeling time by applying a model-driven approach to automate the generation of some important increments. Therefore, the proposal presents an approach to semi-automate the generation through a model transformation of one among of the most important increment of the design phase, the sequence diagram of system’s internal behavior using the sequence diagram of system’s external behavior. For this and to trace correctly the interactions in the SDSIB we propose a semantic based on the LARMAN operation contract that integrates new details to better describe system’s states and propose an improved and formal syntax to determine operations and their concerned source and responsible objects.

The problem surrounding methods of implementing the software testing process has come under the spotlight in recent times. However, as compliance with the software testing process does not necessarily bring with it immediate economic benefits, IT companies need to pursue more aggressive efforts to improve the process, and the software industry needs to makes every effort to improve the software testing process by evaluating the Test Maturity Model integration (TMMi). Furthermore, as the software test process is only at the initial level, high-quality software cannot be guaranteed. This paper applies TMMi model to Automobile control software testing process, including test policy and strategy, test planning, test monitoring and control, test design and execution, and test environment goal. The results suggest improvement of the automobile control software testing process based on Test maturity model. As a result, this study suggest IT organization's test process improve method.

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구 하였다. 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성이 있는 경우 무한고장수를 가진 비동질적인 포아송 과정에 기초하였다. 수명강도는 다양한 형상모수와 척도모수에 이용 할 수 있기 때문에 신뢰성 분야에서 많이 사용되는 어랑 강도분포를 이용한 방출시기에 관한 문제를 제시하였다. 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하였으며 모수추정 방법은 최우추정법을 이용하여 추세분석으로 자료의 효율성을 입증한 후 최적 방출시기를 추정하였다.

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. When correcting or modifying the software, because of the possibility of introducing new faults when correcting or modifying the software, infinite failure non-homogeneous Poisson process models presented and propose release policies of the life distribution applied Erlang distribution model which used to an area of reliability because of various shape and scale parameter. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, after trend test applied and estimated the parameters using maximum likelihood estimation of inter-failure time data, make out estimating software optimal release time.

소프트웨어 위기의 근본적인 문제점이 소프트웨어 프로세스의 관리 부재라는 것을 인식하게 됨에 따라 이를 해결하기 위해 조직의 현재 소프트웨어 프로세스 상태를 파악하고, 해당 프로세스가 원하는 목표에 도달할 수 있도록 성과측정모델을 제시함으로써 지속적인 개선 활동을 수행하는데 있어 체계적인 프로세스 관리를 하고자 한다. 본 논문에서는 CMM 을 기반으로 한 소프트웨어 프로세스 개선활동이 제공하는 효과를 달성하기 위한 측정모델을 제시하며 이에 소프트웨어 프로세스 개선 활동이 실제 업무 프로세스에 있어 얼마나 효율적인 결과 및 해당 조직의 성숙도에 미치는 영향을 심층적으로 연구를 함으로써 새로운 프로세스 개선방안을 도출하고자 한다.

소프트웨어 개발 프로세스의 평가를 통해 소프트웨어 프로덕트의 품질을 높이려는 다양한 시도들이 행해지고 있다. 소프트웨어 테스트 프로세스는 소프트웨어 개발 프로세스 중에서도 소프트웨어 프로덕트 품질 향상에 직접적인 영향을 끼치므로, 이에 대한 체계적인 개선이 필요하다. 본 논문에서는 프로세스의 품질과 프로덕프의 품질을 동시에 고려하는 소프트웨어 테스팅 모델인 SETP(Simple and Effective Test Process)모델을 제안한다.

The optimal structure of the conventional Fuzzy Polynomial Neural Networks (FPNN)[3] depends on experience of designer. For the conventional Fuzzy Polynomial Neural Networks, input variable number, number of input variable, number of Membership Functions(MFs) and consequence structures are selected through the experience of a model designer iteratively. In this paper, we propose the new design methodology to find the optimal structure of Fuzzy Polymomial Neural Network by using Genetic Algorithms(GAs)[4, 5]. In the sequel, It is shown that the proposed Advanced Genetic Algorithms based Fuzzy Polynomial Neural Network(Advanced GAs-based FPNN) is more useful and effective than the existing models for nonlinear process. We used Medical Imaging System(MIS)[6] data to evaluate the performance of the proposed model.

소프트웨어가 대형화되고 기능이 복잡해짐에 따라 개발절차를 따르지 않으면 성공하기 어렵다. 개발과정의 종합적인 체계를 제시하는 소프트웨어 프로세스는 성숙되고 능력 있는 개발 조직이 일반적으로 수행하는 개발 활동과 절차라 할 수 있는데, 전반적 개발과정의 관리에 관련되어있다. 하지만 복잡하고 일반 개발자에는 생소한 개념이 많아 이를 도입하여 적용하는데 많은 어려움이 있다. 또한 프로세스에 대한 표준이나 성숙도 측정 모델 등 다양한 프레임워크가 제시되고 있으나, 이들 간의 관계를 이해하지 못하고는 제대로 사용하기가 어렵다. 본 연구에서는 개발 프로세스의 도입 및 개선 시 높은 효과를 얻기 위해, 온톨로지를 사용하여 소프트웨어 프로세스에 관련 프레임워크들의 복잡한 개념을 표현하고 이들 간을 연관시킨 모델을 제시한다.

As the size of software becomes larger and the features of it become complex. it is really hard to successfully complete the project without following development guidelines. Software process is the best practices and procedures that organizations of high maturity and capability of software development carry out in common, and it is a set of progressive ideas of management. However, complicated and unfamiliar concepts can interrupt the introduction and improvement of software process of the organizations. Even though many kinds of frameworks such as standard of process and maturity measurement models are introduced, it is still difficult to follow software process without fully understanding their relations. The purpose of this study is to support successful internalization of organizations that introduce and use software process. It also suggests the design of standard ontology, standard relationship domain ontology, and the lifestyle of software process and the relations between them.

본 논문은 무기체계 임베디드 소프트웨어 프로세스 평가모델(이하 'MND-EAPAM')의 국방사업 특성화 방안을 제시한다. 2008년, 무기체계 임베디드 소프트웨어 프로세스 평가의 기준이 되는 무기체계 임베디드 소프트웨어 프로세스 평가모델을 개발하였지만, 국방분야에 대한 특성 반영이 미흡하였다. 이에 따라 국내 방위산업체의 소프트웨어 프로세스 관리 실태를 조사 분석하고, CMMI 인증을 획득한 방위산업체에 MND-ESPAM을 시범적용하여, MND-ESPAM의 문제점을 도출 및 분석하였다. 도출된 문제점을 개선하기 위하여, MND-EAPAM과 방위사업청 소프트웨어 개발프로세스 지침 간 연계가 가능하고, 국방시험성숙도모델(MND-TMM)의 체계적 반영으로 시험활동을 강화하며, 유사 프로세스 영역을 식별, 통합하는 MND-ESPAM의 개선안을 제시한다. 개선안은 CMMI와의 커버리지 검증, ISO/IEC 14598-3의 요구사항에 의한 시험활동 평가, 방위산업체 시범적용을 통하여 검증을 실시하였다.

In this paper, we propose the enhanced Assessment Model of the Embedded Software Process(MND-ESPAM) which is suitable for the development work of weapons in Korea. In 2008. We developed the MND-ESPAM which is the assessment criteria of software process, but this model is inefficient to apply to Korean military area. Therefore, we elicit and analyze the problems of MND-ESPAM through tow methods. One is to research on the actual condition of the domestic defense industry about software process management. And the other is to apply MND-ESPAM to the defense companies acquiring CMMI level. In order to overcome these problems elicited above, we provide solutions to make MND-ESPAM linked with Software Development Process Guide of Defense Acquisition Program Administration(DAPA) and to systematically strengthen testing activities and to reduce the number of process areas. The proposed model was proved by two objective methods such as checking the coverage with CMMI and whether it is satisfied or not by modified requirements ISO/IEC 14598-3. At last, experts in the field of software process confirmed the effect of MND-ESPAM through applying MND-ESPAM to the defense industry company.

소프트웨어 프로세스는 소프트웨어와 이에 관련된 산출물을 개발, 유지하기 위해 사용하는 활동, 방법, 절차의 집합이라고 할 수 있다. 프로세스를 기반으로 작업하는 조직은 필요한 프로세스들을 파악하고, 각 프로세스들을 구현하기 위해, 담당자를 할당하고, 수행 활동을 정의한 후, 이를 기반으로 작업을 수행한다. 이 때 보다 효과적으로 작업하기 위해 적절한 도구들을 활용하기도 한다. 소프트웨어 개발에서 도구의 활용은 이미 그 효과가 검증되었고, 많은 상업용 제품들이 개발되어 현장에서 사용되고 있다. 이러한 도구들 중에는 독자적으로 하나의 프로세스를 지원하는 독립형(Standard Alone) 도구들과 여러 프로세스를 지원하는 통합형 도구들이 있다. 통합형 도구들은 여러 프로세스를 연결하고 통합 관리하기 때문에 효과가 크지만, 주로 가격이 비싼 상업용 제품들이고, 대규모 프로젝트에 적합한 복잡한 기능이 많아 소규모 조직이 채택하기에는 어려운 경향이 있다. 독립형 도구들은 통합형 도구보다 상대적으로 기능이 복잡하지 않고, 공개 소프트웨어로도 제공되고 있기 때문에 소규모 조직들도 사용해 왔지만 통합형 도구와 같은 효과를 내기는 쉽지 않았다. 본 논문에서는 이클립스 플랫폼 기반에 독립형으로 존재하는 플러그인들을 통합하여, 여러 프로세스를 지원하는 이클립스 플러그인 모델을 개발하고, 그 효과를 살펴보았다.

최근 국내 소프트웨어 개발 분야에서도 개발 프로세스의 중요성이 강조되면서 그 활용도가 높아지고 있다. 하지만 기존의 개발 프로세스 모델들은 일부 대형 개발 업체나 높은 기술 수준을 보유한 개발 업체를 제외하고는 실질적으로 적용시키기에 적합하지 않다. 따라서 본 논문에서는 국내 소프트웨어 개발 업체 실정에 맞춘 효율적인 개발 방법을 제시하기 위한 개발 프로세스 모델을 제시한다. 본 프로세스 모델은 정확한 요구사항 도출을 위한 프로토타이핑 접근 방법과 구현 단계에서의 점진적 개발 방법에 중점을 둔다.

In this paper, we discuss optimal design of Fuzzy Polynomial Neural Networks by means of Genetic Algorithms(GAs). Proceeding the layer, this model creates the optimal network architecture through the selection and the elimination of nodes by itself. So, there is characteristic of flexibility. We use a triangle and a Gaussian-like membership function in premise part of rules and design the consequent structure by constant and regression polynomial (linear, quadratic and modified quadratic) function between input and output variables. GAs is applied to improve the performance with optimal input variables and number of input variables and order. To evaluate the performance of the GAs-based FPNNs, the models are experimented with the use of Medical Imaging System(MIS) data.

컴포넌트라는 소프트웨어 개발 기술에 대해서 중요성이 점점 높아만 가고 있는 가운데, 이 컴포넌트 기술를 이용하여 효율적이고, 실용적으로 소프트웨어를 개발 할 수 있도록 컴포넌트 기반의 소프트웨어 개발 방법에 대하여 연구 제시한다. 즉, 컴포넌트가 가지고 있는 구성요소로서 인터페이스라는 것이 있는데 이 인터페이스와 컴포넌트를 이용해서 만들고자 하는 시스템에 대한 요구사항에 맞게 분석 및 설계를 하고, 만들고자 하는 시스템과 컴포넌트의 투명성을 보여 줄 수 있는 방법에 대해서 Work Flow Model과 각각의 프로세스에 의해서 만들어지는 산출물을 통해서 컴포넌트 기반의 소프트웨어 개발 프로세스에 대해서 제시를 한다.

본 논문에서는 자동차 소프트웨어의 품질을 높이기 위한 방안으로 자동차 소프트웨어를 개발하는데 적용할 수 있는 모델 기반 개발 프로세스를 제안한다. 기존에 널리 사용되고 있는 자동차 소프트웨어 개발 프로세스 모델을 바탕으로 모델 기반 개발 방법을 적용하여 소프트웨어를 개발할 수 있도록 프로세스를 설계하고, 설계한 프로세스에 따라 소프트웨어를 개발하는 과정을 구체적인 사례를 통해 보여준다. 소프트웨어 개발을 위한 모델은 UML과 같은 표준 모델링 언어를 사용하여 작성하도록 하였다.

In this paper, we propose a model-based development process that can be applied to develop automotive software as a way to improve the quality of automotive software. Based on the existing widely used automotive software development process model, the process is designed to develop software by applying a model-based development method, and the process of developing software according to the designed process is shown through concrete examples. The model for software development was created using a standard modeling language such as UML.

고객이 요구한 제품은 테스트에 따라 그의 품질을 보장할 수 있기 때문에 테스트에 대한 관심과 중요성이 커지고 있는 만큼 테스트에 소요되는 비용 또한 실제 개발에 소요되는 비용에서 큰 비중을 차지하고 있고 그 중요성 또한 강조되고 있다. 하지만 실제 국내의 소프트웨어 개발 현실을 살펴 보면 제품의 개발 기한을 보장하기 위해서 테스트를 간과 함으로써 예상치 못하게 고객이 요구하는 제품의 품질을 만족시키지 못하고 있다. 또한 이러한 테스트 활동을 통한 품질 보장 활동의 필요성을 인정하지만 현재 개발 프로세스의 문제점 파악 혹은 개선 방향에 대해서 모호한 비전을 가지고 활동하기 때문에 성과가 미비하기도 하다. 본 논문에서는 국방 소프트웨어의 소프트웨어 개발 활동 내에서의 테스트 활동 및 제품의 품질에 대한 문제점을 지적하고 Cost of Quality (CoQ) 모델을 통해서 문제점을 분석함으로써 고 품질의 제품을 개발하기 위한 테스트 프로세스 개선에 대한 동기 부여 및 개선 방안을 제시하고자 한다.

우리가 제안한 BPF는 각 계층을 관리하기가 용이하다. BPF 내 레어어 구조는 인접한 상 하위에 대한 정보를 갖는다. 효율적인 소프트웨어 컴포넌트 재사용을 위해 컴포넌트, 서비스, 비즈니스 프로세스 모델 레이어를 매핑한다. 레이어간 접목은 새로운 비즈니스 변경에 따른 응용프로그램의 개발과 시스템의 유지 보수가 용이하다. 기본적인 클로즈 구조를 통해 각 레이어를 보다 효율적으로 관리한다.