• 한국정보처리학회논문지
• /
• 제5권11호
• /
• pp.2874-2883
• /
• 1998

프로그램 조각화 기법은 프로그램을 이해하기 쉬운 조각 단위로 분해하여 소프트웨어 개발자나 유지보수다사 프로그램을 쉽게 이해할 수 있도록 지원한는 방법이다. 본 논문ㅇ세는 변수-변수 관련성을 이용하여 정확하고 수행 가능한 프로그램 조각을 추출하는 동적 프로그램 조각 추축 알고리즘을 제안한다. 각 문장에서 변경되는 변수와 참조되는 변수로 나누어서 변수 집합을 계산하고, 선언부에 있는 문장에 대해 변수-변수 관련성을 계산한다. 변수-변수 관련성을 계산할 때는 선언부의 변수가 다른 문장에서 변경되는 변수로 사용된 경우와 참조되는 변수로 사용된 경우를 별도로 조사하여 변경되는 변수 집합은 무조건 관련 집합에 포함시키고, 문장에서 참조되는 변수들은 문장들을 다시 비교하여 기준 변수와 관련된 문장만을 추출하여 관련 집합에 포함시킨다. 제안한 알고리즘은 C 언어를 대상으로 실험한 결과 정확하고 수행 가능한 동적 조각을 추출하였고, 기존의 방법들보다 관련 문자을 찾기 위한 문장의 비교횟수를 평균 42%까지 감소시켰다. 기준 변수가 많을수록 기준 변수와 관련이 없는 변수가 많을수록 문장의 비교 횟수가 현저하게 감소하였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.1-4
• /
• 2004

가까운 미래에는 보이지 않는 수많은 장치들과 소프트웨어들이 서로 연결되어 각각의 사용자들에게 편리한 서비스를 제공할 것이다. 유비쿼터스 컴퓨팅 환경의 목표는 상이하며 유동적인 사용자들의 요구를 달성하기 위해 많은 서비스들 중 적절한 것들을 선택하고, 그것을 알맞게 구성하여 제공하는 것이다. 동적 서비스 구성을 위하여 본 연구에서는 다음을 제시하고 있다. 첫째, 서비스 구성에 필요한 요소를 파악한 후, 각 요소의 역할, 관계, 계층구조 그리고 속성을 표현하는 온톨로지를 기술한다. 둘째, 서비스 구성을 위한 필요한 규칙들을 기술한다. 셋째, 위의 두 가지를 이용하여 사용자의 목적에 따르는 서비스를 구성하기 위한 체계적인 알고리즘을 제시한다. 마지막으로, 본 연구의 결과를 예제 시나리오에 적용하여 동적 서비스 구성 가능성을 제시한다.

• 한국정보통신학회논문지
• /
• 제19권3호
• /
• pp.683-688
• /
• 2015

최근 소프트웨어의 결함을 탐지할 수 있는 다양한 종류의 동적분석 도구가 점점 더 많이 활용되고 있다. 하지만 업계에서 실제로 발생하는 결함에 대한 조사는 지금까지 거의 없었다. 본 논문에서는 C/C++, 자바 프로그램에서 결함을 찾아내는 툴인 CodeSonar가 찾아낸 결과를 분석하고자 한다. 분석결과 동남권 지역에서 가장 많이 발생하는 결함들을 다양한 방법으로 제시한다.

• 한국산학기술학회논문지
• /
• 제21권6호
• /
• pp.178-186
• /
• 2020

