• 제목/요약/키워드: model-based software testing

검색결과 241건 처리시간 0.024초

TMMi를 반영한 국방 소프트웨어 테스트 절차 발전방안 (Defense software test procedure improvement measure reflecting the TMMi)

  • 박연동
    • 한국산학기술학회논문지
    • /
    • 제22권1호
    • /
    • pp.87-93
    • /
    • 2021
  • 현대 무기체계는 전자장비 탑재의 비중이 늘어나고 있으며, 그에 따른 소프트웨어 탑재비중도 늘어나고 있다. 소프트웨어 비중이 높아감에 따라 그 품질관리와 개발방법에 대한 관심도 높아졌다. 물리적으로 가시화 된 기계체계와 달리 논리적으로 비가시화 된 소프트웨어는 결함에 노출될 경우 복구의 어려움, 재사용의 어려움, 자원의 낭비와 같은 위험에 놓여 질 수 있다. 미국의 경우 국방 소프트웨어의 개발과 품질관리를 위한 별도의 프로세스를 연구하고 적용하는 노력을 통해 CMM(Capability Maturity Model)을 만드는 성과도 거두었다. 우리나라 또한 국제표준을 바탕으로 국방 소프트웨어 개발 및 품질관리에 대한 기준을 만들어 활용하고 있다. 그러나 소프트웨어의 발전 속도에 맞추어 기준을 변경해야 함에도 아직 기초수준에 머무르고 있다는 지적이 있다. 소프트웨어 발전 속도에 비해 기준이 낮다면, 자원 재사용 비용 및 복구비용이 기하급수적으로 늘어난다. 본 논문에서는 CMM의 소프트웨어 테스트 파생형인 TMMi(Test Maturity Model-integration)을 통해 국방 소프트웨어 테스트 절차 발전 방안에 대해 논의하고, 국방 소프트웨어 품질관리에 대한 청사진을 제시하고자 한다.

로그형 관측고장시간에 근거한 결함 발생률을 고려한 소프트웨어 비용 모형에 관한 비교 연구 (The Comparative Software Cost Model of Considering Logarithmic Fault Detection Rate Based on Failure Observation Time)

  • 김경수;김희철
    • 디지털융복합연구
    • /
    • 제11권11호
    • /
    • pp.335-342
    • /
    • 2013
  • 본 연구에서는 소프트웨어 제품 테스팅 과정에서 관측고장시간에 근거한 로그형 결함 발생률을 고려한 소프트웨어 신뢰성 비용 모형에 대하여 연구 하였다. 신뢰성 분야에서 많이 사용되는 Goel-Okumoto모형을 이용한 새로운 로그 형 결함 확률을 반영한 문제를 제시하였다. 수명분포는 유한고장 비동질적인 포아송과정을 이용하고 모수 추정법은 최우 추정법을 이용 하였다. 따라서 본 논문에서는 로그형 결함 발생률을 고려한 소프트웨어 비용모형 분석을 위하여 소프트웨어 고장 시간간격 자료를 적용하여 비교 분석하였다. 이 연구를 통하여 소프트웨어 개발자들은 방출최적시기를 파악 하는데 어느 정도 도움을 줄 수 있을 것으로 사료 된다.

분산제어 기반 직류 마이크로그리드 전력관리시스템의 HIL 시뮬레이션 적용 연구 (Development of Hardware In-the-Loop Simulation System for Testing Power Management of DC Microgrids Based on Decentralized Control)

  • 투딘두;리덕중;이동춘
    • 전력전자학회논문지
    • /
    • 제24권3호
    • /
    • pp.191-200
    • /
    • 2019
  • This study proposes a hardware-in-the-loop simulation (HILS) system based on National Instruments' PXI platform to test power management and operation strategies for DC microgrids (MGs). The HILS system is developed based on the controller HIL prototype, which involves testing the controller board in hardware with a real-time simulation model of the plant in a real-time digital simulator. The system provides an economical and effective testing function for research on MG systems. The decentralized power management strategy based on the DC bus signaling method for DC MGs has been developed and implemented on the HILS platform. HILS results are determined to be similar to those of the off-line simulation in PSIM software.

