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

검색결과 6,441건 처리시간 0.03초

소프트웨어 안전성 평가를 위한 시스템 결함 분석 기법

  • 백동근;성경배;박만곤
    • 한국정보시스템학회:학술대회논문집
    • /
    • 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
    • /
    • pp.389-402
    • /
    • 1997
  • 컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

  • PDF

소프트웨어 정적 분석의 가시적 표현 모델 (Graphical Presentation Model for Static Analysis of Software)

  • 송승화;김윤관;장천현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
    • /
    • pp.117-122
    • /
    • 2007
  • 오늘날 소프트웨어의 설계 및 개발과 관련된 연구들은 많은 발전을 이루고, UML과 같은 의사소통을 위한 표준 언어가 만들어졌으며 많은 사람들이 관련 이론을 수용 및 활용하고 있다. 또한, 개발 프로세스에서의 설계 및 구현과 더불어 소프트웨어의 유지 보수 단계는 매우 중요하며 이러한 소프트웨어의 유지 보수를 위한 소프트웨어 검증에 관련된 연구는 근래에 많은 주목을 받고 있다. 하지만 소프트웨어 검증의 기술 개발 수준은 설계 및 개발에 비하여 많이 미흡한 실정이다. 소프트웨어 검증은 주로 검증하기 위한 입력 데이터를 산출하여 프로그램 실행을 통해 결과를 확인하는 동적 분석에 대한 연구가 주를 이룬다. 이러한 동적 분석은 원하는 산출물의 확인을 주목적으로 하며, 결과를 표현하는 데에는 따로 정형화된 형식이 필요 없다. 하지만 소스코드를 분석하여 소프트웨어의 구조 관계와 흐름을 파악하는 정적 분석은 분석 자료를 표현하는 표현 모델이 중요하다. 현재는 정적 분석의 결과를 표현하기 위한 공통의 표현 모델이 없기 때문에 검증 과정에서의 의사소통에서 의견의 불일치의 가능성이 있고, 설계 단계에서 사용되는 표현 모델로는 정적 분석 정보의 모든 내용을 표현하는데 한계가 있다. 따라서 본 논문에서는 소프트웨어의 정적 분석 과정을 분석 4계층으로 구분하고, 각 계층마다 분석 결과를 나타내기 위한 표현 모델을 제시한다. 그리고 이 표현 모델을 활용한 소프트웨어 분석 도구의 개발을 위해, 소스 분석 데이터를 가시적으로 표현하기 위한 자료구조의 설계에 대한 내용을 다룬다.

  • PDF

적응형 소프트웨어 개발을 위한 문맥 기반 요구사항 분석 방법 (An Approach to Context-based Requirement Analysis for Self-Adaptive Software Development)

  • 장호진;문미경;염근혁
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
    • /
    • pp.370-372
    • /
    • 2004
  • 소프트웨어의 외부 환경이 동적으로 변화하고 복잡해지면서 소프트웨어가 예상하지 못한 외부 환경의 변화에 직면하였을 때 변화를 감지하고 대안을 선택하여 지속적인 서비스를 제공할 필요성이 증가하고 있다. 이를 위해 외부 환경의 변화를 감지하고 변화에 적응할 수 있는 적응형 소프트웨어가 나오게 되었다. 그러나 적응형 소프트웨어를 개발하고자 할 때 기존의 요구사항 분석 방법은 소프트웨어의 외부 환경의 변화에 대한 고려가 부족하다. 본 논문에서는 적응형 소프트웨어의 외부 환경의 변화와 그러한 변화에 의해 가변적으로 나타나는 요구사항을 분석하기 위한 문맥 기반 요구사항 분석 방법을 제시한다.

  • PDF

소프트웨어 품질 평가를 위한 정량적 자료 예측 (The Quantity Data Estimation for Software Quality Testing)

  • 정혜정
    • 한국융합학회논문지
    • /
    • 제8권10호
    • /
    • pp.37-43
    • /
    • 2017
  • 본 연구는 소프트웨어 품질이란 측면에서 소프트웨어 시험 자료를 활용하여 예측을 위한 모델을 소개하고 소프트웨어 시험과정에서 추출한 자료를 이용해서 품질 특성별 시험 결과를 분석하려 한다. 소프트웨어 시험 평가를 위해서는 소프트웨어 시험 평가에 소요되는 기간에 대한 분석을 실시하고 소프트웨어 품질특성별 오류 수에 대한 분석과 성별에 따라서 소프트웨어 시험 기간에 미치는 차이를 분석한다. 본 연구에서는 기존 시험을 통해서 얻어진 자료를 활용하여 소프트웨어 시험을 위한 소요일 수를 분석하는 모델을 제시하고 소프트웨어 종류별 6가지 품질 특성에 따른 오류수를 분석하기 위한 모델을 제시한다.

