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

본 논문은 Android 프로그램의 정적 분석 방법을 논의한다. Android 프로그램 정적 분석의 목적은 오류발견, 개인정보 해킹 코드 발견, 바이러스 발견, 프로그램 분류 등등이다. 본 논문에서는 Android 프로그램의 분석을 위하여 구문 패턴 정적 분석과 프로그램으로부터 객체 다이아그람과 Flowchart 를 생성하여 프로그램 동적 실행을 추정하여 분석하는 통합된 정적 분석 방법을 논의한다. 프로그램 실행 추정 분석은 프로그램에서 객체 생성, 메소드 호출, 데이터 흐름, 실행 흐름, API 호출과 진행 과정 등을 추정하여, 구문 패턴 정적 분석만으로는 파악하지 못하는 프로그램 실행의 동적 분석이 가능하도록 한다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2009년도 추계학술대회 논문집
• /
• pp.298-298
• /
• 2009

미국의 DOE(Department of Energy)산하 EERE(Energy Efficiecy & Renewable Energy)에서 신재생 에너지 프로그램 평가를 하고 있다. 특히 General program evaluation Guide에는 많은 평가기관에서 제안되었던 5가지 방법 중 Outcome 평가는 프로그램의 목적을 얼마나 달성했는지를 측정하는 것으로 일정한 기간이 지난 후 프로그램의 목적을 달성함으로써 얻어지는 결과를 추산함으로써 그 기간 동안 프로그램이 의도했던 목적을 얼마나 잘 수행했는지를 보여준다. 한국에서 시행되고 있는 신재생에너지 보급 프로그램의 성과를 정량화 분석을 통하여 평가할 수 있어 국내 적용성이 크다. 본 연구에서는 미국 에너지부 EERE로부터 지원받아 NREL(National Renewable Energy Laboratory)에서 실행한 Utility Green Pricing 프로그램을 사례 분석하였다. Utility Green Pricing 프로그램은 1993년 시작되었으며 2002년 말 미국 전역의 300여개 시설을 통한 90개의 프로그램을 발전시킴으로써 소비자가 자발적으로 재생에너지 발전을 지원하기 위한 한 방법으로 최근 이런 프로그램 수는 증가하고 있다. 2002년 말 기준으로 국가 전기 사용자의 20%, 대략 270,000명의 소비자가 선택하였고 2002년 290MW급 재생에너지 설비용량과 2003년 140MW급 시설을 담당하였으며 미국 이외에 캐나다, 일본, 호주, 12개 유럽 국가들이 시행하고 있다. 이 프로그램 목표는 어떤 프로그램이 green pricing 프로그램의 소비자 참가와 재생에너지 구매의 최대화를 돕는지를 제공하는 것으로 Data Pool은 90개 프로그램 중 더 이상 실행하지 않는 4개를 제외한 86개로 응답률은 77%였다. 분석대상은 거주자와 비거주자로써 자료는 2003년 초 66개의 green pricing 프로그램의 질문서를 토대로 도출되었다. Green Pricing 프로그램 질문서는 참여, 지난해 판매, 재생에너지 공급, 할 증금(초과 구매력), 프로그램 디자인과 실행, 마케팅, 소비자를 위한 부가서비스 이렇게 총 7부분으로 나누어져있다. 특히 거주자와 비거주자와 참여, 재생에너지 판매량, 프로그램 수명, 사용하는 재생에너지의 종류, 프로그램 가격, 비용 할증료, 프로그램 평가의 종류, 프로그램 마케팅 노력, 참여자에게 제공되는 부수적 가치와 관련된 자료를 모으기 위해 실행되었다. 종속적 변수로 프로그램 유효성 측정과 관련된 비/거주자 참여와 재생에너지 구매를 선택하였으며 독립적 변수로 프로그램 디자인과 마케팅 특징을 들었다. 분석방법으로는 이변성과 다변성 통계적 분석을 이용하였다. 이변성 분석은 쉽게 개별적 독립 변수와 종속변수와의 직접적 관계를 보여주며 다변성 분석은 보다 정확한 영향 산정을 위해 선택한 복합적 독립변수를 이용하였다. 프로그램 유효성 측정을 위해 비/거주자 참여 퍼센트와 재생에너지 구매 퍼센트를 구하였다. 그러나 이 분석에 몇 가지 제한점이 있었다. 소비자 중 국외자의 영향으로 분석에 많은 영향을 주지 않지만 single utility 프로그램은 비거주자참여율과 재생에너지 구매율에 영향을 끼칠 가능성이 있으며 독립/설병변수를 프로그램성공을 위해 거듭 강조하지만 빠지거나 무딘 변수는 여전히 존재한다. 분석 대상이 2002년까지를 대상으로 하기 때문에 시간상의 지체 역시 문제가 될 수 있다. 다중공산성 역시 독립변수간의 상관관계가 나타나면서 발생된다. 하지만 몇 가지 재미있는 결과를 얻어냈다. 프로그램 기간이 소비자 응답에 영향을 미치며 초기 거주고객의 높은 구매력이 지속된다는 것이다. 가격 할증료와 최소 월사용료는 프로그램 성공 초기 결정요인이 되지 않는다. 작은 시설이 성공 달성가능성이 더 큰 것으로 나타났으며 비거주자의 사적 이득 제공 역시 성공 강화에 영향을 끼쳤다.

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

