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

Search Result 2,336, Processing Time 0.035 seconds

A study of the reverse engineering for the modeling formed specification(UML) for from software source code (소프트웨어 원시코드로부터 모델링 정형명세(UML) 역공학 프로세스 연구)

  • Kim, Yeon-Jung;Kim, Byeong-Gi
    • Annual Conference of KIPS
    • /
    • 2003.05c
    • /
    • pp.1853-1856
    • /
    • 2003
  • 모든 소프트웨어 시스템은 시스템 확장 및 아키텍쳐의 변화로 인한 잠재적 이주 필요성을 안고 있다. 그런데, 이 소프트웨어 이주 요구가 갖는 문제점은 새로운 시스템이 기존 시스템의 도메인 지식을 손상시키지 않도록 요청 받는다는 점이다. 이로 인해 역공학의 필요성이 제기되나 하나의 소프트웨어 시스템은 다양한 측면의 시스템 요소를 갖고 있으므로 역공학을 통하여 직관적으로 이해가능 한 설계정보를 유도해내는 것은 어려움에 직면한다. 따라서 본 연구에서는 하나의 레거시 시스템을 역공학 하기 위하여 필요한 프로세스를 제안하고, 역공학 결과물을 정형명세인 UML로 표현하는 사례를 통하여 검증하고자 한다.

  • PDF

Study On Conformance Test For Automotive Basic SoftWare Which Uses EEPROM Abstraction Simulation Module (EEPROM Abstraction Simulation Module을 이용한 차량 전장용 BSW에 대한 적합성 테스트에 대한 연구)

  • Kyung, Min-Gi;Cho, Na-Yun;Min, Dug-Ki
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2010.06b
    • /
    • pp.112-115
    • /
    • 2010
  • 차량전장용 소프트웨어에 대한 합리적인 설계 및 테스트가 중요해졌다. 차량전장용 소프트웨어의 신뢰성을 검증하기 위해 AUTOSAR Conformance Test 표준이 마련되었는데, AUTOSAR Conformance Test 표준에는 테스트 대상, 테스트 커버리지, 테스트 요구조건 & 케이스 정의 및 테스트 아키텍처 환경에 대한 정의방법을 기술하고 있다. 본 논문에서는 차량전장용 소프트웨어의 안정성을 테스트하기 위해 소프트웨어가 저장되는 EEPROM 메모리에 대한 시뮬레이션 테스트를 수행하였으며, AUTOSAR 표준에 맞게 제작된 EEPROM Abstraction 시뮬레이션 모듈을 이용하였다. 또한 EEPROM Abstraction 시뮬레이션 모듈 위에서 AUTOSAR Conformance Test 표준에 정의된 적합성 테스트를 수행하기 위한 테스트 어댑터와 타겟 어댑터의 기능을 기술하고, EEPROM Abstraction 시뮬레이션 모듈에서 리얼타임 요소를 만족하기 위해 필요한 개선 사항을 제안하고자 한다.

  • PDF

Embodimenet of Storage Server Program using Multi-threaded Software Development Process based on DEVS formalism (DEVS 형식론 기반 멀티쓰레드 소프트웨어 개발 방법을 이용한 스토리지 서버 프로그램 구현)

  • Im, Jung-Hyun;Oh, Ha-Ryoung;Soong, Yeong-Rak
    • Annual Conference of KIPS
    • /
    • 2015.04a
    • /
    • pp.544-545
    • /
    • 2015
  • 최근 스토리지 서버에 사용되는 코어가 싱글코어에서 점차 발전하여 멀티코어가 됨에 따라 스토리지 서버에 많은 기능들이 추가되었다. 이러한 기능들을 효과적으로 사용하기 위해서는 스토리지 서버를 효율적으로 관리하는 프로그램이 필요하다. 이에 멀티코어를 효과적으로 사용하여 스토리지 서버를 효율적으로 관리할 수 있도록 멀티쓰레드 프로그램으로 스토리지 서버 프로그램을 구현하였다. 멀티쓰레드 소프트웨어는 동시 동작으로 인해 개발하는데 어려움이 있으므로 이를 해결코자 DEVS 형식론 기반의 멀티쓰레드 소프트웨어 개발 방법을 이용하였다. DEVS 형식론 기반의 모델링과 시뮬레이션을 거치고 소프트웨어를 구현하여 개발의 어려움과 검증에 대한 부분을 해결하였다.

