• 제목/요약/키워드: 소프트웨어 분석

검색결과 6,521건 처리시간 0.031초

시맨틱스 기반 소프트웨어 관리 기법 분석 (Semantically based Software Description Model)

  • 이화연;최호진;고인영
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2004년도 추계학술발표논문집(상)
    • /
    • pp.385-388
    • /
    • 2004
  • 다양한 환경에서 지능적으로 적응하는 소프트웨어를 위한 연구는 활발히 이루어지고 있으나 구체적인 응용 분야에 적용되지 못하고 있는 형편이다. 본 논문에서는 로봇과 같이 적응형 소프트웨어 기술이 필요한 분야에서 시맨틱스 기반의 소프트웨어 관리 기법을 적용하는 방법을 분석한다.

  • PDF

UML 기반의 컴포넌트 인터페이스 추출 기법 (A UML-based Component Interface Extraction Method)

  • 유영란;김수동
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
    • /
    • pp.460-462
    • /
    • 1999
  • 소프트웨어의 경제성, 시장 경쟁력 확보를 위한 소프트웨어의 재사용은 소프트웨어 공학의 주요 이슈가 되고 있다. 그중 컴포넌트와 컴포넌트 기반의 소프트웨어 개발은 재사용성을 확보할 수 있는 가장 주목 받는 방안으로 제시되고 있으며 많은 기법이나 지침들이 제안되고 있다. 본 논문에서는 컴포넌트 개발에서 UML에 기반하여 컴포넌트의 인터페이스를 추출하는 기법을 제시하고자 한다. 분석 단계에서 컴포넌트의 식별이 이루어졌다고 가정하고 분석 단계에서 나온 산출물 중, Use Case 모델과 클래스 다이어그램을 이용하여 컴포넌트의 메소드들을 식별하고, 인터페이스로 정의한다. 그리고 사용자요구사항에 근거하여 Hot Spot을 식별한 후, 컴포넌트의 커스터마이즈를 위한 메소드와 인터페이스를 정의한다.

  • PDF

소프트웨어 인스펙션을 이용한 소프트웨어 품질의 실험적 평가와 예측

  • 소선섭
    • 소프트웨어공학소사이어티 논문지
    • /
    • 제14권1호
    • /
    • pp.50-58
    • /
    • 2001
  • 소프트웨어의 품질은 개발이 완료된 후 운영과정에서 발생되는 고장(Failure)의 정도에 따라 결정되고, 고장(Failure)은 소프트웨어에 남아있던 오류(Defects)가 실행 중(Activate)되어 나타나는 현상이다. 따라서 소프트웨어의 품질을 효과적으로 높이기 위해서는 다음 사항을 고려해야 한다. 첫째, 오류가 만들어지면 가능한 한 빨리 찾아서 없애야 한다는 점이다. 다음 단계로 전이될 경우, 오류를 정정하는 비용이 크게 증가되기 때문이다. 둘째, 오류가 균등 분포하기 보다 특정 부분에 몰리는 경향이 있으므로, 문제 부품을 예측하여 집중 관리를 해야 한다. 본 논문에서는 이들을 고려하여 효과적인 오류 검출 방법인 인스펙션을 기반으로 여러 오류 검출 방법간의 비교 우위를 분석하고, 모든 모듈을 예측하는 품질 예측 모델을 제시하였다.

열차제어 S/W 검증을 위한 테스트 커버리지 측정 및 평가기준에 대한 연구 (Study on Test Coverage Analysis & Assessment Standard for Train Control Software Verification)

  • 조현정;황종규;오석문;신승권
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2010년도 추계학술발표논문집 1부
    • /
    • pp.163-167
    • /
    • 2010
  • 최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

  • PDF

소프트웨어 결함 추이분석을 통한 테스트 프로젝트 개선방안에 대한 연구 (Study of the Improvement Measurement of Test project through Software Defect trend analysis)

  • 장진욱
    • 한국산학기술학회논문지
    • /
    • 제16권1호
    • /
    • pp.691-696
    • /
    • 2015
  • 소프트웨어 결함에 대한 관심이 높아지고 있다. 기업은 소프트웨어를 개발하는 조직, 고객대응 조직, 품질관리 조직 등 다양한 방법과 채널을 이용하여 개선을 위한 노력을 하고 있다. 이렇게 수집된 결함 데이터 들을 그 조건과 용도에 맞게 분석하여 소프트웨어 결함을 최소화하고 나아가 제품품질 향상에 기여할 수 있다. 본 연구에서 기업용 소프트웨어의 결함 추이를 테스트 성숙도 모델을 기반으로 분석하여 결함 예방 프로세스를 수립하고 프로젝트에 적용하여 106개의 결함이 16개로 감소하였다. 본 연구는 소프트웨어 품질활동 중 기본이 되는 기존결함에 관심을 가짐으로서 최소한의 자원을 활용하여 소프트웨어 제품 품질을 개선할 수 있는 방안을 제시하는데 의의를 가진다.

