• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.265-267
• /
• 2003

내장형 컴퓨터 시스템은 특정 기능을 수행하기 위해 소프트웨어와 이를 구동시키기 위한 프로세서로 구성되어 있다. 이러한 시스템의 대부분은 실시간 제약들을 만족해야 한다. 실시간 제약들을 만족하는 애플리케이션을 빠른 시간안에 구현하기 위해서는 제작 전 성능을 예측하는 도구가 필수적이다. 본 논문에서는 현재 내장형 시스템 플랫폼으로 널리 활용되고 있는 ARM 기반의 내장형 애플리케이션의 극단적인(최적, 최악) 경우의 수행 시간 경계를 예측하는 문제를 연구하였다. ARM 기반의 내장형 시스템의 수행시간의 경계를 예측하기 위하여 기존의 실시간 내장형 소프트웨어의 성능 예측 도구인“Cinderella”의 기본 프레임웍을 ARM 프로세서를 지원하도록 확장하여 성능분석도구를 설계하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.849-852
• /
• 2002

전통적으로 소프트웨어 공학분야에서는 소프트웨어 설계 및 개발을 위한 자동화도구와 정형화기법이 적용되었으며, 안전한 보안시스템의 개발을 위해서도 수학적인 명세와 검증도구를 사용하는 경우, 보다 안전하고 완전한 보안시스템을 구축할 수 있다. 본 연구는 정형화 명세언어인 Z를 이용하여 보안시스템을 기술하고, 기술된 명세를 소프트웨어 검증도구를 이용하여 보안시스템이 제공하는 보안특성 만족 여부 점검을 목적으로 한다. 이를 위해 본 논문에서는 수학적으로 기술된 시스템에 대한 명세를 Z스키마로 변환하는 변환규칙을 기술하고, 이와 함께 Z언어 검증도구인 Z/EVES를 이용한 검증결과를 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.123-125
• /
• 2012

임베디드 소프트웨어에서의 테스팅은 하드웨어에 의존도가 높기 때문에 일반적인 소프트웨어에서의 테스팅과 달리 다양한 테스트 기법과 도구를 활용한 기술 집약적 테스트가 미약하고, 다른 펌웨어에서 테스팅 할 경우 테스팅이 제대로 되지 않는다. 본 논문에서는 하드웨어 의존도가 높은 임베디드 소프트웨어의 모듈을 펌웨어가 다른 x86의 환경에서 테스팅 할 수 있도록, 레지스터, 포트 등을 참조하는 부분을 로그로 출력하고, 모듈끼리의 의존성이 없도록 소스 코드를 수정하여, 공개 소스 테스팅 도구를 활용하여 단위 테스트 할 수 있도록 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.962-965
• /
• 2015

차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.

• 한국산학기술학회논문지
• /
• 제11권11호
• /
• pp.4460-4467
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 철도시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 철도시스템 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 철도 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 철도시스템 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다. 개발한 도구는 기존 해외 도구에 비해서 여러 테스트 커버리지를 효과적으로 측정할 수 있는 강점이 있으며, 실제 철도 현장에서 활용성이 높아 철도 소프트웨어의 개발 및 테스트 기술 발전을 기대할 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.123-132
• /
• 2003

품질 인증 테스트는 소프트웨어의 품질을 결정하고 보증하기 위하여 인증 기관에서 제품 개발 후에 수행하는 테스트로써 해당 제품의 소스 코드 없이 제품 매뉴얼의 분석을 통하여 테스트가 이루어지는 경우가 대부분이다. 본 논문에서는 제품 매뉴얼에 기반한 테스트 데이타 생성을 위하여, 소프트웨어 패키지와 매뉴얼 분석 데이타로부터 테스트 데이타를 생성하는 것을 자동화한 '테스트 데이터 자동 생성 도구'(Manual-based Automatic Test data generating tool: MaT)를 구현한다. MaT의 입력 데이타는 소프트웨어 패키지와 매뉴얼의 분석 결과인데, 입력 데이타 구성을 위하여 '메뉴 기반 테스트 분석 모델'을 제안한다. 본 도구를 소프트웨어 패키지의 품질 인증 테스트에 적용함으로써 품질과 신뢰도가 향상된 소프트웨어 제품 개발에 기여할 수 있게 된다.

• 한국산업정보학회논문지
• /
• 제16권5호
• /
• pp.83-92
• /
• 2011

