대학정보화 거버넌스를 위한 계단형 프레임워크 개발

최재준 ( Choi Jae Jun ) , 김치수 ( Kim Chi Su )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제8호, 323~330페이지(총8페이지)

조직의 정보화 수준을 향상시키기 위해 CMMi는 단계별로 정보화의 효율성 및 품질 향상에 많은 역할을 하였다. 대학 조직에서도 이러한 CMMi의 개념에 맞춤형 IT 거버넌스 프레임워크를 활용한다면 대학 고유의 비전 실현을 위한 대학정보화 거버넌스로 자리 잡게 될 것이다. 본 논문에서는 이러한 CMMi의 staged model을 참고하여 대학 정보화에 적용할 수 있도록 개발한 대학정보시스템의 단계적 프레임워크를 제시한다. 먼저 대학 고유의 프로세스를 단계별로 적용하였고 실제로 대학 현장에서 접근하여 활용할 수 있다. 그리고 정보화 업무담당자 뿐 아니라 대학 본부의 업무 담당자 입장에서도 이를 준수하여 대학정보화 계획 및 예산에 적용할 수 있다. 계단형 프레임워크는 대학정보화 성숙도 및 Process로 분류하고 이를 대학정보시스템 수준...

TAG CMMi, IT Governance, CM4U, CM4U-P, IT 거버넌스

구조화된 자연어 요구사항으로부터 테스트 케이스 및 스크립트 생성

한혜진 ( Hye Jin Han ) , 정기현 ( Kihyun Chung ) , 최경희 ( Kyunghee Choi )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제8호, 331~342페이지(총12페이지)

본 논문은 신뢰성 있는 임베디드 시스템 소프트웨어 개발을 위해 제한된 자연어 형식으로 작성된 소프트웨어 요구사항으로부터 테스트 케이스 및 테스트 스크립트를 생성하는 방안을 제안한다. 제안하는 방법에서는 자연어로 기술된 요구사항을 제한된 자연어 형식으로 작성하고, 이를 파싱하여 테스트에 사용되는 입력, 출력 및 연산자를 추출한다. 추출된 정보를 이용하여 Decision Coverage, Condition Coverage, Modified Condition/ Decision Coverage와 같은 테스트 케이스 생성 전략을 적용하여 테스트 케이스를 생성한다. 또한 테스트 명령어 사전을 이용하여 임베디드 시스템의 물리적인 입력 값인 테스트 스크립트를 생성한다. 제안한 방법을 이용하면, 개발된 소프트웨어가 요구사항에 적합하게 개발되었는지를 직접적으로 테스트하는 것이 ...

TAG Test Case Generation, Test Script, Controlled Requirement, Test Coverage, Test Case Auto Generation, 테스트 케이스 생성, 테스트 스크립트, 정형화된 요구사항, 테스트 커버리지, 테스트 케이스 자동 생성

언어 분석 자질을 활용한 인공신경망 기반의 단일 문서 추출 요약

이경호 ( Gyoung Ho Lee ) , 이공주 ( Kong Joo Lee )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제8호, 343~348페이지(총6페이지)

최근의 문서요약 시스템은 인공신경망을 이용한 End-to-End 방식이 주류를 이루고 있다. 이러한 시스템은 인간의 자질 추출 과정이 필요 없으며 데이터 중심의 접근 방법을 채택한다. 그러나 기존의 관련 연구들은 품사 정보, 개체명 정보, 단어의 빈도 정보와 같은 언어 분석 자질이 중요 문장을 선택하여 요약을 작성하는데 유용함을 보여왔다. 본 연구에서는 기존의 언어 분석 자질을 활용하여 인공신경망을 기반으로 한 단일 문서의 추출 요약 시스템을 제안한다. 언어 분석 자질의 유용성을 보이기 위해 자질을 사용하는 모델과 사용하지 않는 모델을 비교하였다. 실험 결과 자질을 사용하는 모델이 그렇지 않은 모델에 비해 약 0.5점의 Rouge-2 F1점수 향상을 보였다.

TAG 단일 문서 요약, 추출 요약, 언어 분석 자질, 인공신경망, Single Document Summarization, Extractive Summarization, Linguistic Analysis Features, Deep Neural Networks

무기체계 소프트웨어 신뢰성 시험 개선점 도출을 위한 소프트웨어 정적/동적 검증 분석 사례연구

박지현 ( Jihyun Park ) , 최병주 ( Byoungju Choi )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제7호, 265~274페이지(총10페이지)

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적...

