• 한국컴퓨터정보학회논문지
• /
• 제18권7호
• /
• pp.111-123
• /
• 2013

소프트웨어의 취약성을 검증하기 위하여 소프트웨어의 구조를 유추하여 유추된 구조를 활용하여 테스트하는 방법이 주목받고 있다. 이와 같은 방법을 사용하기 위해서 효과적인 소프트웨어의 구조 유추 방법이 요구된다. 많이 사용되는 DFG(Data Flow Graph), CFG(Control Flow Graph) 이나 CFA(Control Flow Automata)와 같은 그래프나 트리 방식은 소프트웨어 모델을 구조적으로 표현하지 못하는 단점을 가진다. 본 논문에서는 이러한 단점을 극복할 수 있는 방법을 제시한다. 제시된 방법은 바이너리 코드에 다양한 입력데이터 들을 부여하여 입력데이터별 CFG를 생성하고, 생성된 CFG들이 구조적으로 표현될 수 있도록 계층적 제어 흐름 그래프(Hierarchical Control Flow Graph, HCFG)를 작성한다. 또한 제안하는 HCFG을 생성하는데 요구되는 그래프의 구성요소와 점진적 그래프 생성 알고리듬도 제시한다. 제안한 방법론을 공개된 SMTP(Simple Mail Transfer Protocol) 서버 프로그램에 적용시켜 소프트웨어의 모델을 작성하는 실험을 수행하고, 생성된 모델과 실제 소프트웨어 구조를 비교 분석한다.

• 한국인구학
• /
• 제26권1호
• /
• pp.79-113
• /
• 2003

본 논문은 노령계층이 생활을 영위하는데 필요한 소득수준을 노령계층의 소득계층별로 도출해 보고자 하였다. 이를 위하여 노령계층의 소비지출이 근로연령계층에 비하여 유의미하게 차이가 있는지, 차이가 있다면 어느 정도나 차이가 있으며, 어떤 요인에 의하여 차이가 발생하는지를 분석하고자 하였다. 또한 근로연령계층의 소득수준에 대비하여 노령계층의 소비지출수준이 어느 정도인지를 분석함으로써, 노령계층의 생활을 영위하기 위하여 필요한 소득수준이 어느 정도인지를 분석코자 하였다. 특히 본 논문에서는 가구소비지출에 영향을 미치는 주요 요인인 동시에 근로연령과 노령이라는 특성상 달라지는 요인이라 할 수 있는 소득, 가구원수, 연령요인이 소비지출에 미치는 영향을 고려하여, 노령계층에게 필요한 소득수준을 소득계층별로 노령계층의 소비지출수준의 분석을 통하여 도출해 보고자 하였다. 노령계층과 근로연령계층의 소비지출간에 차이가 가장 큰 항목은 교육비이고, 교통통신비, 식료품비, 교양오락비, 피복신발비, 가구집기비, 기타소비비, 보건의료비, 주거비 순으로 나타났다. 또한, 총가구소비지출에 영향을 미치는 요인을 회귀분석한 결과, 연령이 높을수록. 소득이 높을수록. 가구원수가 많을수록 총소비지출수준이 높은 반면, 연령이 계속 증가하고(노령이 되면), 비광역시의 경우. 여성의 경우, 무직의 경우, 농어업에 종사하는 경우 총소비지출은 낮아지는 것으로 나타났다. 총가구소비지출에 영향력이 가장 큰 변수는 소득과 가구원수이며, 그 다음으로 연령인 것으로 나타났다. 또한 소득효과를 통제한 상태에서 연령효과 및 가구규모 축소효과에 의하여 부적으로 영향을 받는 소비지출은 교육비, 교통통신비, 식료품비 등 노인의 신체적 노화와 관련한 활동범위와 관련한 소프트웨어적 지출이며. 정적으로 영향을 받는 소비지출은 보건의료비였다. 또한 주거비, 가구집기비 등 하드웨어적 지출은 소득수준이 제약을 받지 않는 하에서는 연령효과 및 가구규모 축소효과로부터 중립적이었다. 본 연구결과 노인의 필요소득수준은 평균 61%수준이었다. 소득계층별로는 평균소득계층의 경우 근로연령기 소득의 60∼70% 수준이며, 저소득층의 경우는 근로연령기 소득의 90∼100% 수준이고, 고소득층의 경우는 근로연령기 소득의 50∼60% 수준으로 나타났다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권7호
• /
• pp.568-572
• /
• 2010

