• 사물인터넷융복합논문지
• /
• 제6권2호
• /
• pp.87-92
• /
• 2020

우리가 생활하고 있는 주변 환경들은 정보통신 기술(ICT)의 영향으로 인하여 시시각각 변화하고 있다. 이러한 변화의 중심에는 산업분야뿐만 아니라 대부분의 생활 영역에서 나타나고 있다. 정보통신 기술의 중심에는 소프트웨어를 비롯한 지능화, 센싱 기술 등이 있다. 정부 및 관련기관에서는 다양한 소프트웨어 육성을 위한 정책들을 추진하고 있으며, 이러한 정책으로 꾸준히 소프트웨어 관련 산업은 발전하고 있다. 소프트웨어 육성과 관련한 긍정적인 면이 존재하지만 또한 부정적인 내용도 나타나고 있다. 소프트웨어 개발에 따른 복제 문제, 진척도 문제등이 소프트웨어 산업이 양적으로 증가하면서 이들 문제들도 증가하는 모습을 보인다. 본 연구에서는 소프트웨어 개발 과정에서 나타나는 개발 진척도와 관련한 문제가 발생할 경우 문제 해결 방안으로서 소프트웨어 공학을 기반으로 한 좀 더 객관성을 지닌 방안을 제시하였다.

• 전기전자학회논문지
• /
• 제19권3호
• /
• pp.431-439
• /
• 2015

최근 무기체계에서 소프트웨어가 담당하는 기능이 많아지고, 복잡해지면서 소프트웨어의 품질의 중요성에 대해서 대두가 되고 있다. 소프트웨어의 품질요소는 기능성, 사용성, 유지보수성, 신뢰성이 있으며, 이중 최근 들어 중요시되는 항목이 신뢰성 분야이다. 신뢰성 시험은 분석을 통한 정적 시험과 수행을 통한 동적 시험방법이 있으며, 실수행을 통해 검증하는 동적시험은 정적시험에 비해 많은 기간이 필요하며 복잡성이 높아질 경우 더욱 증가되는 경향을 보인다. 본 논문에서는 다기능 레이더 소프트웨어 개발시 수행한 신뢰성시험 절차 및 결과를 기술하고 이를 통해 효과적으로 시험기간을 줄일 수 있는 신뢰성시험 방법을 제안한다.

• 디지털산업정보학회논문지
• /
• 제9권2호
• /
• pp.1-10
• /
• 2013

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. In the course of correcting or modifying the software, finite failure non-homogeneous Poisson process model, presented and was proposed release policies of the life distribution, half-logistic and log-logistic distributions 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, the parameter estimation using maximum likelihood estimation of failure time data make out, and software optimal release time was estimated.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.615-621
• /
• 1999

On the aspect of on-time and development resource use, it is very important to predict the software release time during the software development process. In this paper, we present the optimal release problem based on the evaluation indicator and cost evaluation. And also we show the optimal release point considered with both of them. We applied the Exponential Software Reliability Growth Model(E-SRGM) and Testing-effort dependent Software Reliability Growth Model(Te-SRGM) and decided the software release time according to software reliability indicator. As a result of two models comparison, we verify the Te-SRGM is more adopted in our switching system software.

• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.57-66
• /
• 2007