국내 무기체계 연구개발과정에서 소프트웨어 신뢰성이 중요한 요소로 여겨지고 있다. 그래서 무기체계 소프트웨어 연구개발 절차에는 소프트웨어 신뢰성 향상을 위한 활동들이 포함되어 있다. 하지만 개발절차에 포함된 활동은 소스 코드 정적 및 동적 분석으로 국제 표준에서 요구하는 활동과 다소 차이가 존재한다. 소프트웨어 신뢰성 관련 국제 표준인 IEEE std 1633-2016에서는 소프트웨어 신뢰성 확보를 위한 프로세스를 정의하고 있으며, 이들 가운데 소프트웨어 신뢰성 추정을 필수 활동이라고 이야기하고 있다. 소프트웨어 신뢰성 추정은 시험단계의 결함을 기반으로 통계 모델을 활용해 현재 시점의 소프트웨어 신뢰성을 추정하는 활동이다. 추정한 모델을 기반으로 소프트웨어 고장률을 추정할 수 있으며, 목표 고장률과의 비교를 통해 시험 종료 여부를 결정할 수 있다. 따라서 본 연구에서는 무기체계 소프트웨어 개발 과정에 소프트웨어 신뢰성 추정 모델을 적용하였다. 그 결과 목표한 소프트웨어 신뢰성을 달성하기 위해 지속적인 시험이 진행되었으며, 정량적인 소프트웨어의 신뢰성을 확인 할 수 있었다. 본 연구를 기반으로 무기체계 소프트웨어의 개발 과정에서 국제 표준에서 제시한 소프트웨어 신뢰성 공학 프로세스를 반영하는 노력이 지속적으로 이루어지기를 기대한다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제10권1호
• /
• pp.19-26
• /
• 2014

본 논문에서는 안드로이드 애플리케이션(앱)을 역공학 공격으로부터 방어하는 기법을 제안한다. 이 기법에서 서버는 안드로이드 패키지 파일인 APK 내에 있는 원본 실행코드(DEX)를 암호화하고, 실행 시 이를 복호화 할 수 있는 스텁(stub) 코드를 APK에 삽입하여 배포한다. 스텁 코드는 자신에 대한 공격을 탐지하기 위해 무결성 검증 코드를 포함한다. 사용자가 해당 APK를 설치·실행할 때, 스텁 코드는 자체의 무결성을 검증한 후, 암호화된 원본 실행코드를 복호화하고, 이를 동적 로딩(dynamic loading)하여 실행한다. 앱의 원본 실행코드는 암호화되어 배포되므로 지적재산권을 효과적으로 보호할 수 있다. 또한, 스텁 코드에 대해 무결성을 검증하므로, 제안 기법의 우회 가능성을 차단한다. 우리는 15개의 안드로이드 앱에 제안 기법을 적용하여 그 유효성을 평가하였다. 실험 결과, 13개의 앱이 정상적으로 동작함을 확인하였다.

• 대한전자공학회논문지SD
• /
• 제37권3호
• /
• pp.48-54
• /
• 2000

이 논문은 임베디드 소프트웨어를 위한 소프트웨어 합성시 don't care 정보를 이용하여 합성된 소프트웨어의 성능을 향상시키기 위한 방법을 제시한다. 임베디드 시스템은 주로 실시간 처리가 요구되는 분야에 사용되기 때문에 매우 까다로운 실시간 및 코드 크기의 제한이 있기 때문에 그에 관한 최적화는 매우 중요하다. 우리는 BDD 기반의 유한상태기계 전달 함수의 표현으로부터 확장된 유한상태기계를 유도하는 소프트웨어 합성의 경우에 돈 케어정보를 추출하고, 그를 이용한 BBD를 최소화하여, 일차적으로는 코드크기를 줄이고 결과적으로는 코드가 실행되는 임베디드 시스템의 성능을 향상시키는 방법을 제안한다. 그러한 방법이 적용된 실험적 결과를 제시하고, don't care 기반의 BDD 최소화와 BDD 변수의 동적 재배열의 결합 등 관련 연구 방향을 제안한다.

• 인터넷정보학회논문지
• /
• 제19권3호
• /
• pp.57-66
• /
• 2018

계산과학공학 소프트웨어 플랫폼인 EDISON( EDucation-research Integration through Simulation On the Net )은 클라우드 컴퓨팅 기반 웹서비스로서, 해석 소프트웨어를 이용한 웹 기반 시뮬레이션 서비스이다. EDISON에서는 사용자의 로컬 자원으로는 해석이 어렵거나 불가능한 계산과학공학 해석 문제를 웹 서비스를 통해 사용자에게 제공하며 미리 구축되어 있는 인프라 및 다양한 계산 노드를 통해 사용자에게 해석 결과를 제공한다. 그 결과로 사용자의 디바이스, 운영체제에 관계 없이 EDISON에 접근하여 계산과학 공학 해석 시뮬레이션을 수행할 수 있도록 웹 포털 환경에서 시뮬레이션 실행 환경을 제공한다. 본 연구의 목적은 현재 사용자에게 제공되고 있는 계산과학 공학 시뮬레이션 및 해석 결과 분석 플랫폼인 EDSION 시스템에 통합적인 유저 인터페이스를 제공하기 위한 워크벤치 기반 실시간 동적 서비스 설계 및 구축에 있다. 또한 로컬에서 사용하는 계산과학공학 시뮬레이션 소프트웨어 환경과 유사한 사용자 유저 인터페이스를 가지며 다양한 해석기와 전처리기, 해석 시뮬레이션 소프트웨어 등의 동적인 웹 환경을 구성할 수 있는 워크벤치 기반 사용자 시뮬레이션 서비스 환경 구성에 대해 고안하였다. 이러한 웹 서비스를 제공하기 위해 사용자에게 필요한 서비스를 포틀릿 단위로 구성하였으며, 그 결과로 워크벤치를 이용한 시뮬레이션 서비스를 구축하였다.