Mission-critical 시스템의 경우 자가 치유는 신뢰성을 보장하기 위한 기술 중 하나이다. 자가치유는 오류 탐지와 오류 회복으로 이루어져 있으며 오류 탐지는 오류 회복을 가능하게 하는 자가 치유의 중요한 첫 단계이지만 시스템에 과부하를 주는 문제가 있다. 모델 기반의 방법 등으로 오류를 탐지할 수 있는데 시스템의 모든 행위를 통지하고 정상 행위 모델과 통지된 시스템의 행위를 비교하여야 하므로 그양이 많고 부하가 크기 때문이다. 본 논문에서는 모델 기반의 오류 탐지 방법을 보완하는 아키텍처 기반의 다계층적 자가적응형 모니터링 방법을 제안한다. 소프트웨어 아키텍처 상에서 오류 탐지의 중요도는 컴포넌트 마다 다르다. 각 컴포넌트마다 발생하는 오류의 심각도와 빈도가 다르기 때문이다. 모니터링 중요도가 높은 컴포넌트에는 강도가 높고 모니터링 중요도가 낮은 컴포넌트에는 강도가 낮도록 모니터가 적응한다면 오류 탐지의 부하는 줄이고 효율은 유지시킬 수 있다. 또한 소프트웨어의 환경 변화 및 아키텍처상의 변화 등에 따라 오류 발생 빈도가 변화하여 컴포넌트의 오류 탐지 중요도가 변화하기 때문에 학습을 통해 이를 추적하여 자가적응적으로 중요도가 높은 컴포넌트를 집중 모니터링 한다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1508-1518
• /
• 1997

고품질의 소프트웨어를 효율적으로 개발하기 위해서는 소프트웨어 개발의 상위 단계인 설계과정에서 설계품질을 측정하고 그것에 기초하여 설계품질을 향상시키는 방법이 중요하다고 할 수 있다. 그러나 지금까지 대부분의 연구는 사용자 측에서 측정${\cdot}$평가할 수 있는 척도인 품질특성, 품질부특성에 대한 것이 대부분이었고, 개발과정에서 개발자가 실제로 측정·평가할 수 있는 척도인 내부특성과 메트릭스에 대한 연구는 아직까지 미흡한 상태이다. 따라서 본 연구에서는 지금까지 제안되어온 소프트웨어의 내부특성이 포함하는 문제점을 지적하고 이를 해결하기 위해 내부특성의 계층 모델을 제안하였다. 제안 모델에 따라 새롭게 내부특성을 재정리함으로써 내부특성의 누락과 중복을 방지할 수 있다. 또한 구체적인 적응실험에서 메트릭스에 의한 측정의 효율성과 메트릭스의 측정 정밀도에 좋은 개선 효과가 있다는 것을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권10호
• /
• pp.1286-1303
• /
• 2004

