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

자동차산업은 매년 발전하고 있다. 자동차용 소프트웨어의 중요성이 커지고 있기 때문에 자동차용 소프트웨어의 신뢰성 평가는 이루어 져야한다. 자동차용 소프트웨어의 오류가 있을 경우 대형 사고로 이어질 수 있기 때문에 자동차용 소프트웨어의 신뢰성 평가가 반드시 필요하다. 따라서 본 논문에서는 자동차용 소프트웨어의 신뢰성 평가를 위한 다양한 평가 방안들에 대한 분석을 수행하였다.

• 정보보호학회지
• /
• 제28권2호
• /
• pp.27-32
• /
• 2018

최근들어 소프트웨어의 오류 및 취약점을 자동으로 수정하는 기술이 주목받고 있다. 소프트웨어의 오류를 수정하는 작업은 소프트웨어 개발 단계에서 매우 큰 비용이 소요된다. 본 글에서는 이를 자동화하는 기술인 소프트웨어 오류 자동 수정 기술에 대해서 소개하고 연구 동향을 살펴본다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

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

소프트웨어 개발 단계 초기에 소프트웨어 제품군에 속하는 멤버들의 공통정과 차이점들을 미리 예측하고 분석하여 단위가 크고 전략적인 형태의 재사용을 가능하도록 함으로써 궁극적으로 소프트웨어 개발의 생산성을 향상시키고자 하는 것이 소프트웨어 프로덕트 라인 개발 방법론의 목적이다. 최근에는 소프트웨어 프로덕트 라인 개발에 자동 생성 프로그래밍 기법을 적용하기 위한 연구가 진행 중이다. 그런데, 어플리케이션 단위의 프로덕트 라인 개발 방법론은 단위가 너무 커서 자동 생성 기법을 효율적으로 적용하기가 힘들며, 따라서 그 초점을 컴포넌트 단위로 한정시킬 필요가 있다 본 논문에서는 도메인 공학의 주요 산물인 특성 다이어그램으로부터 특정 컴포넌트의 요구사항을 나타내는 특성 구성(Feature Configuration)을 만들고, 이를 바탕으로 컴포넌트 코드를 자동 생성하는 도구를 구현하였다. 본 논문의 컴포넌트 재구성 자동화 도구는 재사용자의 요구에 맞는 컴포넌트 소스 코드를 자동 생성함으로써 소프트웨어 프로덕트 라인 개발 생산성을 향상시킨다.

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

현재까지 심층 학습을 이용하여 텍스트를 자동으로 분류해주는 연구가 활발히 진행되었으며, 특히 소프트웨어 카테고리를 자동으로 분류해주는 연구가 이루어지고 있다. 최근 심층 신경망의 적절한 구조를 효율적으로 탐색할 수 있는 가중치 공유 기법이 연구되었다. 우리는 이를 응용하여 본 논문에서 가중치 공유를 이용한 소프트웨어 카테고리 분류 방법을 제안하며, 여러 실험을 통해 해당 기법의 성능을 측정하고 논의한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권12호
• /
• pp.1183-1192
• /
• 2000

기존의 휴대정보단말 사용자는 단말 소프트웨어의 특성 상 웹을 통해 게시되는 소프트웨어 정보를 계속해서 모니터링하고, 필요한 소프트웨어를 직접 단말에 다운로딩하는 단순 반복 작업을 계속해야 한다. 이는 컴퓨터 비전문가인 일반 사용자가 활용하기에는 어려운 점이 있으며, 뿐만 아니라, 단말기에 익숙한 사용자에게도 새로운 소프트웨어 정보를 계속해서 모니터링하여 획득 및 활용하기에는 많은 오보헤드가 필연적으로 따르게 된다. 본 논문에서는 사용자가 별도의 추가 작업을 하지 않아도 늘 가장 최신의 소프트웨어가 자신의 단말에 자동으로 업그레이드 되고, 관심 있는 응용 소프트웨어가 릴리즈 될 때 마다 실시간으로 이 정보를 알려주고 사용자가 원한다면, 자동으로 설치 작업까지 해서 곧바로 소프트웨어를 이용할 수 있다록 하는 ‘에이전트 기반의 유대정보단말용 소트프웨어 자동 설치 시스템’에 관하여 기술한다. 본 시스템은 유동적인 웹 환경과 다양한 휴대정보단말을 고려하여 실행시간(Runtime)에도 새로운 기능 추가가 가능하며, 동일한 통신 언어를 통해 개발 플랫폼이 서로 상이한 에이전트간에도 협동 작업이 가능하도록 하는 멀티 에이전트 기반 구조인 OAA(Open Agent Architecture)상에서 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.325-330
• /
• 2006

