• 제목/요약/키워드: 행위기법

검색결과 772건 처리시간 0.026초

Automotive SPICE를 위한 행위 모델 기반의 테스트 케이스 생성 기법 (A Method of Test Case Generation Based on Behavioral Model for Automotive SPICE)

  • 김충석;양재수;박용범
    • 반도체디스플레이기술학회지
    • /
    • 제16권3호
    • /
    • pp.71-77
    • /
    • 2017
  • As the automobile industry has shifted to software, the Automotive SPICE standard has been established to ensure efficient product development process and quality. In the assessment model, the HIS Scope is the minimum standard for small and medium automotive electric companies to meet OEM requirements. However, in order to achieve the HIS Scope, the output of each process stage that meets the verification criteria of Automotive SPICE must be created. In particular, the test phase takes a lot of resources, which is a big burden for small and medium-sized companies. In this paper, we propose a methodology for creating test cases of software integration test phase based on UML sequence diagram, which is a software design phase of Automotive SPICE HIS Scope, by applying behavior model based testing method. We also propose a tool chain for automating the creation process. This will reduce the resources required to create a test case.

  • PDF

위험기반 통합계정관리모델에 관한 연구 (A Study on the Integrated Account Management Model)

  • 강용석;최국현;신용태;김종배
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2014년도 추계학술대회
    • /
    • pp.947-950
    • /
    • 2014
  • 최근 해킹 기법의 발전으로 사이버테러를 비롯한 APT공격이 증가하고 있다. 이는 정보기술환경이 모바일, 클라우드, BYOD 기반으로 변화함에 따라 새로운 취약점 또한 증가하고 있기 때문이다. 그러나 기존의 보안 모델은 대응과 치료를 중심으로 적용되고 있어 변화된 침입 위협에 대한 근본적이 방어책을 제시하지 못하고 있는 실정이다. 이에 본 연구에서는 예방 중심의 보안 모델을 제안한다. 본 연구에서 제안하는 모델은, 궁극적으로 보안공격에 대응하기 위해서는 계정, 권한, 인증, 감사추적 및 이상행위 감시라는 것이 매우 중요하다는 관점에서 수립된 모델이다. 본 연구의 결과는 다양한 보안위협요소에 효과적으로 대응할 수 있는 프로세스를 강화함으로써, 끊임없이 진화하는 새로운 유형의 공격에 대비하고, 정보시스템의 신뢰성을 확보할 수 있는 참조모델로 활용될 수 있을 것이다.

  • PDF

공인인증서 유출형 안드로이드 악성앱 탐지를 위한 Tainting 기법 활용 연구 (A Study on Tainting Technique for leaking official certificates Malicious App Detection in Android)

  • 윤한재;이만희
    • 융합보안논문지
    • /
    • 제18권3호
    • /
    • pp.27-35
    • /
    • 2018
  • 공인인증서는 개인을 증명하거나 통신간의 위변조 등을 방지하기 위하여 공인인증기관에서 발행하는 전자화된 정보로써 사이버 상의 인감도장이라 할 수 있다. 공인인증서는 암호화 된 파일의 형태로 PC 및 스마트폰에 저장되어 인터넷뱅킹 및 스마트뱅킹 서비스를 이용할 때 개인을 증명하기 위해 사용하기 때문에 외부로 유출될 경우 위험할 수 있다. 급증하는 안드로이드 기반 악성 어플리케이션 중 파일로 존재하는 공인인증서와 개인정보 등을 외부의 서버에 전송하는 악성 어플리케이션 또한 발견되고 있다. 본 논문은 공인인증서 탈취 악성코드를 사전에 판단하여 차단하기 위해 안드로이드 기반 동적 분석 도구인 DroidBox를 이용하여 공인인증서 외부 유출행위 여부를 판단하는 방안을 제안한다.

  • PDF

EU 지역간 소비위험분산에 대한 실증연구 (An Empirical Study on the Consumption Risk Sharing across the EU Regions)

  • 박유진;송정석
    • 국제지역연구
    • /
    • 제13권2호
    • /
    • pp.89-115
    • /
    • 2009
  • 본 연구는 EU 회원국들의 소비위험분산 행위를 살펴보기 위해 기존의 소비위험분산 측정방법에 소위 이례적 관측치 (outlier)를 고려하여 기법을 도입하고 있다. 본 연구는 단순히 소비위험분산을 측정하는 기존의 방법에서 더 나아가 어느 국가 혹은 지역들이 소비위험분산에 특히 더 기여하는지를 밝히고자 한다. 이를 위해 기존 계량경제학의 회귀분석에서 간과되었던 특정 관측치의 회귀분석결과에 대한 영향력 분석을 DFFITS와 DFBETAS 접근법을 사용하였다. 이같은 소비위험분산 측정 결과 EU 지역의 소비위험분산 정도는 서유럽국가와 비교적 최근에 EU에 가입한 동유럽국가로 크게 이분되어 있음을 발견하였다.