소프트웨어 산업의 발전에 따라 소프트웨어 개발조직에서는 소프트웨어 품질이 중요한 이슈로 부각되었다. 특히 여러 종류의 테스트 성숙도 모델을 통해 조직의 소프트웨어 테스트 성숙도 향상에 대해 다양한 방면으로 시도하고 있다. 하지만 현재 테스트 성숙도를 측정할 수 있는 모델들은 기존의 개발 성숙도 측정 모델을 기반으로 개발하여 테스트 부분에 대한 언급이 부족하고 단지 테스트 성숙도 레벨만을 측정하였다. 이러한 문제점을 해결하기 위해 소프트웨어 개발프로세스와 한께 테스트 프로세스를 수행할 수 있도록 이중 V모델과 테스트 성숙도의 용이한 평가를 위한 테스트 평가 속성과 레벨을 정의한 테스트 속성과 상호관련 매트릭스를 제안하였다. 테스트 프로세스 개선(Test Process Improvement: TPI)의 개선제안(Improvement Suggestion) 방법을 통해 테스트 성숙도 모델 확장하고, 측정된 성숙도를 향상시킬 수 있는 개선방향을 제시한다. 또한, 본 연구에서 제안하는 테스트 성숙도 상호관련 매트릭스는 테스트 성숙도를 정량적으로 평가하기 위해 사용하였다. 결과적으로는 확장된 테스트 성숙도 모델을 통해 조직의 테스트 성숙도를 높이는데 기여 할 수 있으리라 생각한다.

• 인터넷정보학회논문지
• /
• 제17권2호
• /
• pp.39-47
• /
• 2016

일반적으로 소프트웨어 R&D 프로젝트에서는 프로그램 코드와 문서 산출물이 생성된다. 이러한 소프트웨어 R&D 산출물들은 두가지로 분류할 수 있다. 첫 번째 분류는 연차 실적 계획서, 연구개발과제계획서, 연구성과보고서, 연구 노트와 같은 소프트웨어 연구 산출물들이 포함된다. 그리고 다른 분류는 소프트웨어 요구사항 명세서, 소프트웨어 설계 명세서, 소프트웨어 테스트 계획서, 프로그램 코드와 같은 소프트웨어 개발 산출물들이다. 프로젝트의 진행 방향을 확인할 때 프로그램 코드를 테스트하고 문서 산출물을 검증하는 것이 중요하다. 또한 연구 문서와 개발 산출물 사이에 완전성, 일관성 등의 관계를 확인해야 한다. 그러한 검증과 테스트는 프로젝트 관리자와 연구자들이 프로젝트를 진행하는 동안 올바르게 진행하고 있다는 확신을 준다. 그러므로 본 연구에서는 소프트웨어 R&D에서 생성되는 문서와 프로그램을 검증하는 프로세스를 제안한다. 본 프로세스는 문서 산출물을 검토하고 프로그램 코드를 테스트하는 활동으로 구성되어 있으며, Essence를 사용하여 정의된다. 그리고 본 연구에서 제안하는 프로세스의 효율성을 사례 연구를 통해 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제16권9호
• /
• pp.35-43
• /
• 2011

하나의 소프트웨어를 개발하기 위해서는 개발조직의 생산성, 투입되는 노력, 개발일정, 소프트웨어 규모 간에 관계가 있다. 이들 관계를 유도한 식이 소프트웨어 공식이다. 소프트웨어 공식은 근본적으로 규모-노력, 규모-일정 관계가 적용되었다. 이 관계가 적절하지 않을 경우 소프트웨어 공식으로부터 유도되는 비용-일정 타협 공식, 투입인력 프로파일 등의 효용성이 없어진다. 본 논문에서는 이러한 문제점을 해결하고자 수정된 소프트웨어 공식을 유도하였으며, 수정된 소프트웨어 공식에 기반하여 소프트웨어 규모별로 비용-일정을 타협하는 모델들을 제안하였다. 소프트웨어 개발 성공률을 향상시키기 위해 제안된 모델을 적용하면 계약 협상이나 입찰에 도움이 될 것이다.

• 산학경영연구
• /
• 제13권
• /
• pp.179-193
• /
• 2000