TAG Dynamic Software Defects, Weapon System Software, Dynamic Test, 소프트웨어 동적 결함, 무기체계 소프트웨어, 동적 시험

네트워크에서 루머 중심성 기반 질의를 통한 루머의 근원 추정

최재영 ( Jaeyoung Choi )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제7호, 275~288페이지(총14페이지)

본 논문에서는 네트워크에서 충분히 많은 노드가 루머를 들었을 때 그 근원이 어디서부터 시작 되었는지를 추론하는 문제를 고려한다. 이것은 신기술의 확산, 인터넷에서의 컴퓨터 바이러스/스팸 감염, 인기 있는 주제의 tweeting 및 retweeting과 같은 많은 실제 환경에서 네트워크의 정보 확산이 빠르게 진행되고, 이 정보 중 일부는 다른 노드에게 악영향을 미칠 수 있기 때문에 매우 중요한 문제이다. 이 문제는 선행연구에 의해 감염된 노드의 수가 충분히 많으면 정규 트리의 경우에도 탐지 확률이 31%를 초과 할 수 없다는 것이 입증되었다. 이를 바탕으로 네트워크에 감염된 후보 노드에게 몇 가지 추가 질의를 하는 방법에 대해 조사하고 네트워크 관리자가 한정된 자산을 가지고 있을 때 각 노드에 대한 질의의 수를 어떻게 분배하는지에 대한 자...

TAG Rumor Source Detection, Epidemic Models, Maximum Likelihood Estimator, Query, 루머 근원탐지, 루머확산 모델, 최우추정량, 질의

Unit Root Test를 기반으로 한 장기 시계열 데이터의 Non-Stationary 발생에 따른 구조 변화 검정 및 시각화 연구

유재성 ( Jaeseong Yoo ) , 주재걸 ( Jaegul Choo )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제7호, 289~302페이지(총14페이지)

시계열의 구조 변화란, 전체 시계열 자료를 구성하는 기간에서 관측치들의 분포가 상대적으로 안정적이다가, 특정 시점에서 분포 특성의 급격한 변화를 보이는 것을 의미한다. 비정상(non-stationary) 장기 시계열 안에서도, 단기적인 추세의 변화가 일시적인 것인지, 아니면 구조적으로 변한 것인지를 적시에 판단하는 것은 중요하다. 이는 시계열 추세의 변화를 상시 감지하여, 변화에 맞는 적정한 대응을 할 필요가 있기 때문이다. 본 연구에서는 단위근 검정법을 기반으로 한 검정 결과를 시각화함으로써, 의사결정자가 시계열의 구조 변화를 손쉽게 파악할 수 있는 방안을 제시하였다. 특히 시계열을 분할한 후 검정하는 방법을 통해, 장기 시계열일 때에도 단기 구조 변화를 파악할 수 있도록 하였다.

TAG Time Series, Non-Stationary, Unit Root Test, Visualization, 시계열, 비정상성, 단위근 검정, 시각화

모바일 환경에서의 지식기반 서비스제공을 위한 모바일 서비스 아키텍처 설계

오지훈 ( Jihoon Oh ) , 이재호 ( Jaeho Lee )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제7호, 303~310페이지(총8페이지)

우리의 생활과 밀접한 관계를 맺고 있는 모바일 환경은 다양한 사용자 요구사항과 맞물려 새로운 비즈니스 모델을 만들어 내고 있다. 이와 같은 시장 변화에 따라 구글의 Google NOW와 애플의 Siri와 같은 개인 비서와 같은 서비스가 탄생하였고, 우리나라에서도 사용자 모델을 기반으로 한 다양한 서비스를 통합하여 제공하기 위한 기술적 연구가 이루어지고 있다. 기술적 요구사항으로서 첫째, 여러 서비스 간의 데이터 공유가 가능해야 하고, 둘째, 서비스의 실행이 데이터 변화에 따른 비동기성을 지녀야 하며, 셋째, 서비스의 확장이 용이해야 한다는 점이다. 본 논문에서는 이러한 요구사항을 충족하기 위한 방안으로 블랙보드 아키텍처를 모바일 환경에 적용하여 지식기반 서비스제공을 위한 모바일 서비스 아키텍처로서 제시한다. 이를 통해 모바일 환경에서 다양한 ...

TAG Mobile Service Architecture, Knowledge-Based System, Mobile Environment, 모바일 서비스 아키텍처, 지식기반 시스템, 모바일 환경

