• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.227-229
• /
• 2012

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

• 한국신재생에너지학회:학술대회논문집
• /
• 2009.11a
• /
• 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년까지를 대상으로 하기 때문에 시간상의 지체 역시 문제가 될 수 있다. 다중공산성 역시 독립변수간의 상관관계가 나타나면서 발생된다. 하지만 몇 가지 재미있는 결과를 얻어냈다. 프로그램 기간이 소비자 응답에 영향을 미치며 초기 거주고객의 높은 구매력이 지속된다는 것이다. 가격 할증료와 최소 월사용료는 프로그램 성공 초기 결정요인이 되지 않는다. 작은 시설이 성공 달성가능성이 더 큰 것으로 나타났으며 비거주자의 사적 이득 제공 역시 성공 강화에 영향을 끼쳤다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.9
• /
• pp.986-1002
• /
• 2000

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

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.974-982
• /
• 2016

Mutation analysis (or software mutation analysis) generates variants of a target program by injecting systematic code changes to the target program, and utilizes the variants to analyze the target program behaviors. Effective mutation analyses require adequate mutation operators that generate diverse variants for use in the analysis. However, the current mutation analysis tools for Java programs have limitations, since they support only limited types of mutation operators and do not support recent language features such as Java8. In this study, we present Mutagen4J, a new mutant generation tool for Java programs. Mutagen4J additionally supports mutation operators recently shown to generate various mutants and fully supports recent Java language features. The experimental results show that Mutagen4J generates useful mutants for analyses 2.3 times more than the existing Java mutation tools used for the study.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.845-847
• /
• 2004

단락시험시 시험회로의 주요 파라미터들은 시험전압과 시험전류를 이용하여 결정된다. 특히, 단락전류의 경우 전류파형의 피크치, RMS, 시간, DC-성분, 역률 등을 분석프로그램을 이용하여 분석하게 된다. 그러나 이러한 분석프로그램은 각 시험기관마다 다르고, 현재까지 분석프로그램을 검증할 국제저인 기준이 존재하지 않았다. 그러나 최근 들어 STL(Short-circuit Testing Liason)에서는 각 시험기관마다 상이한 분석프로그램을 검증할 절차에 대한 연구를 수행하여 왔으며 그 첫 번째로 단락전류 분석프로그램에 대한 성능 평가 절차가 어느 정도 완성되었다. 이에 본 논문에서는 STL에서 배포한 TDG(Test Data Generator)를 이용해reference curve를 생성하고, 전기연구원의 전류분석프로그램을 사용하여 분석프로그램의 신뢰성을 평가하여 보았다.

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.199-200
• /
• 2008

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.478-481
• /
• 2011

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.490-492
• /
• 1999

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

• Journal of Software Assessment and Valuation
• /
• v.16 no.1
• /
• pp.13-19
• /
• 2020

It can be seen that the infringement of copyright cases is increasing as the society becomes more complex and advanced. During the software copyright dispute, there may be a dispute over whether the software is duplicated and made into upgraded software. In this paper, we intend to propose an analysis method for determining whether to upgrade software. For the software upgrade analysis, a software similarity analysis technique was used. The analysis program covers servers, management programs, and Raspberry PC programs. The first analysis confirms the correspondence between program creation information and content. In addition, it analyzes the similarity of functions and screen composition between the submitted program and the program installed in the field. The second comparative analysis compares and analyzes similarities by operating two programs in the same environment. As a result of comparative analysis, it was confirmed that the operation and configuration screens of the two programs were identical. Thus, minor differences were found in a few files, but it was confirmed that the two programs were mostly made using the same or almost similar source code. Therefore, this program can be judged as an upgrade program.

• Korean Journal of Social Welfare Studies
• /
• v.49 no.3
• /
• pp.247-275
• /
• 2018

In the absence of a research study on meta-analysis in terms of program development, the purpose of the study is to analyze the contents of the meta-analysis research studies which has been conducted for 18 years, and is to identify the level of program component evidence for the development of social work program. In order to achieve these purposes, the study analyzed the feature and usefulness of the 110 meta-analysis studies(5,781 program evaluation studies)published from 2010 to June 2017 in major academic journals related to the areas of the social welfare, psychology, counseling and health. The major findings are as follows. The 110 meta-analysis studies tended to narrow down the scope of the population, problems, and program types, but they also included a lot of heterogeneous types. In the statistical methods, there were relatively few studies to explain the factors behind the heterogeneity of program effectiveness. In addition, researchers tended to select program components arbitrarily with bias on specific components. The important program components with the statistical validity are as follows; the age of the subjects, the severity of the problem, the expertise of the providers, and the strength and activities of the intervention, The academic meanings of the study results was discussed, and the direction of future research was presented to increase the usefulness of the metaanalysis for program development.