컴포넌트 기반 개발은 재사용 단위의 컴포넌트를 사용한 경제적인 소프트웨어 개발 패러다임으로 학계와 산업계에 폭넓게 사용되고 있다. 잘 정의된 컴포넌트 인터페이스는 컴포넌트 사이의 저결합도와 의존도를 관리하며, 재사용과 확장성 및 유지보수성을 향상시키는 매개체가 된다. 따라서 컴포넌트가 도입된 이후 컴포넌트 인터페이스의 체계적인 개발 프로세스와 설계 지침에 대한 연구와 방법이 요구되어 왔다. 본 논문에서는 소프트웨어 아키텍쳐 계층 및 기능 유형에 따라 컴포넌트 기능을 제공하는 Provided, 요구하는 기능을 명세단위로 제공하는 Required와 사용자의 요구에 맞게 컴포넌트를 특화하는 Customize 인터페이스를 제시하며, 인터페이스 설계를 위한 기준을 마련하여 체계적인 설계 프로세스 및 지침을 고안한다. 먼저 아키텍쳐 계층별 Provided긴 인터페이스를 식별하기 위해 유즈케이스 모델과 클래스 모델 등에서 추출된 오퍼레이션을 클러스터링하며. 컴포넌트 내 식별된 가변성 배치 산출물에 기반하여 Customize 인터페이스를 설계한다. 또한 인터페이스 의존도에 따라 컴포넌트 기능 수행시 요구되는 Required 인터페이스를 명세로 제공한다. 제시된 설계 지침은 설계 전 과정을 통해 추적성이 보장되며, 사례연구를 통하여 고품질의 컴포넌트 인터페이스를 위한 실용적인 설계 기법의 토대를 마련한다.

• 전자공학회논문지SC
• /
• 제44권4호통권316호
• /
• pp.8-14
• /
• 2007

사회제도가 개선되고 기술이 발전함에 따라 고령인구와 장애인의 사회 참여가 지속적으로 증가하고 있다. 지능 로봇 및 지능형 주거공간 등의 여러 시스템들의 이들의 사회 참여를 돕기 위해 개발되었고, 실제 고령 인구와 장애인의 독립적인 생활 영위에 많은 기여를 하고 있다. 그러나 상기의 시스템들을 구축하기 위해서는 대부분 고가의 특별한 하드웨어가 요구된다. 실제 시스템을 사용하게 될 계층의 경제적 어려움을 고려하면 기존의 노트북 컴퓨터와 같은 일반적 하드웨어를 사용하는 소프트웨어 기반의 시스템의 개발이 요구된다. 한편 이러한 소프트웨어는 컴퓨터 사용에 익숙하지 않으며 신체의 움직임이 부자유스러운 사용자 계층을 위해 특수하게 제작되어야 한다. 본 논문에서는 이러한 요건들을 만족시키는 소프트웨어 기반의 보조 시스템의 관련 이론을 포함한 개발 과정을 소개하고 결과물을 제시한다.

• 한국정보통신학회논문지
• /
• 제17권4호
• /
• pp.815-821
• /
• 2013

본 논문에서는 스마트미터의 북미 국제표준인 ANSI C12.22에서 정의하는 C12.22 노드의 응용계층 프로토콜을 구현하였다. ANSI C12.22에서는 OSI 7 계층 중에서 응용계층만을 정의하고 있다. 정보전송에 필수 요소인 1~4 계층은 기존에 사용되고 있는 프로토콜을 사용할 것을 권고하고 있으며, 이에 따라 본 논문에서는 통상적으로 사용되고 있는 TCP/IP 프로토콜을 전송계층 및 네트워크계층 프로토콜로 사용하였다. ANSI C12.19에서는 전력량계에 사용되는 파라미터들을 규정하고 있으며, C12.22 응용계층은 이 전력량계 파라미터들을 네트워킹하기 위한 최소한의 네트워크 서비스와 데이터 구조들을 정의하고 있다. 이러한 서비스와 데이터 구조들은 네트워킹된 전력량계를 설정, 프로그래밍, 모니터링하거나 전력량계의 정보를 수집할 목적으로 사용된다. 본 논문에서는 C12.22 응용계층을 소프트웨어로 구현하기 위해 임베디드 보드를 사용하였고, 기능 테스트를 위해서 AMI 응용서버 역할을 하는 테스트 프로그램을 동시에 개발하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권11호
• /
• pp.487-498
• /
• 2015

