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

최근 컴퓨터 및 컴퓨터 통신의 발달은 서로 다른 플랫폼에 접근할 수 있는 기회를 증가시키고 있으며, 이와 더불어 새로운 하드웨어 및 운영 체제의 지속적인 출현은 멀티플랫폼 소프트웨어에 대한 요구를 증가 시켜왔다. 따라서 프로그래머는 새로운 소프트웨어를 개발하거나 기존의 소프트웨어를 포팅할 때, 멀티플랫폼에서의 실행을 염두에 두어야 하는데 이를 위한 도구의 설계 및 프로토타입 구현[11]에 대해서 이미 소개한 바 있다. 본 논문에서는 기존의 GNU 시스템 도구들과 연계되어 개발된 이 포터블 프로그래밍 도구를 활용하여 멀티플랫폼 소프트웨어를 제작하는 단계를 서술하고 이 때 우리의 도구가 어떤 역할을 하는지에 대해서 논한다.

• 한국정보처리학회논문지
• /
• 제4권8호
• /
• pp.1987-1994
• /
• 1997

ATM 교환기 소프트웨어 품질 특성은 신뢰성이 높고 기능성, 확장성 및 유지 보수성이 조아야만 한다. 소프트웨어의 개발 과정이나 설계 후에 이러한 품질 특성이 만족되었는지의 여부를 평가하고 검증하는 테스팅 도구들은 많이 개발되어 왔으나 ATM 관련 소프트웨어의 품질 평가 도구는 기능성에서 뒤떨어지고 품질면에서도 부적합하다. 본 논문에서는 CHILL 언어로 작성된 ATM 교환기 소프트웨어를 대상으로 이를 평가하기 위한 테스팅 분석자료, 디버깅 및 유지 보수 정보를 제공하는 정적 도구를 설계하여 구현한다. 이 도구는 입력 프로그램에 대한 높은 가시성을 제공하여 병렬 프로세싱에 관한 정보를 통계표와 그래프로 나타내는 특성을 갖는다.

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

소프트웨어 제품을 실행시키기 위해 요구되는 데이타의 품질은 소프트웨어 품질에 영향을 미치고 있다 특히 대용량의 데이타로부터 의미 있는 지식을 추출하는 지식공학 시스템에서 원시 데이터의 품질을 보장하는 일은 매우 중요하다. 본 논문에서는 데이타의 측정 도구인 DAQUM도구를 설계 구현하였다. 본 논문에서는 DAQUM도구의 설계 및 구현에 관한 주요내용을 기술하고, 사례연구를 통하여 DAQUM도구가 오류데이타를 검색하여 데이타 사용자 관점에서 데이타의 품질을 정량적으로 측정 가능하도록 함을 나타낸다. DAQUM도구는 데이타의 품질 측정 및 품질 제어를 가능하게 함으로써 데이타를 주로 처리하는 소프트웨어 제품의 품질 향상에 기여할 수 있다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 추계학술발표논문집 1부
• /
• pp.163-167
• /
• 2010

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.511-513
• /
• 2005

하드웨어의 성능향상으로 임베디드 통신 소프트웨어의 복잡도가 크게 증가되고, 이에 따르는 추가적인 개발 비용이 발생하고 있다. 개발자들은 임베디드 통신 소프트웨어의 복잡도를 해결하는데 필요한 소프트웨어 도구와 기술을 필요로 하고 있다. 본 논문에서는 임베디드 통신 소프트웨어 개발에 효과적인 SDL(Specification Description Language) 기반의 통합 개발도구인 SDT(SDL Design Tool)를 사용하여 소프트웨어를 개발하는 절차에 대하여 기술한다. 그리고 통신 소프트웨어인 ITU-T V.76 프로토콜에 개발 절차를 적용하여, SDT를 사용한 개발 절차와 일반적인 임베디드 통신 소프트웨어 개발 절차를 비교, 분석한다. 그 결과, SDT를 사용한 개발 절차가 개발 효율성과 유지보수 효율성에서 더 좋은 성능을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.215-218
• /
• 2006