A Study on the Development of Fault Calculation S/W using IEC Standard (IEC 방식을 이용한 고장계산 소프트웨어 개발에 관한 연구)

  • Yun Sang Yun;Lee Nam Ho
    • Proceedings of the KIEE Conference
    • /
    • summer
    • /
    • pp.415-417
    • /
    • 2004
  • 본 논문은 계통의 고장해석을 위한 소프트웨어의 개발에 대해 다루었다. 일반적으로 고장 계산방식은 lEC 및 IEEE 방식으로 나눌 수 있으며 본 논문에서 활용한 IEC 방식은 각 지로 별 고장전류를 계산하여 이를 합산하여 최종적으로 고장점의 전류를 계산하는 방식이다. 계산된 결과는 최대 비대칭 전류, 대칭 전류, 차단 전류, 직류 전류 및 비대칭 차단전류 등으로 나뉘어 지며 보호기기 설정 시 차단시간 및 용량, 투입 용량 등의 결정에 활용된다. Y-Bus 행렬을 이용하여 IEC 고장계산 알고리즘을 구현하였으며 구성된 알고리즘의 검증을 위해 8모선 및 24모선 계통에 대해 사례연구를 수행하였다 사례연구 결과를 수계산 본 논문의 소프트웨어 및 상용 소프트웨어의 연산 결과와 비교하였다.

  • PDF

A Integration Model of ISO/IEC 20000 and CMMI-DEV (ISO/IEC 20000과 CMMI-DEV 통합 모델)

  • Seo, Chang-Won;Lee, Sukhoon;Baik, Doo-Kwon
    • Annual Conference of KIPS
    • /
    • 2012.11a
    • /
    • pp.1493-1496
    • /
    • 2012
  • 소프트웨어 생명주기 중 가장 많은 비용이 유지보수 개발에서 발생한다. 대형 소프트웨어 시스템의 운영 유지보수 표준은 ISO/IEC 20000 으로 프로세스통합운영 및 개선활동 중심이어서 유지보수 개발에 대한 SR(Service Request) 처리시 개발 표준 및 구체적 절차가 미비하다. 그러나 대형 소프트웨어 시스템 구축 개발 시 많이 채택하고 있는 CMMI-DEV 표준을 ISO/IEC 20000 유지보수 조직 및 팀원이 내제화를 함으로써 유지보수 개발의 상호 보완적 프로세스로 명세 명확화 및 품질을 제고할 수 있고, 생산성과 효율성을 증대할 수 있다. 따라서 본 연구에서는 ISO/IEC 20000 유지보수 조직이 운영하고 있는 표준절차에 CMMI-DEV 표준 프로세스를 상호보완적으로 매칭한 표준절차를 적용한 통합모델을 제안한다. ISO/IEC 20000 모델의 개발단계에 CMMI-DEV 프로세스 모델을 적용한 통합 모델을 구축하고 실제 프로젝트에 적용하여 본 연구의 실효성을 검증한다.

Development of a R&D Software Engineering Platform for Electric Power System (전력 R&D SW 엔지니어링 플랫폼 개발)

  • Joo, Yong-Jae;Song, Jae-Ju;Choi, Min-Hee
    • Annual Conference of KIPS
    • /
    • 2012.11a
    • /
    • pp.1472-1474
    • /
    • 2012
  • 한국전력공사(KEPCO) 전력연구원(KEPRI) 소프트웨어센터에서는 연구과제에 포함되어 개발되는 R&D SW의 개발/품질관리 업무의 효율적 수행 및 품질확보를 위하여 "R&D SW 엔지니어링 플랫폼(KSEP : KEPRI Software Engineering Platform)"을 구축하여 현재 운영중에 있다. KSEP은 SW 개발 및 품질관리 업무의 체계적인 수행을 지원하기 위한 국제표준모델(CMMI-DEV) 기반의 프로세스지원 통합 시스템으로서 워크플로우관리, 일정관리, 요구사항관리, 검증 및 확인(V&V) 등의 기능 및 도구를 제공한다.