Parallelization of a Purely Functional Bisimulation Algorithm

  • Ahn, Ki Yung
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권1호
    • /
    • pp.11-17
    • /
    • 2021
  • 본 논문에서는 순수 함수형 언어로 작성된 쌍방시뮬레이션 알고리듬의 성능을 멀티코어 프로세서 컴퓨터에서 병렬화로 향상시키는 방법을 연구한다. 이 병렬화에 있어 핵심 아이디어는 순수 함수형 프로그램의 참조 투명성을 십분 활용하면 병렬화가 전혀 고려되지 않고 작성된 초기 구현으로부터 최소한의 수정만으로 성능 개선 효과를 기대할 수 있다는 것이다. 초기 구현과 병렬화 구현 둘 다 순수 함수형 언어인 하스켈로 작성되었다. 초기 구현을 병렬화할 때 변화는 아주 적어서 병렬화된 구현에서도 초기 구현의 프로그램 구조가 거의 그대로 유지되었다. 벤치마크를 통해 제시된 간단한 병렬화만으로도 초기 구현과 비교해 두 배 이상의 성능 개선을 확인했다. 또한, 병렬화와는 별개의 최적화 기법인 메모이제이션이 적용된 버전의 쌍방시뮬레이션 구현에도 같은 방식의 병렬화를 적용함으로써 마찬가지로 성능을 개선할 수 있음을 확인하였다.

데이터 흐름을 반영하는 임베디드 시스템의 코드 자동 생성기 설계 (A Design of Data Flow based Automatic Code Generator for Embedded System)

  • 이병용;류호동;권진욱;석미희;이우진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 춘계학술발표대회
    • /
    • pp.56-59
    • /
    • 2010
  • 오늘날 임베디드 환경에서의 하드웨어의 발전에 더불어, 소프트웨어의 복잡도가 점점 증가하고, 유지보수에 대한 비용이 증가함에 따라 UML모델을 이용한 자동코드 생성에 대한 관심이 더욱 커지고 있다. UML을 이용한 코드 생성의 효과적으로 이루어지기 위해서는 설계된 모델의 무결성이 요구되고 이를 위해서는 모델의 논리적 검증이 선행되어야 한다. 아울러 설계자로 하여금 정의하는 모델이 명확하게 이해되고 구현될 있어야 한다. 하지만 코드 생성의 행위적 관점의 기본이 되는 상태머신 다이어그램에서 잘 드러나는 흐름과는 다르게 데이터의 사용은 다이어그램 내부에 숨겨져 있어 설계자로 하여금 모델에 대한 이해를 어렵게 하고 잠재적인 에러의 내포 가능성이 제기되어 왔다. 본 논문은 이러한 문제의 해결을 위해 코드 내포 상태머신 다이어그램의 데이터 시각화기법을 이용하고, 이러한 시각화 기법을 이용하여 데이터 사용관점에서의 모델의 이해를 도움과 동시에 이를 통하여 더욱 정확한 모델링을 수행하고 더불어 이를 통해 최종적으로는 더욱 효율적인 형태의 코드를 생성하는 코드 자동 생성기의 설계를 제안 한다.

컴포넌트 기반 개발을 위한 점진적 시뮬레이터 설계 (A Design of Incremental Simulator Supporting Component-Based Approach)

  • 신영술;;박인수;이정선;;;;이우진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 추계학술발표대회
    • /
    • pp.865-866
    • /
    • 2009
  • 컴포넌트 기반 개발방법론의 이점은 공통의 인터페이스를 가지는 모델의 재사용성과 확장성이다. 시스템은 컴포넌트의 조립을 통하여 점진적으로 개발이 가능하다. 컴포넌트의 행위를 검증하기 위한 기존의 시뮬레이션은 모델을 이용한 검증만 가능했다. 하지만 모든 컴포넌트의 모델링 및 구현이 동시에 완료되지 않기 때문에 점진적인 컴포넌트 기반의 개발을 지원하기 위해서는 모델과 코드를 연계한 시뮬레이션이 필요하다. 본 논문에서는 모델과 코드를 연계한 점진적인 시뮬레이션 기법을 제안한다.