모바일 인터넷과 다양한 정보단말기의 보급, 소프트웨어 플랫폼의 다양화와 복잡도가 증가하면서 소프트웨어 간에 상호운용성과 이식성의 결여로 인해 플랫폼 독립적인 새로운 소프트웨어 개발 방법이 필요하다. 또한 특정 플랫폼에서 개발된 소프트웨어들은 특정 단말기를 통해 연동되므로 차세대 컨버전스 기술을 위한 미들웨어 융합에 관한 연구도 필요하다. 따라서 본 논문에서는 플랫폼 독립적인 소프트웨어 개발과 변환을 위해 MDA 기반 소프트웨어 지원 도구 개발과 다양한 플랫폼을 지원하는 미들웨어 융합 시스템 개발 및 모바일 컨버전스 임베디드 소프트웨어 품질 보증에 대한 연구를 통해 차세대 품질보장형 모바일 컨버전스 서비스 제공을 위한 기본적인 기능 구조를 제공하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.79-82
• /
• 2011

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.

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

본 논문은 스마트 테스트 도구(Smart Test Tool)를 이용해 식기세척기 소프트웨어를 검증하는 기법에 대해 제안한다. 가전제품의 동작을 기술하기 위해 통상 스펙시트(spec. sheet: 동작명세서)를 이용하는데, 스펙시트를 이용하면 식기세척기 소프트웨어를 개발자 수준에서 블랙박스 테스트 방법으로 검사해 볼 수 있다. 스펙시트는 식기세척기 행정의 기준이 되며 식기세척기를 실제로 동작시키며 얻은 덤프데이터(dump data)는 비교 대상이 된다. 스마트 테스트 도구는 스펙시트 값의 기준대로 덤프데이터 값이 출력되었는지 확인함으로써 각 행정이 제대로 진행되었는지 파악할 수 있다. 이 논문에서는 스마트 테스트 도구의 구조와 오류 검출 메커니즘에 대해 기술한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.289-292
• /
• 2005

체계적이고 지속적인 소프트웨어 개발 프로세스 측정 및 분석 활동은 프로젝트 관리에 있어서 중요한 요소 중의 하나로 알려져 있다. 하지만 측정 및 분석 활동에 요구되는 높은 비용과 신뢰성 있는 메트릭 데이터 획득의 어려움으로 인해 측정 및 분석 활동을 수행하는 데에는 많은 어려움이 존재한다. 본 논문에서는 메트릭 자동 수집 및 분석 도구와 이 도구를 기반하여 소프트웨어 프로젝트 관련 문제 인식과 문제 해결을 할 수 있게 하는 방법을 제안한다. 도구와 방법을 통해 메트릭 수집에 대한 오버헤드를 없애 측정 및 분석 활동의 수행을 쉽게 할 수 있고 수집된 메트릭의 분석을 통해 객관적으로 이슈를 파악하고 해결 할 수 있다. 또한 프로젝트 중에 메트릭의 지속적인 수집이 가능하고 수집과 동시에 수집된 메트릭에 대한 분석을 할 수 있기 때문에 잠재적인 위험 요소의 조기 식별과 해결을 가능케 하여 소프트웨어 제품의 품질향상과 문제해결에 드는 비용의 절감 효과를 얻을 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.331-333
• /
• 2005

소프트웨어 프로덕트 라인 공학은 공통성과 가변성 식별을 통해 소프트웨어 재사용을 극대화 시키는 접근방법으로 이를 지원하는 도구에 대한 연구가 다수 진행되고 있다. 하지만 기존의 도구는 특성 다이어그램만을 지원하고 있고, 특성구성 정보를 이용한 프로덕트의 조립을 수행하지 못하고 있다. 따라서 본 연구에서는 소프트웨어 개발자에게 공통적 언어인 UML을 이용하여 특성모델을 표현하고 특성구성에 따라 조립을 수행하는 특성모델링 지원도구를 제안한다. 이러한 UML 기반의 특성모델링 지원도구를 통하여 보다 쉽게 특성모델링과 프로덕트 조립을 수행할 수 있다.