IDEF는 전통적인 구조적 소프트웨어 개발에 많이 사용된 방법론이다. 객체지향 소프트웨어가 널리 사용됨으로 이에 맞는 모델을 IDEF 개발 기관에서 제시한 것이 IDEF4다. UML은 객체지향 소프트웨어의 산업표준으로서 널리 이용되는 도구이다. IDEF는 CALS/EC 등에서 많이 사용하고 UML은 일반적인 객체지향 소프트웨어 개발할 때 많이 사용하기 때문에 소프트웨어 개발자들은 IDEF4모델의 표현법 보다는 UML의 표현법에 익숙하다. 또한 UML을 사용한 CASE 도구가 많이 개발되어 있어 IDEF4 모델을 UML 모델로 표현하면 이런 도구를 사용하여 소프트웨어 개발을 좀 더 효율적으로 할 수 있다. 본 논문은 IDEF4 모델을 UML 모델로의 변환하는 방법에 관하여 기술하였다. 변환 규칙을 제시하고 이를 사례에 적용하였다.

• 한국통신학회논문지
• /
• 제38C권10호
• /
• pp.831-840
• /
• 2013

최근 소프트웨어 보안성 강화를 위해 소프트웨어 개발단계에서 보안취약점의 원인인 보안약점을 제거하기 위한 정적분석 기반의 도구를 많이 활용하고 있다. 따라서, 보안약점 진단도구는 다양한 보안약점을 진단할 수 있는 진단규칙을 보유하는 것이 필요하다. 2011년부터 2012년까지 국내 주요 정보화사업으로 개발된 소프트웨어에서 발견된 상위 5개의 보안약점은 연도별 상위 10개 보안약점의 76%에 해당된다. 소프트웨어 개발시 상위 5개의 보안약점만 적절히 조치하여도 소프트웨어 보안성이 많이 개선될 수 있다. 본 논문은 많이 활용되고 있는 공개용 진단도구인 PMD를 대상으로 주요 보안약점에 대한 진단규칙과 이에 대한 성능시험 결과를 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1969-1972
• /
• 2002

소프트웨어 재사용 기술은 소프트웨어공학 분야의 오래된 주제로 단순한 복사 및 붙이기(copy & paste)에서 현재의 소프트웨어 컴포넌트 기술에 이르기까지 계속해서 연구되고있다. 재사용의 단위를 무엇으로 하냐에 따라 또는 소프트웨어 개발 주기 중 어느 단계의 산출물을 재사용 하느냐에 따라 다양한 개념과 기법들이 소개되었으며 실제 소프트웨어 개발에 활용되고 있다. 또한 컴퓨팅 환경의 변화에 보조를 같이하여 특정 어플리케이션을 지원하는 재사용기술 들이 등장하고 있다. 본 논문에서는 웹(Web) 기반의 프로그램에 소프트웨어 컴포넌트 재사용 기술을 접목하고자 한다. 수없이 많은 웹 기반 어플리케이션들이 개발되었고 또한 개발되고 있으며 다른 컴퓨팅 환경에서 운영되는 다양한 기존 시스템들도 웹 기반으로 옮겨가고 있다. 본 논문의 목적은 기 개발된 웹 프로그램에서 재사용 가능한 모듈을 컴포넌트 화하여 차후 웹 프로그램 개발 시에 재사용될 수 있도록 하는 것이다. 웹 지원 언어 중 Sun 사의 서블릿(Servlet)[1]으로 개발된 어플리케이션들을 EJB(Enterprise JavaBeans)[2] 환경으로 변환시키기 위한 기법과 이를 지원하는 도구를 소개한다. 본 논문에서 소개하는 도구는 크게 분석기, 시각화기, 추출기, 생성기, 및 전개기로 구성되며 해당 모듈에서 입력받은 서블릿을 처리하며 최종적으로 세션 빈(session bean)[2] 또는 엔터티 빈(entity bean)[2]과 같은 EJB 컴포넌트를 생성한다.

• 한국항공우주학회지
• /
• 제46권11호
• /
• pp.961-968
• /
• 2018

항공기 시현계통은 항공기 운영에 필요한 다양한 정보를 통합하여 조종사에게 시현한다. 시현계통에서 소프트웨어 결함이 발생되면 정확하지 않은 정보가 조종사에게 시현될 수 있기 때문에 항공기의 운영에 심각한 영향을 미칠 수 있다. 따라서 시현계통의 개발 중에 지상시험과 비행시험을 통해 발생 가능한 소프트웨어 결함을 식별하고 제거하려고 노력하고 있다. 본 연구는 비행시험 자료를 이용하여 시현계통의 소프트웨어 결함 분석을 지원하는 도구인 FDR(Flight Data Replay)을 제시한다. 이 도구는 항공기 임무컴퓨터와 연동되어 실시간으로 동작한다. 그리고 시현소프트웨어에 비행시험 자료를 적용하여 시현장치에 나타나는 기능적인 오류상황을 재현한다.