정적 분석을 사용하여 프로그램의 입력에 의존하는 성질을 예측하는 방법을 제안한다. 제안된 방법은 입력에 무관한 성질을 예측하도록 설계된 정적 분석을 입력에 의존하는 성질을 예측하는 분석으로 변환한다. 이 방법은 실행 중에 프로그램의 성질을 알아내기 위해서 실행중인 프로그램을 관찰하는 코드가 필요 없고 계측된 자료를 모으는 과정도 필요 없다. 정적 분석의 가장 마지막 부분을 프로그램의 실행 시간으로 미루는 것이 이 논문의 핵심 아이디어다. 먼저 정적 분석을 분석하여, 프로그램의 입력에 민감하여 프로그램의 실행시간으로 연기되어야 하는 부분을 찾아낸다. 그 후, 값을 자른 분석을 사용하여 이 부분을 재구성하여 프로그램의 입력에 대한 간단한 멤버쉽 테스트에 의해 분석이 풀어질 수 있도록 한다. 이런 재구성 과정을 통해 준비된 분석들은 프로그램의 입력이 나타나기만 하면 순간적으로, 동시에 풀려질 수 있다. 모든 과정은 엄밀하게 정의되고 증명되었다.

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.974-982
• /
• 2016

프로그램 변이 분석은 분석대상 프로그램의 코드를 변형한 다양한 프로그램 변이를 활용해 분석대상 프로그램의 특성을 분석하는 기법이다. 효과적인 변이 분석을 위해서는 분석대상 프로그램의 동작을 다양하게 변화시키는 유용한 변형 연산자의 사용이 필수적이다. 현재까지 Java 프로그램을 대상으로 제안된 변이 생성 도구들은 변형 연산자의 종류가 제한적이거나, 최근 Java 언어 요소로 작성된 분석대상 프로그램의 경우 올바른 변이 생성을 지원하지 못하는 한계가 있다. 본 논문은 Java 프로그램을 위한 새로운 변이 생성 도구 Mutagen4J를 소개한다. Mutagen4J는 기존 연구를 통해 유용한 것으로 알려진 프로그램 변형 연산자를 추가로 지원하며, 최근 Java 언어요소를 처리함으로써, Java 프로그램에 대한 효과적인 변이 분석을 지원한다. 기존 Java 프로그램 변이 생성 도구와 비교 실험을 수행한 결과, Mutagen4J이 기존 도구보다 유용한 변이를 평균 2.3배 생성하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.199-200
• /
• 2008