소프트웨어 설계 툴은 소프트웨어 개발을 위하여 실무에 도입되어 많이 이용되고 있다. 그러나 대부분의 소프트웨어 설계 툴이 코드를 자동으로 생성할 수 있는 기능을 제공하고 있어서 이를 잘 활용하면 개발시간을 단축하고 및 개발생산성을 향상 크게 향상 시킬 수 있음에도 불구하고, 많은 사용자들은 설계 툴을 단순한 모델링 툴로서만 이용하고 있다. 본 연구에서는 사용자들이 소프트웨어 설계 툴의 코드생성 능력을 잘 활용할 수 있도록, 몇 개의 선정된 설계 툴의 코드자동생성능력의 비교를 통해 설계 툴의 코드 생성능력을 비교 일 분석하였다. 자동 생성된 코드는 Java 소스코드이며, 언어지원능력, 난이도, 생성된 소스 코드의 레벨을 비교기준으로 평가를 수행하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.818-820
• /
• 2003

생산 현장에서 사용되는 자동화 장비들은 다양한 플랫폼과 통신 방법을 사용하여 운용되므로 제어 및 모니터링을 위한 소프트웨어 개발을 위해서는 전문적인 지식이 요구되고, 개발 및 유지보수에 많은 비용이 소요된다. 본 논문에서는 여러 자동화 장비들의 제어 및 모니터링 소프트웨어에 대한 쉬운 개발과 유지보수성을 향상시킬 수 있는 프레임워크를 제안하고자 한다. 본 연구에서는 제어 및 모니터링 소프트웨어에 대한 자동생성을 위하여 세가지(ICD, MAP, CMIML)의 XML 문서를 제안하며, 이를 이용해서 제어 및 모니터링 소프트웨어를 자동 생성함으로써 자동화 장비와 소프트웨어에 대한 전문적인 지식 없이도 제어 및 모니터링 소프트웨어를 개발하는 것이 가능하고, 유연하고 신뢰성 있는 자동화 시스템을 구축할 수 있다.

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

소프트웨어 테스팅은 소프트웨어의 개발 과정에 있어서 가장 중요하고 많은 비용이 드는 부분이다. 소프트웨어 테스팅을 수동으로 행하는 것은 많은 문제를 발생시킬 수 있다. 소프트웨어 자동 테스팅을 하기 위해서 최근 활발히 연구되고 있는 부분이 모델 기반 소프트웨어 자동 테스팅 기법이다. 본 논문에서는 UML 모델 기반 테스트 케이스 자동 생성 기법을 제안한다. UML state chart 로 모델링 된 테스트 대상 소프트웨어를 제안된 자료구조에 저장 한 후, 이를 flow graph 로 변환한다. 최종적으로 변환된 flow graph 에서 테스트 케이스를 생성한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2002년도 추계학술대회 및 정기총회
• /
• pp.149-152
• /
• 2002

본 연구에서는 밸브의 입출력 류량 검출 센싱 장치 및 류량 성능 특성 곡선을 측정하는 소프트웨어를 개발하였다. 본 개발품은 기체 또는 액체의 양을 조절하는 밸브의 정밀한 제품을 생산할 수 있는 시스템이다. 멤버쉽함수의 최적한 폭을 자기동조에 의해 선정할 수 있었으며, 이를 이용하여 밸브의 압력 제어 성능을 보다 정밀하게 보정 할 수 있었다. 기체 또는 액체의 유량을 조절하는 감압 자동 조절밸브의 성능을 온라인으로 시험 할 수 있는 소프트웨어를 국산화하였다. 본 제품의 개발 결과 우수한 성능을 가진 감압 밸브 성능자동 보정 시험 검사용 소프트웨어임을 확인하였다.