교환 소프트웨어 복잡도 연구 (The Switching Software Metrics and Their Fault Analysis)

  • 이재기;신상권;이수종;남상식
    • 전자통신동향분석
    • /
    • 제17권2호통권74호
    • /
    • pp.49-60
    • /
    • 2002
  • 소프트웨어 관리 모델은 크게 소프트웨어 프로젝트 견적 모델과 소프트웨어 설계평가 모델, 소프트웨어 복잡성 모델, 소프트웨어 신뢰도 성장 모델, 소프트웨어 프로세스 개선 모델 등으로 나누어진다. 그 중에서도 개발된 소프트웨어를 정량적으로 분석하여 평가하는 모델이 소프트웨어 복잡도 모델이다. 본 논문은 이런 관점에서 대표적인 소프트웨어 복잡성 모델에 대한 적용법에 대해 기술하고 개발중인 교환시스템의 소프트웨어에 대해 volume metrics와 process complexity metrics 방법에 대한 분석 결과와 기타 시스템 개발을 수행하는 과정에서 발생되고 있는 문제점들에 대해 다각도로 분석을 하여 이를 연구개발 및 프로젝트 관리에 활용하고자 한다.

원전 소프트웨어의 품질요건과 ISO 소프트웨어 표준의 적합성에 대한 분석 (An Analysis of Compatability Between Software Quality Requirements for Nuclear Power Plants and ISO Software Standards)

  • 서용석;박희윤;김종명;김준엽;김현수
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
    • /
    • pp.357-360
    • /
    • 2005
  • 본 논문은 안전필수 소프트웨어라 할 수 있는 원전(원자력발전소) 소프트웨어의 품질요건을 원자력법, 시행규칙, 규제지침, 표준에 입각하여 분석하였고, 국제표준인 ISO(International Organization for Standardization) 소프트웨어 표준이 원전 소프트웨어 품질요건에 부합될 수 있는지를 ISO/IEC 12207을 중심으로 분석하였다. 현재는 요구되고 있지 않으나 앞으로 원전 소프트웨어 공급자에 대한 소프트웨어 개발능력 평가 시 소프트웨어 인증취득을 요구함으로써 원전 소프트웨어의 품질 향상과 안전성을 도모할 수 있는 방법을 제안하였다. 원전 소프트웨어에 요구되는 안전성분석에 대해서 검토하였다.

  • PDF

소프트웨어산업의 특징 및 구조변화에 대한 분석 (An Analysis on The Characteristics and Structural Change of Software Industry)

  • 조병선;조상섭
    • 전자통신동향분석
    • /
    • 제29권2호
    • /
    • pp.69-78
    • /
    • 2014
  • 소프트웨어산업은 대표적인 지식산업이면서 동시에 개인, 기업 및 정부에 이르는 각 경제주체의 지식창출과 활용 그리고 파급에 있어서 핵심적 역할을 하는 21세기 지식정보화 시대의 기간산업으로 다른 산업과 비교할 때 연구개발 및 지적노동의 투입이 월등히 높은 지식집약적인 고부가가치산업이다. 본 연구에서는 소프트웨어가 갖는 속성과 소프트웨어산업이 갖는 경제적 특징에 대해 살펴보고, 우리나라 소프트웨어산업의 현주소에 대한 동향도 살펴보았다. 그리고 소프트웨어 산업의 구조가 어떻게 변해 왔는가에 대해 IT산업을 IT기기산업, IT서비스업, 소프트웨어산업으로 구분하여 산업연관분석을 통해 살펴보았다. 본 연구에서는 2000년, 2005년 그리고 2009년도 산업연관표를 통하여 IT산업내의 소프트웨어 산업에 대한 과거 10년간 구조변화를 비교분석함으로써, 소프트웨어산업 구조변화의 분석결과에 대한 정책적 시사점을 제시하였다.

  • PDF

한국 소프트웨어 기술혁신의 구조 변동

  • 최용진
    • 한국기술혁신학회:학술대회논문집
    • /
    • 한국기술혁신학회 2017년도 춘계학술대회 논문집
    • /
    • pp.619-619
    • /
    • 2017
  • 현대사회의 제품생산과 기업활동에서 소프트웨어의 중요성과 그 가치가 날로 높아져 가는 가운데 소프트웨어 기술혁신은 과거 소프트웨어 산업 영역에 국한되었던 비교적 작은 구조에서 이제는 다양한 산업 영역에서 다발적으로 일어나는 보다 넓은 구조로 변모하고 있다. 이 연구에서는 한국 출원인이 포함된 약 270만 건의 특허 메타데이터와 기업정보 데이터를 활용한 패널데이터를 구축하여 한국 산업계 전반에 걸쳐 일어나고 있는 소프트웨어 기술혁신의 구조 변동 현상을 밝혀내고, 이를 토대로 정부의 소프트웨어 산업 정책에 관한 함의를 도출하고자 한다. 이 연구는 다음의 네 부분으로 구성이 된다. 첫째, 최근 여러 분야에서 일어나고 있는 소프트웨어와 타 산업 간의 융합 현상과 이에 대한 이론적 논의를 전개한다. 둘째, 연구에 활용 할 데이터와 실증분석 방법론에 관하여 논의한다. 셋째, 패널분석을 기초로 한 실증분석을 수행하고, 그 결과를 제시한다. 넷째, 한국정부의 소프트웨어 산업 정책을 살펴보고, 이를 바탕으로 실증분석 결과가 지니는 함의에 관하여 논의한다.

  • PDF