• 한국전산구조공학회논문집
• /
• 제28권6호
• /
• pp.607-614
• /
• 2015

본 논문에서는 전통 목조건축물로 되어 있는 대한민국의 국보 1호인 숭례문의 구조해석을 수행하고 안전도를 평가하였다. 전통 목조건축의 대부분의 하중을 차지하고 있는 숭례문의 지붕하중을 상세히 산정하고 숭례문의 가구구성 특징을 면밀히 살펴 범용 구조해석 소프트웨어인 midas Gen으로 구조해석모델을 구축하였다. 수직하중에 대한 정적구조해석을 수행하고 주요 수직 수평 구조부재의 안전성과 주요 수평부재의 사용성을 평가하였다. 숭례문의 동적거동특성을 평가하기 위하여 현장에서의 충격해머실험과 구조해석 소프트웨어를 이용한 고유치해석을 수행하고 그 결과를 비교하고 주요모드를 도출하였다. 수직하중에 대한 검토결과 숭례문은 구조적 능력에 여유가 있는 것으로 나타났다.

• 한국시뮬레이션학회논문지
• /
• 제27권2호
• /
• pp.101-114
• /
• 2018

무인 비행체의 실시간 경로계획 생성 시 최적의 경로를 찾기 위한 다양한 연구가 진행되어 왔다. 본 논문에서는 진화알고리즘을 통한 무인비행체의 경로계획 생성을 수행하고, 이를 에이전트 기반 시뮬레이션 환경에서 구현 및 테스트가 가능함을 검증하였다. 이를 위해, Repast toolkit에 JGAP 패키지를 탑재하여 Java 기반의 유전 알고리즘 프로그래밍을 통한 무인 비행체의 경로 계획을 생성하였고, 해당 결과를 에이전트 기반으로 시뮬레이션을 수행하였다. 본 논문에서는 에이전트 기반 시뮬레이션 소프트웨어를 소프트웨어 공학 개발 생명주기에 맞춰 문서화하여 설계 및 구현되었으며, 에이전트 모델링 설계는 자동화, 적응성 및 에이전트 간의 상호 작용에 초점을 맞추었다. 또한, 시뮬레이션을 통해 에이전트 기반 환경에서 설계한 모델 및 시나리오를 검증하여 다수의 비행 에이전트에 내재된 동적 경로계획 알고리즘이 실시간으로 자율적인 경로 생성이 가능함을 증명하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.99-100
• /
• 2019

무선 센서 네트워크(Wireless Sensor Network, WSN)에서의 싱크 이동은 전력 문제와 관련하여 해결해야할 중요한 문제이다. 또한 고정된 싱크를 사용하면 노드의 과도한 에너지 소비로 인해 네트워크 성능이 저하될 수 있는 문제점이 있다. 본 논문에서는 센서 노드의 클러스터가 퍼지 로직(Fuzzy Logic)을 기반으로 형성되고 싱크 재배치가 동적 2단계 메커니즘을 사용하여 결정되는 에너지 효율적인 싱크 재배치 기법을 제안한다. 본 논문에서 제안하는 기법은 싱크 재배치에 필요한 통신 오버 헤드를 최소화하고 데이터 패킷의 손실이나 지연을 최소화하여 싱크 재배치를 허용한다. 시뮬레이션 결과 제안 기법이 기존의 WSN의 대표적인 싱크 재배치 기법보다 네트워크 수명과 처리량 측면에서 우수하다는 것을 확인할 수 있었다.