• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.04 seconds

Development of a Quality Assessment Tool for Software Reuse (재사용 소프트웨어 품질평가 도구 개발)

  • Choi, Eun-Man;Nam, Yoon-Suk
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.8
    • /
    • pp.1948-1960
    • /
    • 1997
  • Quality of a new system is closly related to the quality of components in reuse repository. Quality assessment is essential to construct a reuse library. Definition of quality and method of assessment are totally different in reuse environments. User interface, functionality, performance are main factor in non-reuse development environment. However, reuse environment needs more reusability, extensibility, generality, and maintainability in quality assessment. This paper describes a development of quality assessment tool for multimedia object reuse conponents. Tool gets reuse components described by C++ or IDL, and analyses style, structure, coupling, strength, complexity, understandability, etc. Ultimatly the tool generate quality satisfaction degree for reuse programmers. Quality assessment services are supported in distributed object architecture, CORBA.

  • PDF

A design of a tool to verify completeness and consistency of object - oriented analysis (객체지향 분석의 완전성과 일관성 검증을 위한 툴의설계)

  • Kim, Chi-Su;Jin, Young-Jin
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.10
    • /
    • pp.2453-2460
    • /
    • 1997
  • Among the method of developing software there are many object-oriented analysis(OOA) techniques, and the new ones are being introduced continuously. The present OOA techniques, however, have difficulty in the identification and the verification of the objects and tend to ignore high-level control aspects of the problem due to the initial partitioning of them on the basis of the data. As a result, it brings inaccurate understanding and faults in the software which is required by users. Therefore the purpose of this paper is to design the TOVERC to verify completeness and consistency through cross-reference between the state transition diagram and the methods of object model in order to reflect the requirements of users in the analysis of software considering this problem.

  • PDF

Avionics Software Data Modeling Method and Test For FACE Conformance (FACE 적합성을 위한 항공전자 소프트웨어 데이터 모델링 방안 및 검증)

  • Kyeong-Yeon, Cho;Doo-Hwan, Lee;Sang-Cheol, Cha;Jeong-Yeol, Kim
    • Journal of Aerospace System Engineering
    • /
    • v.16 no.6
    • /
    • pp.45-53
    • /
    • 2022
  • The avionics industry has recently adopted an open architecture to increase software portability and reduce the development schedule and cost associated with changing hardware equipment. This paper presents a data modeling method compliant with FACE, a widely used open avionics architecture. A FACE data model is designed and implemented to output data from VOR/ILS avionics equipment. A FACE Conformance Test Suite (CTS) program is utilised to verify that the data model meets FACE standards. The proposed data modeling method is expected to improve the development schedule and cost associated with modifying communication methods and ICDs (Interface Control Documents).

Application of free software for flood simulation (홍수범람 모의를 위한 자유 소프트웨어 활용)

  • Yu, Soon-Young;An, Hyun-Uk
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2011.05a
    • /
    • pp.66-70
    • /
    • 2011
  • 최신의 수치 해석 방법을 적용하여 개발되고 있는 자유 유체역학 소프트웨어를 소개하고, 비교적 사용이 용이한 자유 소프트웨어 Gerris를 홍수범람 모의에 활용한 결과를 보여주고자 한다. 도시 지역 돌발 홍수 범람 모의를 위한 Gerris의 신뢰도 검증을 위해 Gerris를 유럽 IMPACT(Investigation of Extreme Flood Processes and Uncertainty) 프로젝트에서 수행한 도시지역 홍수실험을 모의하는데 적용해 보았으며, 모의 결과는 실험 결과와 비교적 잘 일치하여 Gerris가 도시 지역 돌발 홍수 모의에 적합함을 보여주고 있다. 학교 및 연구기관을 중심으로 Gerris와 같은 자유 소프트웨어를 널리 활용하고 개발에 참여할 경우, 국내 홍수범람 수치모형의 개발 역량이 강화되는 토대를 만들 수 있을 것이며, 수공학 전문가는 최신의 소프트웨어를 저비용으로 하천 관리 및 홍수 관리에 활용할 수 있을 것으로 기대된다.

  • PDF