소프트웨어 평가를 위한 품질 분석 모델 (The Quality Analysis Model for Software Testing)

  • 정혜정
    • 디지털융복합연구
    • /
    • 제11권3호
    • /
    • pp.293-298
    • /
    • 2013
  • 소프트웨어 품질에 대한 중요성이 강조되어지고 있다. 개발에 주력하던 회사들도 소프트웨어 품질에 많은 관심을 가지고 있으며 품질을 개선하기 위한 노력을 기울이고 있다. 본 연구에서는 소프트웨어 테스팅을 통해서 얻어진 데이터를 분석하려 한다. 소프트웨어의 시험수와 시험에 소요된 날짜, 각 기능별 나타나는 발견된 오류수를 중심으로 소프트웨어 테스팅에 영향을 미치는 요인을 발견하려 한다. 또한 회귀분석을 통해서 소프트웨어 총 오류수에 가장 영향을 미치는 변인을 찾아보려 한다. 또한 테스터의 성별에 따라서 영향을 미치는 요인에 대한 분석을 하려 한다.

패키지 소프트웨어 품질평가모형 개발 및 적용에 관한 연구

  • 이국철;이성현
    • 한국데이타베이스학회:학술대회논문집
    • /
    • 한국데이타베이스학회 1999년도 국제컨퍼런스 디지털컨텐츠 활용을 통한 지식경영의 확산
    • /
    • pp.143-152
    • /
    • 1999
  • 세계 소프트웨어 시장의 급속한 성장과 함께 선진국들은 자국에 유리한 소프트웨어 품질표준을 만들어 이를 국제 표준에 반영하고, 외국 소프트웨어에 대한 진입 규제의 수단으로 활용하고 있다. 또한 전자상거래의 발달로 인해 디지털 상품인 소프트웨어는 전자상거래를 통한 거래가 쉬운 이점을 가지고 있는 상황에서 아직 우리나라에서는 패키지 소프트웨어에 관한 품질모형 개발에 관한 연구가 다소 미흡한 실정이다. 본 연구에서는 기존 국내외 소프트웨어 품질평가모형을 도출하고, 그 평가모형을 바탕으로 전자상거래에서 활용 가능한 패키지 소프트웨어만을 대상으로 품질평가모형을 개발하였다. 그리고 평가모형을 적용하기에 앞서 소프트웨어 개발 업체를 대상으로 설문조사를 실시하여 품질평가모형에 대한 실증분석을 하였다. 실증분석은 현재 개발업체가 취급하고 있는 제품에 대한 종류와 개발업체에서 평가받기를 원하는 제품의 종류, 그리고 평가대상이 될 수 있는 패키지 소프트웨어 제품의 경쟁력 수준과 관련하여 선진국의 제품과 비교하여 5점 척도로 조사하였다. 그리고 소프트웨어 개발자 입장에서 품질평가 항목별로 중요도를 조사하였으며 분석결과를 토대로 품질평가모형의 적용 대상을 선정하였다. 적용대상 제품은 모두 14개로 각각의 제품들을 게임, OA, 통신, ERP, 4GL, OS 소프트웨어로 분류하고 제품에 대한 평가는 개발자(개발경력 3년 이상)와 일반사용자로 분류하여 평가를 실시하였다. 그리고 각 제품분야별로 평가항목에 대한 가중치를 전문가 집단에 의뢰하여 적용하였다. 평가방법은 각각의 제품에 대한 평가점수를 1점부터 5점까지 나누어 평가결과를 평균값으로 나타냈으며, 평가결과에 대해 여러 가지 방법으로 분석하였다. 첫째, 동종제품간 평가분석을 통하여 각각의 제품을 비교하였으며, 둘째 소프트웨어 종류별 평가로 제품을 응용소프트웨어, 응용개발도구, 시스템 소프트웨어로 분류하여 평균값으로 비교하였다. 셋째, 국내외 제품별 평가분석으로 전체 제품을 국내제품과 국외제품으로 분류하여 비교하였으며, 마지막으로 총괄분석을 통해 가중치를 적용하여 전 제품의 점수를 비교하였다. 여기에서는 각 제품의 평균점수에 대한 차이를 95%의 유의수준으로 T-Test를 실시하였다.

  • PDF