• 제목/요약/키워드: 시스템 테스트 모델

검색결과 504건 처리시간 0.029초

통합관제 보안관리모델의 성능분석 (Performance Analysis of Security Management model for Unity Control)

  • 서정은;윤병민;허창우;김윤호
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2003년도 추계종합학술대회
    • /
    • pp.908-911
    • /
    • 2003
  • 본 연구에서는 한층 더 개선된 보안시스템을 구현하기 위해 현재 사용하고 있는 보안시스템에 대한 테스트를 실시하여 실제적으로 따르는 문제점을 분석하고, 그에 따른 대응책을 마련코자 하였다. 방화벽에서 처리할 수 있는 최대의 전송량을 측정하고자 테스트 모델을 구성하여 테스트를 실시하였으나, 테스트구간에서 전송된 Packet 수와 전송시간 측정만 기록되고, 최대 전송량 측정은 실현하지 못하였다. 따라서 보안업체의 협조를 얻어 Tool(스마트비트)을 이용한 테스트 결과를 얻을 수 있었으나, 실제 기관의 사례를 실시한 결과 많은 차이점을 가지고 있었다. 이는 기관별로 적용되고 있는 방화벽 정책(Rule 수)에 따라 방화벽의 처리성능이 가장 큰 차이점으로 분석된다.

  • PDF

자동화 기술을 활용한 임베디드 시스템 소프트웨어의 테스트 사례 연구

  • 한상섭;양인승;김은주
    • 한국신뢰성학회:학술대회논문집
    • /
    • 한국신뢰성학회 2004년도 정기학술대회
    • /
    • pp.155-160
    • /
    • 2004
  • 디지털 제품의 기능 다양화 및 복잡화에 따라 제품 개발 주기 내 소프트웨어 개발 및 테스트 조직의 업무 중 30∼40% 이상이 소프트웨어 테스트 업무에 집중하고 있다. 급변하는 소비자 요구사양에 대응하기 위해서는 신제품 개발 주기가 짧아지면서 개발 모델 수와 테스트 항목이 지속적으로 증가하고 있기 때문에 소프트웨어 기본 기능 및 UI (User Interface) 검증에 대한 자동화의 필요성이 대두 되었다. 본 논문에서는 휴대폰, DVDP, PDA에 대한 System Integration 작업을 통해 입출력을 정의하고 Black-Box testing을 구현하여 평균 64%이상의 자동화 율과 기본 Test Spec. 대비 80% 이상의 Test coverage를 확보했으며 많은 장단점을 도출할 수 있었다.

  • PDF

소프트웨어의 운영 및 테스트 신뢰도 (Operational and Testing Reliabilities of S/W)

  • 최규식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
    • /
    • pp.501-504
    • /
    • 2002
  • 오늘날 어떠한 복잡한 기기에 있어서도 S/W 의 신뢰도는 중요한 요소가 리고 있다. S/W 신뢰도는 보통 NHPP와 같은 신뢰도모델에 의해서 평가한다. S/W 시스템은 테스트 단계예서 품질이 향상되고 운영단계에서는 거의 변화가 없다. 신뢰도를 테스트 단계에서 추정할 것인가 아니면 운영단계에서 추징할 것인가의 여부에 따라서 그 추정방법이 달라져야 한다. 본 논문에서는 두 가지의 상이한 신뢰도개념 즉 운영신뢰도와 테스트 신뢰도를 명확히 구분하여 자세히 고찰한다. 이러한 개념은 기존의 여러 문헌에서 혼용해 사용하거나 잘못사용되어 왔다. 상이한 신뢰도개념을 사용하면 상이한 신뢰도를 얻게 되며, 추후 상이한 신뢰도기준 결정기법에 이르게 된다.

  • PDF