Prediction & Assessment of Change Prone Classes Using Statistical & Machine Learning Techniques

  • Malhotra, Ruchika;Jangra, Ravi
    • Journal of Information Processing Systems
    • /
    • 제13권4호
    • /
    • pp.778-804
    • /
    • 2017
  • Software today has become an inseparable part of our life. In order to achieve the ever demanding needs of customers, it has to rapidly evolve and include a number of changes. In this paper, our aim is to study the relationship of object oriented metrics with change proneness attribute of a class. Prediction models based on this study can help us in identifying change prone classes of a software. We can then focus our efforts on these change prone classes during testing to yield a better quality software. Previously, researchers have used statistical methods for predicting change prone classes. But machine learning methods are rarely used for identification of change prone classes. In our study, we evaluate and compare the performances of ten machine learning methods with the statistical method. This evaluation is based on two open source software systems developed in Java language. We also validated the developed prediction models using other software data set in the same domain (3D modelling). The performance of the predicted models was evaluated using receiver operating characteristic analysis. The results indicate that the machine learning methods are at par with the statistical method for prediction of change prone classes. Another analysis showed that the models constructed for a software can also be used to predict change prone nature of classes of another software in the same domain. This study would help developers in performing effective regression testing at low cost and effort. It will also help the developers to design an effective model that results in less change prone classes, hence better maintenance.

NHPP모형에 기초한 고장 수 자료의 분석 (Analysis of Failutr Count Data Based on NHPP Models)

  • 김성희;정향숙;김영순;박중양
    • 한국정보처리학회논문지
    • /
    • 제4권2호
    • /
    • pp.395-400
    • /
    • 1997
  • 소프트웨어 신뢰도는 소프트웨어의 중요한 품질 특성 중의 하나이며, 소프트웨어 신뢰도 성장 모형은 테스트 단계동안 신뢰도를 평가하고 신뢰도가 성장하는 양상을 파악 할 수 있는 도구이다. 그러므로 테스트 단계동안 수집된 고장 자료는 적절한 소프트웨어 신뢰도 모형에 의거해 계속적으로 분석된다. 비등질 포아송 과정 모형이 적절한 소프트웨어 신뢰도 성장 모형인 경우 고장 수 자료를 분석하기 위해서 포아송 희귀 모형을 세우고 모수들은 가장 최소 자승법으로 추정하는 것이 가능하며, 이렇게 구한 가장 최소 자승 추정량은 최우 추정량과 동일한 성질을 가짐을 보일 수 있다. 이 분석 방법을 대형 시스템으로부터 수집된 실제 자료를 분석하는데 적용한다.

  • PDF

Burr 커버리지 함수에 기초한 ENHPP소프트웨어 신뢰성장모형에 관한 연구 (The Study for ENHPP Software Reliability Growth Model based on Burr Coverage Function)

  • 김희철
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권4호
    • /
    • pp.33-42
    • /
    • 2007
  • 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Burr 분포에 기초한 Burr 커버리지 모형을 제안하였다. 고장 간격 시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법 과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형선택도 시도하였다. NTDS 자료를 사용한 임무시간 비교 분석한 결과 Burr 커버리지 모형 시행이 지수나 S-형 모형보다 우수함을 보이고 있다. 이 자료들에서 기존의 모형과 Burr 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정등을 이용하였다.

  • PDF

불완전디버깅이 주문형 개발소프트웨어의 인도시기에 미치는 영향 연구 (A Study on the Imperfect Debugging Effect on Release Time of Dedicated Develping Software)

  • 최규식
    • Journal of Information Technology Applications and Management
    • /
    • 제11권4호
    • /
    • pp.87-94
    • /
    • 2004
  • The software reliability growth model(SRGM) has been developed in order to estimate such reliability measures as remaining fault number, failure rate and reliability for the developing stage software. Almost of them assumed that the faults detected during testing were evetually removed. Namely, they have studied SRGM based on the assumption that the faults detected during testing were perfectly removed. The fault removing efficiency. however. IS imperfect and it is widely known as so in general. It is very difficult to remove detected fault perfectly because the fault detecting is not easy and new error may be introduced during debugging and correcting. Therefore, the fault detecting efficiency may influence the SRGM or cost of developing software. It is a very useful measure for the developing software. much helpful for the developer to evaluate the debugging efficiency, and, moreover, help to additional workloads necessary. Therefore. it is very important to evaluate the effect of imperfect dubugging in point of SRGM and cost. and may influence the optimal release time and operational budget. I extent and study the generally used reliability and cost models to the imperfect debugging range in this paper.

  • PDF