이 논문에서는 백서를 이용한 출혈성 쇼크 실험에서 수집되는 혈압 데이터 분석을 위한 프로그램을 개발하였다. 일반적인 혈압 데이터는 기존 프로그램을 이용하여 분석이 가능하지만 출혈성 쇼크 실험 중에 획득되는 혈압 데이터의 경우 일반적인 경우와 다른 모양의 파형이 나타나는 경우가 있으며 파형의 크기 변동이 크다. 이런 문제들로 인해 기존 프로그램으로 분석하는데 어려움이 있어 출혈성 쇼크 실험에 적합한 프로그램을 개발하였다. 본 논문에서 개발한 프로그램을 이용하여 혈압 파형을 분석한 결과 기존 프로그램에서 잘못 분석된 이완기 혈압을 정상적으로 분석 할 수 있었다. 또한 전체 구간 데이터를 분석하면서, 혈압 파형 크기의 급격한 변화로 인해 잘못된 수축기와 이완기 혈압이 출력되던 문제점을 해결 할 수 있었다. 이렇게 분석된 데이터를 이용하여 추후에 다양한 방법의 혈압분석이 가능할 것으로 사료된다.

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

이 논문에서는 정적으로 2단계 언어의 불필요한 식을 찾는 분석 방법을 제안한다. 불필요한 식이란 식의 실행의미가 프로그램의 결과에 영향을 미치지 않는 식을 말한다. 다단계 프로그램이 불필요한 식을 만들어내는 지 프로그램 실행전에 알 수 있다면 프로그램 실행에 드는 비용을 줄일 수 있다. 이 분석은 다형타입을 가지는 다단계 언어의 타입시스템과 타입시스템에 올라탄 분석에 기반하고 있다. 이 분석으로 프로그램 실행 시 불필요한 식이 프로그램 코드 형태로 전파되는 것을 알 수 있으며 다형타입을 이용한 정교한 분석이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.490-492
• /
• 1999

본 논문에서는 객체지향 프로그램에 대한 프로그램 정보를 분석하여 이들간의 관계를 표현할 수 있는 방법을 제시한다. 현재까지 프로그램을 분석하고 표현하기 위한 그래프 표현으로 호출 그래프, 제어흐름 그래프 및 종속 그래프 등이 있으며 이를 이용하여 테스팅, 슬라이싱, 디버깅, 프로그램 이해, 병렬처리, 역공학과 같은 다양한 분야에 적용되고 있다. 본 논문에서는 객체지향 언어의 프로그램의 시각적 이해를 돕고, 분석에 필요한 정보를 표현하는 그래프들간의 관계성을 고려한 효율적인 분석기를 표현한다. 이를 위해 클래스, 상속관계, 호출관계, 제어흐름 및 데이터 종속관계를 고려하여 객체 지향언어 분석에 필요한 그래프 요소를 멤버함수레벨, 클래스 레벨, 모듈 클래스 레벨 단위로 추출하고 이들간의 정보를 저장소로 통합 구성한다. 이를 통해 기존의 특정목적을 위해 표현하는 그래프 표현 방식은 그래프간의 관계성과 분석정보의 독립성 그리고 재사용성의 특징을 가지는 통합 분석기로 구성될 수 있다. 이러한 특징은 프로그램의 이해와 정보의 관리효과를 증가시킬 수 있으며, 많은 소프트웨어 엔지니어링 도구와 기술들에 필요한 통합화된 정보를 제공하고 이용될 수 있을 것이다.

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