스마트그리드에서의 CPS (cyber-physical system) 시뮬레이션 구현을 위한 제반 연구이슈 및 방법론 검토

  • 강동주;김휘강
    • 정보보호학회지
    • /
    • 제22권5호
    • /
    • pp.62-72
    • /
    • 2012
  • 스마트그리드는 전력시스템과 이를 제어하기 위한 통신 인프라를 중심으로 다양한 시스템이 서로 통합되는 종합적인 플랫폼으로 이해할 수 있다. 기존에 각기 독립적으로 운영되는 시스템과 통신 인프라가 통합되기 시작하면서 다양한 상호작용이 파생되고 그로 인해 잠재적인 보안 측면의 위험성도 커지게 된다. 전통적인 전력시스템은 폐쇄적인 SCADA 네트워크를 기반으로 운영되었기 때문에 최소한의 보안강도가 보장되었지만, 스마트그리드 하에서는 개방형 통신망과 연계되면서, 기존의 사이버 보안 위협들이 전력시스템으로 유입하게 된다. 기존의 IT 시스템과는 달리 전력시스템과 같은 제어시스템은 물리적 작동과 공정이 수반되기 때문에 새로운 위험이 발생하기도 하고 기존의 위험이 증폭되기도 한다. 전력시스템에서는 가용성이 그 무엇보다 중요하기 때문에, 스마트그리드 체제하에서의 다양한 위협요인을 미리 파악하고 이에 대비한 계획을 수립함으로써, 그러한 가용성의 수준을 유지할 필요가 있다. 이를 위해서는 기존의 사이버 위협이 어떠한 경로를 통해 전력시스템에 영향을 미치게 되며 그로 인한 잠재적 위험이 얼마나 되는가를 평가할 필요가 있다. 그러나 스마트그리드는 아직까지 구축중인 미래형 시스템이고 누적된 과거 데이터가 없기 때문에 가상의 하드웨어 기반 테스트베드 내지 소프트웨어 기반의 시뮬레이션 모델을 통해 이를 사전적으로 테스트할 필요가 있다. 또한 스마트그리드는 서로 다른 IT 시스템과 물리적 설비들이 결합되는 복잡한 시스템이라는 측면에서, 잠재적으로 발생 가능한 다양한 위험을 분석하고 평가할 수 있는 모델의 수립이 요구된다. 본고에서는 그러한 CPS 기반 시뮬레이션 모델에 대한 현재의 연구동향을 검토하고, 향후 실질적으로 구현하기 위한 방안을 제안하고자 한다.

에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성 (An Automated Test Data Generator for Debugging Esterel Programs)

  • 윤정한;조민경;서선애;한태숙
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권10호
    • /
    • pp.793-799
    • /
    • 2009
  • 에스테렐은 반응형 시스템 설계에 적합하도록 디자인 된 명령형 동기언어이다. 시스템 개발 시에는 디버깅을 위해 다양한 테스트가 필요하다. 반응형 시스템을 테스트 하려면 일련의 입력을 시간의 흐름에 따라 순서대로 나열하여야 한다. 하지만 원하는 목적에 적합한 테스트 데이터를 생성해 주려면 많은 노력이 필요하며, 이 과정에서 오류가 발생하기도 한다. 따라서 디버깅의 특성상 빠르면서 원하는 목적의 테스트 데이터를 쉽게 표현할 수 있는 도구가 필요하다. 본 연구에서는 디버깅에 도움을 줄 수 있는 테스트 데이터 자동 생성기를 개발하였다. 본 연구는 개발자가 원하는 테스트 데이터를 쉽게 표현할 수 있고, 빠르게 테스트 데이터를 만들어내는 것에 초점을 두었다. 또한 사례 연구를 통해 실제 시스템 개발에 우리의 테스트 데이터 생성기를 적용한 예를 보여준다.

토목 프로젝트를 위한 CPLM 시스템의 테스트 베드 (Testbed of CPLM System for Civil Projects)

  • 이창우;강형석;한송이;조제헌;이광명;노상도
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2011년도 정기 학술대회
    • /
    • pp.99-102
    • /
    • 2011
  • 본 논문에서는 토목 프로젝트를 효과적으로 수행하고자 개발된 CPLM(Construction Project Lifecycle Management) 시스템을 현재 진행 중인 교량 건설 프로젝트에 적용함으로써 실제 토목 프로젝트의 전주기에 걸쳐 CPLM 시스템의 활용 가능성과 효율성을 검토하였다. 테스트베드 대상은 ${\bigcirc}{\bigcirc}{\bigcirc}$대교의 Ramp A 구간과 주경간 교량의 주탑이며, 적용 절차는 대상에 대한 정보 모델을 구축하고 CPLM 시스템을 통한 참여 조직간 협업을 수행함으로써 시스템의 효율성 및 활용성을 도출하는 과정으로 이루어졌다. 본 연구를 통해 보다 효과적인 토목 프로젝트 관리를 위한 CPLM 시스템의 개선안을 도출하고, 토목 프로젝트의 효율적 수행을 위한 방향을 제시하였다.

  • PDF