소프트웨어 신뢰도 평가를 위한 테스트 적용범위에 대한 연구 (A Study on Test Coverage for Software Reliability Evaluation)

  • 박중양;박재흥;박수진
    • 정보처리학회논문지D
    • /
    • 제8D권4호
    • /
    • pp.409-420
    • /
    • 2001
  • 소프트웨어 신뢰도는 소프트웨어 시스템의 매우 중요한 특성으로 테스팅 하는 동안 소프트웨어 신뢰도를 평가하기 위해 테스트 적용범위 정보를 이용하는 방법이 최근 시도되고 있다. 본 논문은 최근 문헌에 나타난 테스트 적용범위를 이용하는 소프트웨어 신뢰도 성장모델들을 검토하여 이들을 2개 부류로 분류한 다음 각각의 문제점을 논의하고 현실적 타당성을 검토한다. 더불어, 새로운 평균치 함수와 적절한 적용범위를 선택하기 위한 절차를 제안한다.

  • PDF

백분위수 변화점을 고려한 NHPP 소프트웨어 신뢰성장모형에 관한 연구 (The Study for NHPP Software Reliability Growth Model of Percentile Change-point)

  • 김희철;신현철
    • 융합보안논문지
    • /
    • 제8권4호
    • /
    • pp.115-120
    • /
    • 2008
  • 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 변화점를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 모형(Goel-Okumoto 모형)을 적용하여 변화점이 백분위수를 가질 경우를 고려하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 을 적용하여 모형들에 대한 효율적인 모형선택을 시도하였다. 수치적인 예에서는 NTDS 자료를 사용하여 백분위수 변화점을 고려한 결과를 나열하였다.

  • PDF

맞춤된 COM 컴포넌트를 위한 효과적인 테스트 데이타 선정 기법과 적용사례 (An Effective Test Data Selection Technique for Customized COM Components and its Empirical Study)

  • 윤회진;이병희;김은희;최병주
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제31권6호
    • /
    • pp.741-749
    • /
    • 2004
  • 컴포넌트 기반 개발에서 컴포넌트 사용자는 개발 목적에 맞추어 컴포넌트를 맞춤 할 필요가 있다. 컴포넌트는 그 내부에 블랙박스특성을 갖는 부분과 화이트박스특성을 갖는 부분이 공존하고, 맞춤으로 인해 화이트박스 부분이 변형되며, 이때 발생하는 오류는 블랙박스 부분과 화이트박스 부분의 상호작용을 통해 나타나게 된다. 블랙박스 부분과 화이트박스 부분 사이의 통합 테스트인 맞춤 테스트를 위해서 새로운 테스트 기법이 요구된다. 또한 테스트 기법이 비용 절감 효과를 노리는 컴포넌트 기반 개발에 사용되기 위해서는 효율적인 테스트 데이타의 선정이 요구된다. 따라서 본 논문에서는 컴포넌트 아키덱쳐로 COM(Component Object Model)을 대상 컴포넌트로 선정하고, 다양한 COM 컴포넌트들의 분석을 통하여 효율적인 테스트 데이타를 선정하는 맞춤 테스트 기법을 제안한다. 본 논문에서는 제안하는 기법이 선정하는 테스트 데이타가 오류 감지 능력에 있어서 효과적이라는 것을 실험을 통해 평가한다. 또한 본 기법을 실제 대규모 컴포넌트 기반 시스템인 샤모아에 적용하는 예제를 수행함으로써, 본 기법이 컴포넌트 기반 시스템의 일원으로서 실제 동작하는 COM 컴포넌트의 맞춤을 테스트할 수 있음을 보인다.