사회가 복잡해지고 첨단 사회로 갈수록 저작권 침해 사례는 증가하고 있다고 볼 수 있다. 소프트웨어 저작권 분쟁 중에는 소프트웨어가 복제되어 업그레이드 소프트웨어로 만들어 졌는지 판단에 대한 분쟁이 있을 수 있다. 본 논문에서는 소프트웨어 업그레이드 여부에 판정에 대한 분석 방법을 제안하고자 한다. 소프트웨어 업그레이드 분석을 위하여 소프트웨어 동일 유사성 분석 기법을 이용하였다. 분석 대상 프로그램은 서버, 관리 프로그램, 라즈베리 PC 프로그램들을 대상한다. 첫번째 분석은 프로그램들의 생성 정보와 내용의 일치성을 확인한다. 그리고 제출된 프로그램과 현장에 설치된 프로그램간의 기능과 화면 구성에 대한 유사성 여부를 분석한다. 두 번째 비교 분석은 동일한 환경에서 두 개의 프로그램을 동작을 시켜 유사성을 비교 분석한다. 비교 분석 결과 2 개의 프로그램은 동작과 구성화면이 동일함을 확인되었다. 그리로 한 몇 개의 파일에서 사소한 차이는 발견되었으나 2개 프로그램은 대부분 동일하거나 거의 유사한 소스 코드를 이용하여 제작된 것을 확인하였다. 따라서 본 프로그램은 업그레이드 프로그램으로 판정 할 수 있다.

• 사회복지연구
• /
• 제49권3호
• /
• pp.247-275
• /
• 2018

메타분석을 프로그램 개발 측면에서 조사한 연구가 부족한 상황에서 본 연구는 최근 18년간 발표된 메타분석연구논문에 나타난 프로그램 구성요소의 실태를 분석하고, 이를 토대로 '프로그램 구성요소의 증거수준'을 파악하여 프로그램 개발 활동에서 어떤 의미를 주는가를 탐색하였다. 연구대상은 2000년부터 2017년 6월 현재까지 전국주요학술지에서 검색된 사회복지, 심리, 상담, 보건 영역의 110개 메타분석연구논문(5,781개 프로그램 평가논문)이며 분석방법은 내용분석을 활용하였다. 분석결과는 다음과 같다. 조사된 메타분석논문은 인구대상, 문제, 프로그램 유형에서 범위를 좁혀 연구하는 경향이 많았지만, 여러 이질적인 유형을 포함하여 분석하는 경우도 상당했다. 통계분석방법에서는 프로그램 효과성에 대한 이질적 배경이 되는 요인을 설명할 수 있는 조절효과분석이 상대적으로 적었다. 메타분석을 위한 프로그램 구성요소 선정은 연구자의 임의적인 선택도 매우 많았으며, 특정한 구성요소들 중심으로 편중되게 조사하는 경향이 있었다. 프로그램 구성요소의 효과성과 관계된 통계적인 유의성 비율에 대한 분석결과에서는 대상자의 연령과 문제 심각성, 제공자의 전문성, 개입강도와 개입활동내용이 높은 수준의 '프로그램 구성요소 증거수준'을 보여주고 있었다. 연구결과에 대한 논의와 프로그램 메타분석의 유용성을 높이기 위한 과제도 제시되었다.

• 한국도서관정보학회지
• /
• 제49권1호
• /
• pp.293-320
• /
• 2018

본 연구는 도서관의 문화프로그램 운영 현황을 살펴보고 개선사항을 제안하는데 그 목적이 있다. 이에 국립세종도서관 문화프로그램의 이용자 참여 로그를 분석하여 프로그램의 운영과 이에 대한 이용자의 실질적인 참여 현황을 살펴보았다. 이용자 참여 로그의 누적기간은 2015년 3월부터 2017년 12월까지이며, 해당 로그에서 프로그램 정보 722건, 프로그램 참여 정보 24,816건, 이용자 정보 6,729건을 추출 분석하였다. 세부 분석은 프로그램 분석, 이용자 분석, 시계열 분석 등 다각도로 진행되었으며, 분석결과를 토대로 국립세종도서관 문화프로그램의 문제점을 지적하고 이를 개선시킬 수 있는 방안을 제안하였다. 본 연구는 서비스 제공 측면에서 문화프로그램을 분석했던 기존 연구와는 달리 실제 이용자 참여 로그를 활용하여 이용자 측면에서 문화프로그램을 분석하였다는 점에서 의의가 있다.