• 전자공학회논문지SC
• /
• 제47권6호
• /
• pp.73-79
• /
• 2010

지능형 자동차의 개발 및 보급 확대에 따라 차량용 시스템에 전기 전자 소프트웨어 모듈의 비중이 늘어나고 있다. 따라서 이러한 모듈을 포함하는 전자 제어 장치가 증가하게 되고, 소프트웨어와 시스템 장치 간의 상호 연동이 요구된다. 그렇지만 임베디드 플랫폼 간의 인터페이스가 표준화 되어 있지 않아 개발 및 통합이 어려운 실정이다. AUTOSAR 표준화 연구는 유럽의 자동차 제조업체와 부품 제조업체의 공동 협력 결과물로, 차량용 소프트웨어 플랫폼의 산업 표준을 제공한다. 본 연구의 이전 결과물로 AUTOSAR 플랫폼을 지원하는 RTE 코드 생성기 도구를 개발하였다. 본 논문에서는 테스트 과정을 통해 RTE 생성기의 동작 환경 및 표준 플랫폼 지원 결과를 분석하였다. 실험 결과, 코드 생성기가 표준 규격의 요구사항과 방법론에 맞게 파일을 생성함을 확인할 수 있었다.

• 정보보호학회논문지
• /
• 제28권6호
• /
• pp.1463-1474
• /
• 2018

퍼징이란 유효하지 않은 값이나 임의의 값을 소프트웨어 프로그램에 입력하여, 보안상의 결함을 찾아내는 소프트웨어 테스팅 기법 중 하나로 이러한 퍼징의 효율성을 높이기 위한 여러 방법들이 제시되어 왔다. 본 논문에서는 필드를 기반으로 퍼징을 수행하면서 커버리지, 소프트웨어 크래쉬와 연관성이 높은 필드가 존재한다는 것에 착안하여, 해당 필드 부분을 집중적으로 퍼징하는 새로운 방식을 제안한다. 이 때, Variational Autoencoder(VAE)라는 딥 러닝 모델을 사용하여 커버리지가 높게 측정된 입력 값들의 특징을 학습하고, 이를 통해 단순 변이보다 학습된 모델을 통해 재생성한 파일들의 커버리지가 균일하게 높다는 것을 보인다. 또한 크래쉬가 발생한 파일들의 특징을 학습하고 재생성 시 드롭아웃을 적용하여 변이를 줌으로써 새로운 크래쉬를 발견할 수 있음을 보인다. 실험 결과 커버리지가 퍼징 도구인 AFL의 큐의 파일들보다 약 10% 정도 높은 것을 확인할 수 있었고 Hwpviewer 바이너리에서 초기 퍼징 단계 시 발생한 두 가지의 크래쉬를 사용하여 새로운 크래쉬 두 가지를 더 발견할 수 있었다.

• 한국콘텐츠학회논문지
• /
• 제8권7호
• /
• pp.75-84
• /
• 2008

데이터베이스 응용 프로그램들은 DBMS가 관리하는 데이터베이스를 동시에 접근하기 때문에 동시성 문제가 발생하며 이를 해결하기 위해서 대부분의 상업용 DBMS들은 고립화 수준을 설정할 수 있게 한다. 데이터베이스 응용 프로그램을 구성하는 트랜잭션들의 고립화 수준에 따라서 데이터베이스의 일관성이 위반될 수도 있기 때문에 트랜잭션의 고립화 수준의 검증은 중요하다. 본 논문은 트랜잭션의 고립화 수준 설정 오류를 검증하기 위한 시험 도구를 제안하고 프로토타입을 구현한다. 시험 도구는 ESQL/C 프로그램을 분석하여 고립화 수준을 검증할 수 있는 코드를 추가하여 시험 트랜잭션을 실행시키고 고립화 수준의 오류를 검출할 수 있게 한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.1089-1104
• /
• 2017

We have developed an information management tool for the EDISON (EDucation-research Integration through Simulation On the Net) open platform. EDISON is, at present, a web-based simulation service for education and research in five computational areas, namely, nanophysics, fluid dynamics, chemistry, structural dynamics, and computer aided optimal design. The EDISON open platform consists of three tiers: EDISON application framework, EDISON middleware, and EDISON infra-resources. The platform provides web portals for education and research in areas such as computational fluid dynamics, computational chemistry, computational nanophysics, computational structural dynamics, and computer aided optimal design along with user service. The main purpose of this research is to test the behavior of the release version of the EDISON Open-Platform under normal operating conditions. This management tool has been implemented using the RESTful API designed in EDISON middleware. The intention is to check co-operation between the middleware and the infrastructure. Suggested tools include User management, Simulation and Job management, and Simulation software (i.e., solver) testing. Finally, it is considered meaningful to develop a management tool that is not supported in other web-based online simulation services.

• 정보교육학회논문지
• /
• 제20권3호
• /
• pp.255-262
• /
• 2016

본 연구는 Computational Thinking 역량을 효과적으로 평가하기 위한 서술형 수행평가 방법에 관한 내용이다. 제안된 서술형 수행평가도구는 MIT에서 제시한 창의컴퓨팅 평가 문항들을 델파이 기법을 통해 조사한 후 문항을 선별 및 수정하였다. 이 서술형 수행평가 도구는 실험하기 및 반복하기, 테스팅과 디버깅, 재사용과 재구성, 추상화와 모듈화의 4가지 영역으로 구성되어 총 4문항으로 개발하여 예비교사를 대상으로 수업에 적용하였다. 적용결과 평가 도구는 $Cronbach-{\alpha}$값이 0.6 이상으로 신뢰도가 높았으며 전문가 대상의 델파이 검사 결과 타당도도 높게 나타나 제안된 평가 도구가 학생들의 CT 역량을 효과적으로 측정하는 유용한 평가 도구로 확인되었다.