The input data normalization studies using secure coding (시큐어 코딩을 적용한 입력데이터 정규화 검증 연구)

  • Lee, Ji-Sun;Choi, Jin-Young
    • Annual Conference of KIPS
    • /
    • 2013.11a
    • /
    • pp.644-647
    • /
    • 2013
  • 인터넷과 정보기술의 발전으로 정보시스템들이 보편화 되고, 편리함을 제공하고 있다. 반면에 시스템은 더욱 복잡해지고, 프라이버시 침해, 개인정보 수집 등 사이버공격은 계속적으로 증가하고 있으며 이로 인한 피해가 심각하다. 사이버 공격을 예방하기 위해서는 정보시스템 제품출시 이전 단계에서 제품의 보안 취약점을 제거하는 것이 중요하다. 따라서 개발단계부터 보안을 고려한 소프트웨어를 개발하는 것은 향후 발생 가능한 보안취약점을 예방하고 피해를 최소화 하여 보다 안전한 소프트웨어를 개발하는 근본적인 해결책이 된다. 본 논문에서는 소프트웨어 개발과정에서 발생할 수 있는 보안약점을 최소화 하여 안전한 소프트웨어를 개발하기 위한 시큐어 코딩(secure coding)과 입력 데이터 값(문자열)을 정규화 함으로써 크로스 사이트 스크립팅(XSS)의 공격을 사전에 예방할 수 있는 방법을 제시한다.

Trends of Software Testing Technology on Digital Twin Systems (디지털 트윈 시스템에서의 소프트웨어 테스팅 기술 동향)

  • Kim, Yu-Doo
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2022.05a
    • /
    • pp.618-619
    • /
    • 2022
  • Digital Twin is prediction system of simulation results that making virtual reality of real statement. It is various used for solution of problem on industry or social. Therefore it will used for various tests about development of virtual and real city. For verify this systems, it needed testing technology that tests of software on virtual system. So in this paper we study about trends of software testing technology on digital twin systems.

  • PDF

Automatic Classification of Music Moods Based on the AV Model (AV 모델을 이용한 음악 분위기 자동 분류1))

  • Moon, Chang-Bae;Kim, Hyun-Soo;Song, Min-Kyun;Kim, Byeong-Man
    • Annual Conference of KIPS
    • /
    • 2011.04a
    • /
    • pp.365-368
    • /
    • 2011
  • 본 논문에서 구조 분석 기법을 이용하여 음악을 구간들로 나누고, 그 구간 중 대표 구간들을 자동으로 설정 후 다수의 사용자에게 그 구간들에 대한 분위기 값을 입력받은 후 이 값들을 바탕으로 구간의 대표 분위기를 결정하는 방법을 제안하였다. 또한, 이렇게 결정된 대표 분위기와 그 구간의 음악적 특징들을 이용하여 음악 분위기 판별 실험을 하였다. 이를 위해 음원의 분위기를 211명에게 수집하였고, 음원에서 특징들을 결정계수를 이용하여 특징의 수를 줄인 후 신경망을 이용하여 학습 및 판별을 하였다. 그리고 Leave-one-out 교차 검증을 통하여 성능 분석을 하였다. 실험결과, 3,000번 학습 시 은닉층 17개를 이용하였을 때 66%의 판별율을 보였다.

A Trend Analysis of Convergence Education in Informatics and Practical Arts(Software Education) Textbooks (정보 및 실과(소프트웨어 교육) 교과서에서의 융합교육 현황 분석)

  • Yi, Soyul;Lee, YoungJun
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2020.07a
    • /
    • pp.223-224
    • /
    • 2020
  • 2015 개정 교육과정에서는 컴퓨팅 사고력을 갖춘 인재를 함양하기 위해 소프트웨어 교육 및 정보 교육을 강조하고 있으며, 다양한 학문에서의 융합이 제시되고 있다. 그러나 소프트웨어 및 정보 교과에서의 융합교육의 현황이나 방법에 따른 결과 도출, 효과성 검증 등에 대한 연구는 미비한 실정이다. 따라서 본 연구에서는 초등학교 실과 교과서 1종, 중학교 정보 교과서 1종, 고등학교 정보 교과서 1종을 각기 다른 출판사로 무선 표집하여 융합교육 현황에 대해 분석하였다. 분석 결과, 교과서 내에 융합교육의 시도가 1~2회 정도의 융합교육의 시도가 있었음을 확인할 수 있었다. 이러한 변화는 긍정적이라 볼 수 있지만, 충분하다고 판단할 수는 없다. 그러므로 이를 보완하기 위하여 현행의 교과서를 보완해 줄 수 있는 융합교육 자료가 요구된다는 시사점을 도출하였다.

  • PDF