The Effects of Requirement Uncertainty, Control Standardization, Interactions on Software Quality (요구사항 불확실성, 통제 표준화, 상호작용이 소프트웨어 품질에 미치는 영향)

  • Kim, Ki-Yoon;Yang, Dong-Gu
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2002.06a
    • /
    • pp.219-225
    • /
    • 2002
  • 소프트웨어 개발 프로젝트에 대한 위험관리(risk management) 이론을 근거로, 소프트웨어 품질, 요구사항 불확실성, 통제표준화, 상호작용에 대한 5개의 가설이 설정되었고, 3개의 SI 회사로부터 117개 표본이 추출되어서 구조방정식모형에 의해서 실증적으로 검증되었다. 본 연구결과에 따르면 요구사항 불확실성과 통제 표준화는 소프트웨어 품질에 직접적인 영향을 미치지 않고, 사용자-프로젝트 팀 간의 상호작용에 직접적인 영향을 미치며, 이를 통해서 소프트웨어 품질에 간접적인 영향을 미친다. 그럼으로, 요구사항 불확실성이 낮을수록, 그리고 통제 표준화가 높을수록, 사용자-프로젝트 팀 간의 상호작용은 높아져서 궁극적으로는 소프트웨어 품질이 높아진다고 해석할 수 있다.

  • PDF

A Software Quality Evaluation Process based on the Defense CBD Methodology (국방 CBD 방법론 기반 소프트웨어 품질평가 프로세스)

  • Lee, Hyun-Chul;Kang, Seung-Hun;Lee, Kil-Sup;Lee, Sung-Jong
    • Annual Conference of KIPS
    • /
    • 2005.05a
    • /
    • pp.271-274
    • /
    • 2005
  • 소프트웨어 제품의 활용 범위가 늘어나면서 품질의 중요성이 부각되고 있다. 이에 따라 ISO/IEC 9126 품질모델과 ISO/IEC 14598 소프트웨어 제품 평가모델에 대한 표준이 발표되었다. 하지만, 대부분 소프트웨어 개발 사업에서는 결함사항 위주로 품질관리를 하고 있으며 표준모델은 미적용 되고 있는 실정이다. 따라서, 본 논문에서는 국방 CBD 방법론을 기반으로 표준 소프트웨어 품질모델 및 제품 평가모델을 이용한 품질평가 프로세스를 제시하고자 한다. 이를 위해 국방 CBD 방법론 산출물의 품질평가 모델과 품질평가 프로세스를 정의하고 평가활동 단계별 산출물을 제시한다. 또한 소규모 시범사업에 적용을 통하여 제안된 모델의 적절성을 검증하였다. 향후 본 연구의 결과가 국방 CBD 방법론 기반 소프트웨어의 품질관리 활동에 적용이 기대된다.

  • PDF

Determination of software release time considering maintenance policy (보수정책을 고려한 소프트웨어 출시 시기의 결정)

  • 나일용;이진승;이창훈
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2002.05a
    • /
    • pp.585-589
    • /
    • 2002
  • 본 연구에서는 소프트웨어의 출시 이후 주기적인 보수(periodic maintenance)를 고려한 출시 시기 결정 방법을 제시하였다. 출시시기 결정방법에 관한 연구는 소프트웨어의 신뢰성 확보, 사용자 편의성 등에 관한 연구와 더불어 중요한 연구 분야로 여겨지는 분야이다. 일반 적으로 소프트웨어는 출시 이후에도 패치(patch), 서비스팩(service pack)등을 통해 지속적인 보수가 이루어지기 때문에, 출시 이후의 보수를 고려하여 출시시기를 결정하는 방법론이 필요하다. 이를 위해, 출시 이후의 보수정책을 반영한 소프트웨어 신뢰성 성장 모형(software reliability growth model)을 도출하였다. 위 모형을 기반으로 하여 비용과 신뢰성에 근거한 소프트웨어 출시 시점을 결정해 보았다. 제시된 모형의 타당성을 검증하기 위해 예제를 통해 기존의 논문에서 제시되었던 결과들과 비교분석을 해 보았다. 본 연구의 결과는 기존 연구에서 고려되지 않았던 보수 정책을 고려함으로써, 보다 현실에 가까운 모형을 제시하였다는 점에서 의의를 찾을 수 있고, 출시 후 보수 시점, 보수 정책 등의 결정에도 기여할 수 있을 것이다.

  • PDF