소프트웨어 개발 프로세스의 품질관리 문제는 일반 제조상품과 달리 개발 공정과정과 제품자체의 복잡성 등으로 단순하지만은 않다. 최근 이러한 소프트웨어 프로세스 품질개선, 능력결정과 개발을 위한 국제 표준 ISO/IEC 15504가 완성되어 국내에도 적용되고 있으며, 이 결과는 국제적인 사례적용 보고서로 제출되어 등록되고 있다. 표준에 의한 소프트웨어 프로세스 심사의 기본은 해당 기본 프랙티스들의 수행여부와 수준을 확인함으로서 시작된다. 그리고 심사책임 및 신뢰성과 관련해서는 일반적으로 팀 단위로 구성된 심사원들이 프로세스 심사를 수행한다. 따라서 심사 팀의 구성과 프랙티스들의 중요도 선호가 프로세스 심사결과의 신뢰성과 객관성에 미치는 영향은 매우 크다. 본 연구에서는 실제 심사사례를 통해 나타난 해당 프로세스에 대한 기분 프팩티스들의 중요도와 심사결과를 비교해 소프트웨어 프로세스 심사사례를 분석한다. 연구 자료로는 ISO/IEC 15504 표준을 적용한 SPICE 실제 심사사례에 참여한 심사원 및 인터유 대상자들을 중심으로 수집한 설문자료를 이용하고, 이를 통계적 인자분석 방법을 통하여 결과를 도출한다. 향후 본 연구의 결과는 객관적이고 합리적인 심사 팀 구성을 위한 판단기준과 프랙티스 중요도 선호에 관한 정보를 제공함으로서 소프트웨어 프로세스 심사의 신뢰성과 효과성 향상에 기여할 수 있을 것이다.

• 한국항행학회논문지
• /
• 제19권1호
• /
• pp.15-21
• /
• 2015

WA-DGNSS는 지상에서 수신한 GNSS 신호를 관련 오차 계산 후 보정 정보를 생성하여 위성을 통해 사용자에게 보정 정보를 제공하는 시스템을 말한다. 사용자는 이 시스템을 통해 위치 정확도 향상 및 GNSS 신호에 대한 신뢰성을 보장 받는다. 또한 국제 민간항공기구(ICAO)에서는 항공기 이착륙 절차에 광역 보정시스템의 적용을 권고하고 있다. 본 논문에는 항공관련 소프트웨어 개발 절차 관련 규격문서인 RTCA DO-278의 소프트웨어 검증 프로세스를 참고하여 기 구축된 WA-DGNSS 광역 기준국 소프트웨어의 모듈 및 통합 테스트 단계를 구성하여 검증을 위한 방법론을 제시한다. 또한 제시한 방법론을 통해 기준국 소프트웨어 테스트를 통계적으로 검증하였으며 이러한 검증을 통해 기준국 소프트웨어의 기능이 적절히 수행됨이 확인되었다.

• 인터넷정보학회논문지
• /
• 제20권3호
• /
• pp.1-11
• /
• 2019

자동차, 원자력, 철도, 항공 등의 분야에서 발생하는 소프트웨어의 고장이나 사고는 바로 큰 재산 피해나 인명 피해로 연결될 수 있다. 이에 체계적이고도 효과적인 안전품질 관리의 필요성이 커지고 있으며, 최근 관련 산업 분야에서는 IEC 61508을 기반으로 안전 국제 표준이 제정되어 산업에 적용되고 있다. 국제 표준에서 명시하고 있는 안전 생명주기에 따르면 소프트웨어 안전성 품질을 확보하기 위해서는 개발 초기 단계에서 위험원 및 위험 분석(Hazard and risk analysis)을 통한 안전 요구사항을 개발하도록 권고하고 있다. 본 논문에서는 소프트웨어의 안전성 요구사항의 식별 및 정의를 위해 SysML을 활용한 STPA 기반의 위험원 분석 프로세스를 제안한다. 세부적으로는 SysML의 BDD과 IBD 다이어그램을 활용하여 기존 STPA 분석에서 활용되고 있는 제어구조도를 보다 명확하게 정의할 수 있도록 개선하였고, SD 다이어그램을 활용하여 안전 제약사항(요구사항)을 상세화할 수 있도록 하였다. 제안 방법의 적용 결과, STPA에서 누락되었던 위험원을 추가적으로 식별할 수 있었고, 위험원의 발생 시나리오도 상세하게 구체화할 수 있었다.