추적성은 소프트웨어 개발자에게 소프트웨어 산출물에 대한 변경을 추적하게 해 준다. 소프트웨어 제품 라인 개발에 있어서의 추적성은 공통성과 가변성을 고려해야 하기 때문에, 개별 제품에서의 추적성보다 복잡하다. 과거 연구에서 제품 라인 개발에서의 제품 피처와 요구사항 간의 추적성 구축을 제시되었다. 그러나 요구사항과 아키텍처 설계 사이의 추적성 구축은 다 대 다 관계와 아키텍처 계층으로 인해 고려해야 할 요소가 더 많다. 본 논문은 이러한 요소들을 고려하여, 제품 라인 개발에서의 요구사항과 아키텍처 사이의 추적성을 모델링하는 체계적인 방법을 제공한다. 또한 사례연구를 통하여 이 방법이 효과적임을 보인다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1706-1718
• /
• 1997

다양한 소프트웨어 제품의 급격한 증가로 인하여 소프트웨어 제품의 평가·선정을 위한 체계적이고 객관적인 방법이 필요하게 되었다. 본 연구에서는 소프트웨어 제품의 효과적 평가·선정을 위해 평가 과정의 핵심인 가중치 부여와 모형의 선정에 중점을 둔다. 이를 위해 첫째, 계층적 분석 과정을 이용하여 평가 속성에 일관적 가중치를 부여한다. 둘째, 소프트웨어 제품의 선정 문제의 성격에 알맞은 모형을 조사${\cdot}$분류하여 모형별 장${\cdot}$단점을 분석한다. 적용 모형은 4개의 보상모형과 7개의 비보상모형으로 구성되어 있다. 선정된 모형은 특정 소프트웨어 제품(데이터베이스 모델러)에 응용되어 모형별로 제품을 평가한다. 본 연구는 가중치 부여 및 모형의 장·단점 분석과 응용 절차를 통하여 사용자의 다양한 요구사항에 대한 모형의 적용성을 제고하고자 한다.

• 방송공학회논문지
• /
• 제12권6호
• /
• pp.596-610
• /
• 2007

본 논문에서는 스케일러블 비디오 부호화기의 복잡도 감소를 위해, 공간 계층간 잔차 신호 부호화를 선택적으로 수행하고 그 정보를 바탕으로 향상 계층에서 모드를 고속으로 결정하는 방법에 대해 소개한다. 계층간 잔차 신호 부호화는 스케일러블 비디오 부호화에서 공간 계층간 상관도를 이용하여 계층간의 두 잔차 신호에 대한 차 신호를 부호화하는 방법으로서 부호화 효율을 증대 할 수 있는 장점이 있으나 향상 계층의 모든 화면간 모드에 대해 율-왜곡 비용을 계산하기 때문에 부호화기의 복잡도를 크게 증가시키는 주요 요인이 된다. 제안 알고리듬은 하위 계층으로부터 업샘플된 잔차 신호와, 하위 계층의 움직임 벡터, 참조 화면 정보를 이용하여 향상 계층에서 얻은 잔차 신호의 SAD값을 통해 정수 변환 계수의 특징을 미리 판별하여 계층간 잔차 신호 부호화를 선택적으로 수행하는 방법이다. 제안 알고리듬에서는 계층간 잔차 영상의 차 신호에 대한 SAD값에 양자화 계수와 시간 계위에 따라 문턱치 값을 적응적으로 적용시키면서 SAD가 적응적으로 설정된 문턱치 보다 작을때는 잔차 블록에 대한 정수변환 계수가 매우 작다고 판단하여 그 블록에 대해서는 선택적으로 계층간 잔차 부호화를 수행하고 역시 공간적 향상 계층에서 $16{\times}16$블록에 대해서만 율-왜곡 최적화를 수행한다. 따라서 계층간 차분 신호에 대한 SAD값만으로 정수변환계수의 특성을 양자화 계수와 시간 계위에 따라 분류하여 고속의 부호화를 달성함으로써 SVC 부호화기의 복잡도 및 부호화 시간을 크게 감소 시켰다. 제안 알고리듬을 적용하면 다양한 특성을 갖는 영상에 대하여 부호화 시간을 원래의 SVC 참조 소프트웨어 대비 평균 51.5%의 부호화 속도를 향상하였음에도 이에 따른 PSNR의 감소는 평균 0.03dB, 비트율의 증가는 0.64%로 무시할 수 있을 정도로 작았다.