달착륙선 지상 시험모델 통합 시험 전 전장계 및 소프트웨어계 최종 점검 환경 구축

  • Gu, Cheol-Hoe;Gwon, Jae-Uk;Ryu, Dong-Yeong;Ju, Gwang-Hyeok;Sim, Eun-Seop
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.37 no.2
    • /
    • pp.169.1-169.1
    • /
    • 2012
  • 한국항공우주연구원에서는 2010년부터 달착륙선 지상 시험모델 개발을 진행하고 있으며 2012년 하반기에 추력 시험을 비롯한 전반적인 전장계 및 소프트웨어계 통합 시험을 계획하고 있다. 본 통합 시험은 탑재 컴퓨터와 VDE를 비롯한 전자 장비가 올바르게 동작하고 있는지 확인하고 소프트웨어가 이들을 잘 제어하고 있는지에 대한 시험 및 하이드라진 추력 시스템에서 본체로부터 명령을 잘 전송받아 적절한 추력을 발생시키고 있는지에 대한 시험 2가지로 크게 구분된다. 통합시험을 통해서 통신 시험용 도구(LECT, Lunar Explorer Communication Tool)에 대한 성능 검증도 같이 수행될 예정이다. 소프트웨어계에 대해서는 각 소프트웨어 모듈에 대한 단위 시험 및 통신 시험용 도구와 연결될 상태에서 통합 성능 시험이 수행될 예정이다. 통합 시험을 앞두고 전장계 및 소프트웨어계의 최종 성능 점검을 위해서 데이터 획득 시스템을 구성하여 입력 및 출력을 모든 채널에 대해서 관찰함으로 다양한 운용 시나리오 하에서 예측된 결과를 보이는지 확인할 예정이며 본 논문에서는 상기 최종 점검 환경에 대한 개념 및 규격, 그리고 제작, 운용 및 시험에 대한 내용을 기술한다.

  • PDF

Design of PC based Code Simulator for UBINOS Embedded Software (UBINOS 임베디드 소프트웨어를 위한 PC 기반 코드 시뮬레이터의 설계)

  • Kim, Jihun;Lee, Woo Jin
    • Annual Conference of KIPS
    • /
    • 2013.11a
    • /
    • pp.970-972
    • /
    • 2013
  • 최근 웨어러블 단말기와 같은 소형 임베디드 시스템이 많아짐에 따라 임베디드 소프트웨어의 수요가 점점 늘어나고 있다. 그러나 임베디드 소프트웨어는 개발이 완료되어 있음에도 실제 하드웨어 없이는 소프트웨어의 검증이 어려운 단점을 가지고 있다. 이는 임베디드 시스템의 제품을 개발하는 과정에서 일정이 늦춰지고 시스템의 신뢰성을 떨어뜨리는 원인이 될 수 있다. 본 논문에서는 이러한 문제점을 해결하고자 메모리 관리가 용이하고 소형 임베디드 기기에서 저전력으로 사용할 수 있게 만들어진 실시간 운영체제인 UBINOS를 PC에 포팅하여 UBINOS 기반의 임베디드 소프트웨어를 PC 상에서 수행할 수 있는 코드 시뮬레이터를 제안한다.

Implementation of Automatic Coin Sorting Smart Piggy Bank using Deep Learning based Image Recognition Technology (딥러닝 기반 이미지 인식 기술을 활용한 동전 자동분류 스마트 저금통)

  • Yu, Yeon Seung;Jang, Young Jin;Sim, Hyeon Jeong;Lee, Seul Bi;Kim, Cheong Ghil
    • Annual Conference of KIPS
    • /
    • 2020.05a
    • /
    • pp.320-322
    • /
    • 2020
  • 기계학습은 인공지능의 한 클래스로 최근 이미지 및 음성인식, 지능적 웹 검색, 자율 주행 자동차 등의 영역에서 성공적 발전을 바탕으로 우리의 일상에 폭넓게 이용되고 있다. 본 논문에서는 Keras 오픈소스 라이브러리를 이용해 딥러닝을 이용한 기계학습 기반의 동전 인식 소프트웨어를 구현하였고, 이를 이용해 동전 자동분류 스마트 저금통을 설계하였다. 동작 검증을 위하여 스마트 저금통의 모든 발생 이벤트는 Parse-server와 mongoDB를 이용하여 시각화 및 어플리케이션 및 웹사이트를 연결하였다.