• 한국컴퓨터정보학회논문지
• /
• 제16권12호
• /
• pp.1-10
• /
• 2011

내장형 시스템의요구사항이 복잡해짐에 따라 내장형 소프트웨어의 신뢰도를분석하기 위한 도구가 요구되고있다. 소프트웨어의 신뢰도를 분석하는 방법으로는 확률적 모델링을 이용하는데, 다수의 디바이스를 제어하는 내장형 소프트웨어에 적용하기 위해서는 내장형 소프트웨어에 특성화 시킬 필요가 있다. 또한, 기존의 신뢰도 분석 도구는 각 상태간의 전이 확률을 다른 방법으로 측정해야 하고, 한 번 작성한 모델에 대해 재사용을 고려하고 있지 않는다. 본 논문은 내장형 소프트웨어의 신뢰도를 분석하기 위해 내장형 소프트웨어 마르코프 체인 모델과 단위 테스팅 도구를 이용한 신뢰도 분석 도구를 제안한다. 내장형 소프트웨어 마르코프 체인 모델은 신뢰도 분석 방법으로 많이 사용되고 있는 마르코프 체인 모델을 내장형 소프트웨어에 특성화 시킨 모델이다. 그리고 단위 테스팅 도구는 내장형 소프트웨어의 개발환경에 적합한 호스트/타겟 구조를 가지고 있다. 제안하는 도구는 신뢰도 분석을 위해 단위간 전이 확률을 단위 테스트 결과로부터 자동으로 측정하여 기존의 도구보다 용이하게 신뢰도를 분석할 수 있다. 그리고 소프트웨어 모델을 XML 기반의 문서로 표현하여 단위 테스팅 도구가 업데이트 시킨 테스트 결과를 바로 적용할수 있고, 웹 기반의 인터페이스와 SVN 저장소를 이용하여 다수의 개발자가 쉽게 접근할 수 있는 장점을 갖는다. 본 논문에서는 예제를 이용하여 신뢰도의 분석을 보이고 신뢰도 측정에 유용함을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제13권7호
• /
• pp.19-27
• /
• 2008

컴퓨팅 자원 사용에 제약이 많은 임베디드 소프트웨어 개발에 있어서 성능 분석 도구는 품질 개선을 위해 매우 중요한 역할을 한다. 그러나 기존 임베디드 소프트웨어 성능 분석 도구들은 단일 개발자의 교차개발 지원을 위한 성능분석 환경만을 제공하기 때문에 임베디드 소프트웨어를 위한 협업 성능분석 도구로서 활용될 수 없다. 본 논문에서는 협업 환경에서 임베디드 소프트웨어 성능 분석을 효과적으로 수행하기 위한 서버 기반의 새로운 성능 분석도구를 제안한다. 제안하는 성능분석 도구는 개발 소프트웨어에 대해 실행한 성능 분석로그를 협업 개발자들 기호에 맞는 다양한 그래픽 뷰로 생성하여 개발자간의 신속하고 효율적인 정보 공유를 가능하게 함으로써 프로그램의 성능 향상을 위한 개발자의 성능 분석 환경을 크게 개선할 수 있다.

• 항공우주시스템공학회지
• /
• 제18권2호
• /
• pp.79-86
• /
• 2024

본 연구에서는 이종 그래픽 저작 도구를 이용한 SMFD 화면 시현 소프트웨어 작성을 목표로 한다. 그래픽 저작 도구는 화면에 시현할 그래픽 요소의 위치, 움직임 등을 보다 손쉽게 사용자 친화적으로 설계 가능한 방안을 제공하고, 설계 내용을 소스 코드로 변환하며, 해당 소스 코드로 생성한 소프트웨어를 대상 시스템에서 구동하기 위한 그래픽 엔진을 제공한다. 이에 따라 그래픽 엔진은 그래픽 저작 도구 및 적용 대상 시스템에 의존적이다. 특히, 단일 시스템에서 이종 그래픽 저작 도구를 통해 개발한 소프트웨어 구동 시 다수의 그래픽 엔진 운용되며, 이는 여러 문제를 초래할 수 있다. 본 논문에서는 이종 그래픽 저작 도구를 사용한 SMFD 화면 시현 소프트웨어 개발 과정에서 발생한 문제와 이에 대한 해결 방안을 기술하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권6호
• /
• pp.377-382
• /
• 2013

제품라인공학 기반의 융합소프트웨어 개발 방법론에서는 어플리케이션 개발을 위해 아키텍처 모델을 제안하고 있다. 그리고 명세를 이용하여 제어컴포넌트를 개발하도록 제안하는데 워크플로우는 트랜잭션을 주로 처리하는 어플리케이션 개발을 위해 제안되었다. 제품라인 공학 기반의 소프트웨어 개발이 효과를 발휘하기 위해서는 도구의 지원이 반드시 필요하다. 하지만 기존의 워크플로우 모델링 도구들은 제품라인 공학개념을 지원하지 않기 때문에 워크플로우 기반의 제품라인 소프트웨어 개발을 지원할 수 있는 도구의 개발이 필요했다. 본 논문에서는 워크플로우 기반의 제품라인 소프트웨어 개발을 지원하기 위해서 개발된 도구를 소개하고 개발된 도구의 활용 가능성을 확인하기 위해서 간단한 활용예제를 소개한다.

• 정보와 통신
• /
• 제33권3호
• /
• pp.87-93
• /
• 2016