불균형 데이터 분류를 위한 딥러닝 기반 오버샘플링 기법

손민재 ( Son Min Jae ) , 정승원 ( Jung Seung Won ) , 황인준 ( Hwang Een Jun )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제7호, 311~316페이지(총6페이지)

분류 문제는 주어진 입력 데이터에 대해 해당 데이터의 클래스를 예측하는 문제로, 자주 쓰이는 방법 중의 하나는 주어진 데이터셋을 사용하여 기계학습 알고리즘을 학습시키는 것이다. 이런 경우 분류하고자 하는 클래스에 따른 데이터의 분포가 균일한 데이터셋이 이상적이지만, 불균형한 분포를 가지고 경우 제대로 분류하지 못하는 문제가 발생한다. 이러한 문제를 해결하기 위해 본 논문에서는 Conditional Generative Adversarial Networks(CGAN)을 활용하여 데이터 수의 균형을 맞추는 오버샘플링 기법을 제안한다. CGAN은 Generative Adversarial Networks(GAN)에서 파생된 생성 모델로, 데이터의 특징을 학습하여 실제 데이터와 유사한 데이터를 생성할 수 있다. 따라서 CGAN이 데이터 수가 적은 클래스의 데이터를 학습...

TAG Imbalanced Data, CGAN, Deep Learning, Over-Sampling, 불균형 데이터, 딥러닝, 오버샘플링

전투기 감항 보안 인증을 위한 위험기반 보안위협 평가 프로세스 설계

김현주 ( Hyunju Kim ) , 강동수 ( Dongsu Kang )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제6호, 223~234페이지(총12페이지)

첨단 무기체계들이 고도로 연동되어 수행되는 네트워크 중심전에서는 사이버 공격이 전쟁의 승패를 좌우하는 커다란 위협으로 대두되었다. 또한 최신예 전투기로 발전할수록 증가하는 소프트웨어 의존도는 사이버 공격에 대한 전투기 소프트웨어의 강화된 보안대책을 요구하고 있다. 본 논문에서는 항공기 감항 보안 인증 표준인 DO-326A를 적용함에 있어 전투기의 특성 및 운용환경을 반영하여 위험기반 보안위협 평가 프로세스를 설계한다. 이를 위하여 DO-326A의 감항 보안 인증 프로세스의 보안위협 평가 단계에서 전투기 보안위협을 도출하고 사이버 공격의 발생 가능성과 전투기에 미치는 영향력의 관점에서 위협을 점수화하며 보안위험 심각도를 결정하는 단계를 추가하여 적용한다.

TAG Airworthiness Certification, Cyber Attack, Fighter-Aircraft Software, Security Threat, Risk Assessment, Airworthiness Security Certification Process, 감항인증, 사이버 공격, 전투기 소프트웨어, 보안위협, 위험평가, 감항 보안 인증 프로세스

변경된 MATLAB Simulink 모델로부터 재사용 가능 테스트 케이스 도출

박건구 ( Park Geon Gu ) , 한혜진 ( Han Hye Jin ) , 정기현 ( Chung Ki Hyun ) , 최경희 ( Choi Kyung Hee )  한국정보처리학회, 정보처리학회논문지. 소프트웨어 및 데이터 공학 [2019] 제8권 제6호, 235~242페이지(총8페이지)

본 논문에서는 제어기 기능이 표현 된 변경된 MATLAB Simulink/Stateflow(SL/SF) 모델의 재사용 가능한 테스트 케이스 도출 기법을 제안한다. 자동차의 ECU(Electrical Control Unit)와 같이 복잡한 SL/SF 모델의 테스트 케이스를 작성하는데 많은 시간과 노력이 필요하다. 모델이 수정 될 때마다 새로 만들어낼 테스트 케이스를 줄이기 위한 직관적인 방법은 수정 전 모델에서 생성한 테스트 케이스 중 일부를 재사용하는 것이다. 본 논문에서는 모델 행동을 정의하고 테스트 케이스 별 모델 동등성을 판단하여 수정 후 SL/SF에 재사용 가능한 테스트 케이스를 도출하는 방법을 제안한다. 제안된 테스트 케이스 재사용 기법은 상용 자동차 제어기 모델을 이용하여 성능을 평가한다.

TAG Test Case Reuse, Simulink/Stateflow, Model Based Test, 테스트 케이스 재사용, 시뮬링크/스테이트플로우, 모델 기반 테스트

11  12  13  14  15  16  17  18  19  20