임팩트 투자의사 결정요인에 관한 연구

  • 고병기;김다혜;성창수
    • 한국벤처창업학회:학술대회논문집
    • /
    • 한국벤처창업학회 2023년도 춘계학술대회
    • /
    • pp.149-156
    • /
    • 2023
  • 임팩트 투자(impact investment)는 사회적 가치와 재무적 이익을 동시에 추구하는 소셜벤처에 투자하는 행위이다. 그동안 국내에서는 정부 주도로 임팩트 투자 생태계가 조성되고 성장하였다. 선순환 투자 생태계를 위해서는 소셜벤처가 가지는 사회혁신의 가치와 임팩트 투자의 연계가 중요하다. 사회적 형평과 시장의 효율의 두 가치 중심으로 수요와 공급이 맞는 임팩트 투자에 대한 이해가 필수적이다. 특히, 임팩트 투자 지원정책과 투자가 공공에서 민간으로 확대되는 시점에서 임팩트 투자의사 결정요인을 규명하는 차별화된 접근이 필요하다. 이에 본 연구는 임팩트 투자의사 결정요인을 분석하고 우선순위를 도출하고자 하였다. 먼저 문헌분석을 통해 투자 결정에 영향을 미치는 요인을 확인하고 임팩트 투자 심사역을 대상으로 자문·설문조사를 수행한 뒤, 델파이 기법을 적용하여 주요 투자의사 결정요인을 도출하였다. 다음으로는 임팩트 투자 심사역 10명을 대상으로 AHP분석을 실시하여 투자의사 결정요인의 우선순위를 분석하였다. 분석 결과, 상위요인의 중요도는 시장-창업가(팀)-제품·서비스-재무의 순서로 확인되었으며, 세부요인의 중요도는 '시장의 경쟁강도 및 진입장벽-시장성장 및 확장 가능성-팀의 전문성 및 역량-신시장 창출 가능성-영업활동 및 고객관리-창업가의 신뢰성 및 진정성의 순서로 나타났다. 이러한 연구 결과는 임팩트 투자에 대한 지원정책과 투자가 공공에서 민간으로 확대되는 시점에서 고유한 투자의사 결정요인을 규명하여 투자를 희망하는 이해관계자들에게 기초 자료를 제시했다는 데 의의가 있다.

  • PDF

국가중요시설 방호직공무원이 겪는 민원인 불량행동의 유형 및 개선방안 (Types of Bad Behavior and Countermeasures Against Civil Complaints Experienced by Civil Servants in Protection Positions at National Important Facilities)

  • 이민규;김태환
    • 한국재난정보학회:학술대회논문집
    • /
    • 한국재난정보학회 2023년 정기학술대회 논문집
    • /
    • pp.343-344
    • /
    • 2023
  • 본 연구는 국가중요시설의 청사 내에 근무하는 청사보안과 안전유지, 질서유지를 담당하는 방호직 공무원에게 발생하는 다양한 민원인 불량행동의 유형과 국가중요시설에서 일어나는 각 유형에 맞는 민원인 불량행동에 대한 개선방안을 효율적으로 제시하는데 그 목적이 있다. 이에 인터뷰를 통해 국가중요시설에서 근무하는 방호직공무원이 느끼는 민원인 불량행동이 어떠한 유형으로 있는지 조사하였고 개별면담을 통해 나타난 대표적인 민원인 불량행동의 유형들은 첫째, 국가중요시설 내에서 큰 소리를 지르고 욕설을 하는 언어폭력형 둘째, 각 국가기관 및 지자체의 국가중요시설에서 서비스 업무수행 과정 중 다른 타 민원인이 있음에도 본인 자신의 이익과 편의를 위해 행해지는 행위를 하는 이기주의형 셋째, 각 국가중요시설의 규정 및 내규가 있음에도 규정된 규칙을 무시하고 따르지 않는 규칙위반형 등이 있다. 이에 따라 각 유형별 민원인 불량행동에 대한 개선방안 항목들로 첫째, 방호직공무원 교육의 체계화, 둘째, 민원인을 응대할 수 있는 기관의 내규 및 규칙, 셋째, 민원인에게 겪는 스트레스를 해소할 수 있는 환경을 제시하였다.

  • PDF

국가중요시설 방호직공무원이 겪는 민원인 불량행동의 유형 및 개선방안 (Types of Bad Behavior and Coiintermeasures Against Civil Complaints Experienced by Qvil Servants in Protection Positions at National Important Facilities)

  • 이민규
    • 한국재난정보학회:학술대회논문집
    • /
    • 한국재난정보학회 2022년 정기학술대회 논문집
    • /
    • pp.119-120
    • /
    • 2022
  • 본 연구는 국가중요시설의 청사 내에 근무하는 청사보안과 안전유지, 질서유지를 담당하는 방호직 공무원에게 발생하는 다양한 민원인 불량행동의 유형과 국가중요시설에서 일어나는 각 유형에 맞는 민원인 불량행동에 대한 개선방안을 효율적으로 제시하는데 그 목적이 있다. 이에 인터뷰를 통해 국가중요시설에서 근무하는 방호직공무원이 느끼는 민원인 불량행동이 어떠한 유형으로 있는지 조사하였고 개별면담을 통해 나타난 대표적인 민원인 불량행동의 유형들은 첫째, 국가중요시설 내에서 큰 소리를 지르고 욕설을 하는 언어폭력형 둘째, 각 국가기관 및 지자체의 국가중요시설에서 서비스 업무수행 과정 중 다른 타 민원인이 있음에도 본인 자신의 이익과 편의를 위해 행해지는 행위를 하는 이기주의형 셋째, 각 국가중요시설의 규정 및 내규가 있음에도 규정된 규칙을 무시하고 따르지 않는 규칙위반형 등이 있다. 이에 따라 각 유형별 민원인 불량행동에 대한 개선방안 항목들로 첫째, 방호직공무원 교육의 체계화, 둘째, 민원인을 응대할 수 있는 기관의 내규 및 규칙, 셋째, 민원인에게 겪는 스트레스를 해소할 수 있는 환경을 제시하였다.

  • PDF