• 한국정보처리학회논문지
• /
• 제6권5호
• /
• pp.1280-1290
• /
• 1999

기존의 수정 영향 분석은 단일 환경을 기반으로 하기 때문에 분산 환경에 직접 적용하기 어렵다. 본 논문에서는 분산 환경에서 객체지향 소프트웨어의 수정 영향을 분석한다 객체지향 소프트례어의 수정을, 자료, 매소드, 클래스의 집합으로 구분 하여 수정 영향을 분석하였으며, 분석 결과를 DPDG(Oistributed Program Dependency Graph)에 표현하였다. DPDG는 분산 환경에서의 객체지향 소프트웨어들의 관계를 메소드, 자료요소, 클래스, 설계 문서, 서버 등을 사용하여 그래프에 표시한다 DPG는 소프트웨어에 수정 발생 시, 재시험하여야하는 소프트웨어 요소를 찾기 위한 그래프이다 따라서, DPDG를 통해 재 시험에 드는 노력을 절약할 수 있다 본 논문에서는,OPDG를 통해 발견된 절약된 재시험 요소를 방화벽 테이블로 나타내었 으며, 이를 구현하여 본 논문에서 설계한 시험 지원도구 VIST(Visua! Infonnation Structure Tester)에서 사용하였다. VIST 는 절약된 방화벽을 사용하여, 분산 객체지향 소프트웨어 시험에 드는 노력과 비용을 절약하는 도구이다.

• 항공우주시스템공학회지
• /
• 제16권2호
• /
• pp.13-24
• /
• 2022

항공용 소프트웨어의 규모가 커짐에 따라 기능적 확장, 효율적인 개발 및 코드의 재사용을 위하여 객체지향 기술의 사용이 증가하고 있으나, 그 검증방안은 기존의 절차지향 프로그램 관점으로 수행되고 있다. 본 논문에서는 객체지향 기술의 특징과 객체지향 언어의 기능적 특징에서 파생되는 취약점들을 분석하고 객체지향기술이 적용된 항공용 소프트웨어의 기능 안전 무결성을 보장하기 위한 소프트웨어 개발단계(Design, Coding, Test)별 적용 가능한 검증 방안을 제시한다. 또한, 비행제어 소프트웨어 구현에 사용되는 오픈소스인 PX4에 정적분석 자동화 도구인 LDRA를 적용하여 제시한 단계별 검증 방안 중 정적분석 결과의 의미를 분석하였다.

• 스마트미디어저널
• /
• 제11권7호
• /
• pp.19-27
• /
• 2022

인공지능 소프트웨어 시장은 2020년부터 2025년까지 6배 규모로 성장할 것으로 예상된다. 그러나 소프트웨어의 개발 절차가 표준화 되어 있지 않고 비용 산정 기준이 없다. 이에 따라 인공지능 소프트웨어 개발 업체마다 각자의 개발 절차에 따른 투입 공수를 산정하고 이를 개발비용의 근거로 제시하고 있으나 개발업체마다 상이한 개발 절차와 소요 공수의 규모 때문에 품질과 비용에 대한 불신이 커지고 있다. 본 연구에서는 대량의 데이터로 학습을 진행하고 알고리즘을 도출하여 적용하는 인공지능 기반 소프트웨어의 개발단계를 정의하고 개발업체들을 대상으로 개발단계별 소요 공수에 대한 설문을 진행하여 소요 공수를 수집하였다. 수집된 개발단계별 소요 공수간의 상관분석과 회귀분석을 실시하여 개발단계별 소요 공수 예측 모형을 도출하였으며, 모형을 실험한 결과, 수집된 소요 공수 대비 92%의 정확도를 보였다. 본 연구에서 제안한 소요 공수 예측 모형은 공수와 비용을 추정하는데 간단하게 활용할 수 있는 도구가 될 것으로 기대된다.

• 창의정보문화연구
• /
• 제5권3호
• /
• pp.307-317
• /
• 2019

본 연구는 교육대학교의 예비교사들에 대한 블록 코딩과 피지컬 컴퓨팅의 교육 사례이다. 학생들은 블록 코딩을 지원하는 '엔트리'를 통해 여러 문제를 해결하는 과정에서 코딩에 대한 친숙함을 느꼈으며 코딩 능력을 향상시켰다. 또한 학생들은 피지컬 컴퓨팅 교구의 다양한 입·출력 장치로 컴퓨팅 시스템을 구성하고 프로그래밍을 통해 사물을 제어하였고, 교육용 포트폴리오를 제작을 통해 코딩에서의 문제분석, 설계, 구현, 테스트 등의 전반적인 과정을 경험하였다. 적용된 교육 방법으로는 몰입기반 프로그래밍과 짝 프로그래밍이고, 교육의 효과성을 측정하기 위한 설문 결과, 학생들은 엔트리와 피지컬 컴퓨팅 교구를 잘 이해하였고 엔트리와 피지컬 컴퓨팅 교구를 혼합하여 학습한 것이 엔트리 단독의 코딩학습보다 효과가 더 좋았다는 응답을 하였다. 또한 피지컬 컴퓨팅 교구 학습에서 적용한 짝 프로그래밍의 효과가 좋았음을 확인할 수 있었다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.297-308
• /
• 2001

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.