1대1 요구사항 모델링을 통한 테스트 케이스 자동 생성 (Automatic Test Case Generation Through 1-to-1 Requirement Modeling)

  • 오정섭;최경희;정기현
    • 정보처리학회논문지D
    • /
    • 제17D권1호
    • /
    • pp.41-52
    • /
    • 2010
  • 생성된 테스트 케이스와 요구사항과의 연관관계가 중요하지만, 모델을 이용한 테스트 케이스 자동생성에서는 모델이 요구사항과 m:n의 관계를 맺기 때문에 테스트 케이스와 요구사항과의 관계도 매우 복잡해진다. 본 논문에서는 1:1 모델링 도구인 REED(REquirement EDitor)를 이용하여 테스트 케이스를 생성하는 방법에 대하여 기술한다. 테스트 케이스는 커버리지 타겟 생성, IORT(Input Output Relation Tree) 생성, 테스트 케이스 생성의 3단계를 거치며, 모든 단계는 자동으로 진행된다. 생성된 테스트 케이스는 하나의 요구사항에서 생성될 수 있으며 실제 시스템에 적용한 결과, 온도조절장치 경우는 5,566개, 버스카드 단말기의 경우는 3,757개, 굴착기 제어기는 4,611개의 테스트 케이스가 생성되었다.

상태모델에 기반한 소프트웨어 컴포넌트 명세의 정형적 테스트 (Formal tests for State-model based Specifications on Software Components)

  • 서동수
    • 컴퓨터교육학회논문지
    • /
    • 제7권6호
    • /
    • pp.129-139
    • /
    • 2004
  • C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.

  • PDF

인터넷광고서버의 타겟팅엔진을 위한 데스트프레임워크 (A Test Framework for Targeting Engine of the Internet Advertising Server)

  • 김기형
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2002년도 춘계학술대회논문집
    • /
    • pp.243-247
    • /
    • 2002
  • 인터넷은 상거래의 중요한 매체로서 빠르게 변화해 가고 있다. 많은 인터넷서비스공급자들이 현재 상용 서비스를 하고 있으며 이들의 중요한 비즈니스 모델중의 하나가 인터넷 광고이다. 인터넷광고를 서비스하는 기술에서 가장 중요한 부분은 인터넷서비스수요자중 정의된 타깃을 가려낼수 있는 타깃팅기술이다. 본 논문에서는 인터넷 광고 서버의 타깃팅 엔진을 테스트할 수 있는 테스트 프레임워크를 설계하고 구현한다. 제안된 테스트프레임워크는 엔진의 기능 및 성능 테스트를 할 수 있다. 제안된 테스트 프레임워크는 다양한 인터넷 광고 서버시스템의 컴포넌트들에 대해 일관된 테스트 사용법과 형식화된 출력을 보여주며 플랫폼에 독립적이도록 자바언어로 개발되었다. 또한 기존에 개발된 테스트에 새롭게 개발된 테스트를 쉽게 통합할 수 있다. 다양한 형태의 테스트가 가능하도록 아주 일반적인 클래스 구조를 갖게 설계되었다.

  • PDF

웹 서비스 제품에서의 테스트 조직 향상을 위한 TMM 적용과 메트릭 연구 (A Study of Metrics for Test Organization Improvement by TMM in Web Application Product)

  • 권효진;이진호;최진영
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.367-370
    • /
    • 2008
  • 소프트웨어 제품의 신뢰성과 안정성 확보를 위한 품질 보증이 중요해짐에 따라 독립된 테스트 조직이 증가되고 이러한 테스트 조직은 효과적 효율적으로 테스트 활동을 수행하기 위해 테스트 프로세스 개선을 필요로 한다. 그러나, 프로세스는 제품의 도메인 특성으로부터 많은 영향을 받아 특화되므로 실시간(Time to Market) 서비스가 강조되는 웹 서비스 시스템에서의 테스트 프로세스에 대한 연구가 부족하므로 테스트 조직 향상을 위한 방향 모델과 이를 이행할 수 있는 접근 방법을 필요로 한다. 본 연구에서는 웹 서비스 제품의 품질을 보증하기 위해 검증 작업을 수행하고 있는 테스트 조직이 향상되기 위한 방안으로 TMM을 적용하였고, 성숙된 프로세스 구축을 위한 방법으로 GQM을 이용하여 메트릭을 도출한 사례를 제시하였다. 이런 연구결과는 도메인 특성에 맞게 도출된 매트릭을 통해 제품과 테스터의 능력을 평가하고 결과 값을 프로세스 개선에 반영하여 정량적인 데이터 기반으로 관리되는 테스트 조직으로 발전할 수 있을 것이다.