HAUSAT-2 비행소프트웨어 개발 (FLIGHT SOFTWARE DEVELOPMENT FOR HAUSAT-2 ON-BOARD COMPUTER)

  • 심창환;류정환;최영훈;장영근
    • 한국우주과학회:학술대회논문집(한국우주과학회보)
    • /
    • 한국우주과학회 2006년도 한국우주과학회보 제15권1호
    • /
    • pp.117-120
    • /
    • 2006
  • HAUSAT-2 비행소프트웨어 개발은 HAUSAT-2의 요구 조건을 분석하였고, 분석 결과에 따라서 HAUSAT-2 비행소프트웨어를 설계하였다. 설계 완료 후 소프트웨어 코딩 및 컴파일을 수행하고, 개별 시험과 통합 시험을 거쳐 비행소프트웨어의 알고리즘을 검증한다. 현재 HAUSAT-2의 개발 상황은 시험 모델에 대한 통합 시험을 마쳤고, 시험 결과를 분석하여 비행소프트웨어의 수정 및 운영 체제 추가 개발을 진행 중에 있다. 본 논문에서는 HAUSAT-2 비행소프트웨어(flight software)의 아키텍처와 전반적인 개발 과정 그리고 개발 환경에 대하여 설명한다.

  • PDF

PE Format 조작을 통한 소프트웨어 크랙 방지 기술 (How to Prevent Software crack for Control PE)

  • 김태형;장종욱
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2017년도 춘계학술대회
    • /
    • pp.249-251
    • /
    • 2017
  • 과거에는 소프트웨어 보안이 크게 중요하지 않게 생각해왔다. 그러나 소프트웨어를 공격하는 기술은 시대를 넘어 빠르게 성장하고 있으며 이로 인한 소프트웨어 산업의 성장은 감소하고 저작권자의 이익은 점점 감소하고 있다. 그래서 본 연구에서는 PE 포맷 조작을 통해 소프트웨어 크랙을 방지하는 것을 제안한다. 보통 해커는 프로그램을 정적으로 먼저 분석을 해서 1차적인 정보를 얻는데 PE 포맷의 약간의 조작만으로 정적 분석을 방해할 수 있다. 그리고 PE 포맷 조작을 통해 해당 프로그램에 여러 가지 보안 코드가 삽입 가능하며 이를 통해 해커들의 디버거를 이용한 접근이나 동적 분석을 방해 할 수 있다.

  • PDF

인공위성 시스템소프트웨어 모니터링 도구의 설계 (Design of a monitoring tool for spacecraft system software)

  • 조병태;김선욱;박형식;김형신;최종욱;채동석;이종인
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
    • /
    • pp.223-227
    • /
    • 2006
  • 인공위성의 탑재 컴퓨터는 일종의 내장형 시스템으로서, 인공위성 전체의 동작을 제어하는 핵심 부품이다. 이러한 인공위성 탑재 컴퓨터에 이용되는 시스템 소프트웨어는 실시간 고신뢰성을 요구하고 있으며, 따라서, 위성 컴퓨터에 탑재되는 시스템소프트웨어 및 응용소프트웨어의 동작성능 분석은 매우 중요한 문제로 인식되고 있다. 본 연구에서는 차세대 저궤도 인공위성의 ERC32 기반 탑재 컴퓨터용 시스템 소프트웨어의 동작상태를 분석할 수 있는 모니터링 도구를 설계하였다. 이를 위하여 인공위성 시스템 소프트웨어 모니터링 도구의 요구조건을 분석하였다. 제안한 도구는 상위수준 및 하위수준에서의 모니터링이 동시에 가능하며, 시스템 소프트웨어의 실시간성 및 신뢰성을 선행적(proactive) 방법으로 감시할 수 있는 장점이 있다.

  • PDF

무인비행체 비행제어 Open Source 소프트웨어에 대한 정적분석 및 개선방안 (Static Analysis and Improvement Opportunities for Open Source of UAV Flight Control Software)

  • 장정훈;강유선;이지현
    • 한국항공우주학회지
    • /
    • 제49권6호
    • /
    • pp.473-480
    • /
    • 2021
  • 소형 무인비행체 드론의 비행제어기(Flight Controller) 소프트웨어로 널리 사용되고 있는 오픈소스(Open Source)에 대한 정적분석(Static Analysis)을 통해 소프트웨어 품질의 문제점을 분석하고 개선 방안을 제시한다. 소프트웨어 품질 기준으로는 국제적으로 널리 적용되고 있는 MISRA 코딩 규칙을 선정하였으며, 정적분석 도구는 국제 도구인증(Tool Certification)을 받아 항공분야 뿐만 아니라 안전성(Safety)이 요구되는 자동차, 철도, 원자력, 의료 등 모든 산업에서 활용되고 있는 LDRA Tool을 사용하였다. 오픈소스 모듈의 구조, 사용 데이터 분석, 코딩 규칙 준수, 품질 지표(복잡도 및 시험성) 등 소프트웨어의 품질 전반에서 안전성을 위협하는 문제점들을 발견하였으며, 이에 대한 개선 방안을 제시하였다.

표정과 음성 감성 분석을 통한 통합 스트레스 분석 시스템 (An Integrated Stress Analysis System using Facial and Voice Sentiment)

  • 이애진;전지원;유수화;김윤희
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2021년도 추계학술발표대회
    • /
    • pp.9-12
    • /
    • 2021
  • 현대 사회에서 극심한 스트레스로 고통을 호소하는 사람들이 많아짐에 따라 효과적인 스트레스 측정 시스템의 필요성이 대두되었다. 본 연구에서는 영상 속 인물의 표정과 음성 감성 분석을 통한 통합 스트레스 분석 시스템을 제안한다. 영상 속 인물의 표정과 음성 감성 분석 후 각 감성값에서 스트레스 지수를 도출하고 정량화한다. 표정과 음성 스트레스 지수로 도출된 통합 스트레스 지수가 높을수록 스트레스 강도가 높음을 증명하였다.