무선공유기에 대한 공격은 오픈 소스(Open Source) 소프트웨어 도구(Software Tool)가 널리 공개되어 실행하기 수월해진 반면, 이러한 보안 위협에 대한 탐지 및 대응 기술은 알려진 바가 적다. 본고에서는 무선공유기에 대한 보안 공격의 유형과 그에 대한 무선네트워크의 취약성을 알아봄으로써 무선 침입 탐지시스템의 필요성을 살펴보고, 소규모 네트워크에는 적합하지 않은 상용 무선침입방지시스템의 대안으로 오픈 소스 소프트웨어 도구를 제시하였다. 모의 침투를 통해 오픈 소스 소프트웨어 도구의 성능을 분석하고 상용도구와 비교함으로써 추후의 개발 방향과 가능성을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.382-384
• /
• 2005

임베디드 소프트웨어는 다른 일반 시스템과는 여러 가지 다른 특성을 가지고 있다. 우선 프로세서 자원과 메모리 자원을 적게 사용해야 하며, 소프트웨어의 오류에 대해 데스크 탑 또는 기타 서버환경에 비해 확실한 소프트웨어의 검증을 요구한다. 이러한 소프트웨어의 검증은 임베디드 소프트웨어의 오류허용이 다른 환경에 비해서 매우 다르기 때문에 고난도의 임베디드 소프트웨어의 응용을 빠르고 안정되게 개발하기 위해서는 사용자가 쉽게 사용할 수 있는 기술이 절실히 필요한 실정이다. 본 논문에서는 기존의 테스팅 자동화도구의 핵심 이슈인 테스트 데이터 제너레이터와 테스트 스크립트의 기능을 포함한 모듈인 테스트슈트 제너레이터의 성능향상 위한 방법을 제시한다. 제시된 테스트슈트 제너레이터 모듈은 임베디드 소프트웨어 테스팅 자동화도구의 개발 시 활용하여 개발한다면 임베디드 소프트웨어를 보다 효과적으로 테스팅 할 수 있을 것으로 예상된다.

• Journal of Platform Technology
• /
• 제10권4호
• /
• pp.11-24
• /
• 2022

항공기 소프트웨어를 개발하는 도구는 도구에서 생성된 결과물에 오류가 있으면 항공기 소프트웨어에 에러를 유입할 수 있기 때문에 항공기 소프트웨어와 동일한 수준의 안전성이 요구된다. 본 논문은 한화시스템의 A661UAGEN 도구를 통해 ARINC 661 표준 UA 정의 파일과 CDS 설정 파일을 생성 시에 도구의 입력과 출력 파일에 대한 유효성 확인을 통해 항공기 소프트웨어의 일부가 되는 도구 산출물의 신뢰성을 확보하는 방법에 대해 기술한다. A661UAGEN 도구의 입력인 XML 파일에 대한 스키마 정의를 통해서 XML 데이터의 구조와 내용이 유효한지를 확인하는 방법을 제시하였다. 그리고 출력인 바이너리 데이터는 자료 구조의 유효 값에 대한 마스크 데이터를 생성하여 유효성을 확인하는 방법을 제시하였다. 이와 같이 A661UAGEN 도구의 입력과 출력에 대한 유효성 확인을 통해 항공기 소프트웨어에 통합되는 바이너리 DF와 CF의 신뢰성을 향상시켜 항공기 소프트웨어 개발자가 도구를 활용하여 OFP를 개발 시에 안전성을 보장할 수 있도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.943-945
• /
• 2004

임베디드 소프트웨어는 타겟 시스템의 자원과 타이밍에 민감하므로 실제 타겟 시스템과 동일한 환경에서 디버깅해야한다. 이를 위한 기존의 기법들은 타겟 시스템의 자원에 직접적으로 접근하여 시스템 상태를 조사하거나 제어한다. 그러나 이러한 기법들은 내부 신호나 자원에 대한 접근이 제한되어 있는 SoC (System-On-a-Chip) 프로그램을 디버깅하기는 부적합하다. 본 논문에서는 산업 표준화된 JTAG을 기반으로 공개 소프트웨어인 gob를 연동하여 SoC 소프트웨어를 디버깅하는 도구를 제안한다. 따라서 본 도구는 타겟 시스템에 영향을 주지 않고 경제적으로 디버깅할 수 있는 환경을 제공한다.

• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.117-128
• /
• 1997

본 논문에서는 소프트웨어 개발 프로제트의 수행시 당면하고 있는 문제들 - 납기지연, 개발예산 초과, 수정 및 변경시 관리상의 어려움 등 -을 해결하는데 상당한 도움을 줄 수 있는 한국적 프로젝트 개발방법론 관리방법론과 이와 연계된 마르미 지원도구를 소개하였다. 소개되어진 방법론과 지원도구는 국내 소프트웨어 개발 프로젝트의 생산성 및 품질향상에 중요한 기여를 할 것으로 기대되며, 궁극적으로 국내 소프트웨어 산업의 경쟁력 향상에 큰 역할을 할 것으로 기대된다.

• 한국컴퓨터정보학회논문지
• /
• 제9권1호
• /
• pp.17-23
• /
• 2004

소프트웨어 자동 테스팅 도구를 이용하여 테스트 프로세스의 전부 또는 일부를 자동화함으로써 테스트시간의 단축과 테스트 비용을 줄일 수 있다 그러나 하나의 테스팅 도구를 이용하여 이질적인 컴퓨팅 환경에서 다양한 종류의 테스트 요구 사항을 모두 충족시킨다는 것은 현실적으로 불가능하다 본 논문에서는 소프트웨어 자동 테스팅 도구의 분류 기준을 제시하고, 이를 기반으로 상용화된 테스팅 도구들의 특성을 조사, 분석하여 테스팅 도구의 발전 로드맵을 제시함으로써 테스팅 도구들 상호간의 관계성 이해와 향후 테스팅 도구들의 발전 방향을 모색하고자 한다.