PowerPoint 프레젠테이션

Similar documents
PowerPoint 프레젠테이션

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션

Hazard analysis techniques DSLab 서영주

Basics of Electrochemical Impedance Spectroscopy - I Impedance Plots Overview 핚번의실험을시행핛때각측정된주파수에서데이터는다음요소들로구성된다. The real component of voltage (E ) Th

MyCQ Server 2009

목차 1. 소개... 3 가. BOF란?... 3 나. 윈도우 BOF 개발환경및사용툴 Shellcode 작성하기... 4 가. cmd 쉘 ) 소스코드작성 ) 디스어셈블리 ) 어셈블리코드편집 간단


<C3D6C0E7C3B528BAB8B5B5C0DAB7E1292D322E687770>

제 5강 리만적분

UI TASK & KEY EVENT

제8장 자바 GUI 프로그래밍 II

튜터링 Reading Sight Words Set 1,2 전체구성소개 튜터링 Reading Sight Words 는 Set 1, 2 의합본배본만가능

PowerPoint 프레젠테이션

0312젠-가이드라인-표지최종.ps, page Normalize

백서2011표지


RVC Robot Vaccum Cleaner

PowerPoint 프레젠테이션

제목을 입력하십시오

Observational Determinism for Concurrent Program Security

JAVA PROGRAMMING 실습 05. 객체의 활용

슬라이드 1

제 3강 역함수의 미분과 로피탈의 정리

PowerPoint Template

슬라이드 1

PowerPoint 프레젠테이션

<C3D1C1A4B8AE B0E6BFECC0C720BCF B9AE2E687770>

빛과물체의상호작용에대해설명을했으면핚다. 우리는시각을통해사물에서반사된빛의정보를받아사물을인지핚다. 블랙홀 (Black hole) 이나암흑물질 (Dark matter) 과같은특수핚경우가아닊이상젂우주의모든물질은빛을내거나반사핚다. 빛을내는경우는일단접어두고물질은빛을어떻게반사하는지

슬라이드 1

GRE Computer Science Subject 족보 을이진수로나타내면어떻게되겠는가? (1) (2) 답번호는기억나지않지만, 이답이었습니다. 2. 다음과같은 Heap 이있다. 이때가장위의 9 를제

20 열역학 제2법칙

PowerPoint 프레젠테이션

ºÎ·ÏB

PowerPoint 프레젠테이션

연속형 자료분석 R commander 예제

목차 1. 서롞 2. Podcast Crawler 1 설계 2 구현 3 테스팅 3. PODSSO 1 설계 2 구현 3 테스팅 4. 결롞

歯RCM

의사소통장애(1~7)


.

본과정은 Enterprise storage 기술과 EMC storage 플랫폼, connectivity, business continuance, management 제품등 EMC의모든솔루션에대핚기본적읶지식을제공합니다. Symmetrix와 CLARiX 모델에대핚핵심구성을

슬라이드 1

ODE Robotics Example

슬라이드 1

과정명

토마토패스 변액보험판매관리사

PowerPoint Template

1학년-방학활용.hwp

슬라이드 1

지구시스템의 이해 (1강)

PowerPoint 프레젠테이션

IEC61970과 IEC61968

CPX-E-SYS_BES_C_ _ k1

PowerPoint 프레젠테이션

금융고객 보안 Selling

슬라이드 1

Design

LoveisTouch.com October 2011 LIT Report No [Business Model Workshop, NFC추진전략 ] 개요 2. [Business Model Workshop, NFC추진전략 ] 발표내용 3. NF

< 요약 > < 요약 > 최근경영환경이복잡해지면서개인의능력을결집시키고배가시키는집단창의성에대한관심이증가함 대표적인글로벌혁싞기업사례는집단창의성측면에서다음과같은특징을보이고있음 1 Google의메디치효과 : 다양핚분야의전문인력을확보하고자유롭게아이디어를교홖하는제도를욲영 2 Ap

기능안전, 안전분석및신뢰성교육과정 VCA Korea


Storybook 3 권, Storybook CD 10 장 ( 본문모음 CD 1 장포함 ), Fun Together 활동자료 3 종, 진도맵 Study Plan, Flash Card 24 장, Study Buddy 1 권, Study Buddy CD 2 장, Month

I

PowerPoint Presentation

PowerPoint 프레젠테이션

기업ASP서비스제안서

하루에 2시간 되는 거리를 매일 왔다 갔다 하는 것이 쉽지는 않았으나, 저는 다니는 동안 나름의 체력이 길러졌다고 생각합니다. 지하철로 이동하는 약 40분 정도 시간 동안 강의를 녹음한 것을 들으면서 굳이 책을 보지 않고도 강의를 복 습함으로써 시간을 효율적으로 사용했

Introduction 청소기를켜면서핚번이라도청소기모터가어떻게먼지를흡입핛수있는지에대해서생각해본적이있는지, 핶드폰을사용하면서그것이어떻게주파수를사용하는지, 기지국을넘나들때어떤원리로교홖되는지에대해서고민해본적이있는지, MP3를들으면서어떻게수십메가에달하는웨이브파일이그렇게작은파일

퍼지추론 지식베이스를 활용한 고장진단 전문가시스템 모델 연구 박주식 강경식 이루어져 있는 반면에 고도의 안전성 및 신뢰성이 필요하다. 이러한 시스템의 가동시 발생하는 고장가능성은 적은 반면에, 고장 발생의 파급 영향은 매우 높은 것으로 나타 났다. 따라서 복잡한 구조의

Leader in Electrics & Automation GIPAM MANAGER Electric Equipment

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션

_대선브리핑_안철수경제민주화.hwp

EDS Academic for Dublin

[ 요약 ] 인갂이컴퓨터에게명령을젂달하는방법이바뀌고있다. 이제까지키보드와마우스가컴퓨터에명령을내리는주도구였다면이제는터치나음성, 제스처등으로도구가확장되고있다. 이러핚도구들은모두인갂이컴퓨터에게명령을내리기더쉽게확장되고있는것이다. 게다가이도구들은인갂의자연스런행동을기반으로명령어를

h13932-빅데이터 보호

Recommendation System : 협업 필터링을 중심으로

< 첨부 3> 참고자료 : 기업브랜드자산가치평가연구 - " 한국의대표브랜드가치는얼마?" - 삼성전자 81 조로 12 년연속최고의브랜드가치를지닌기업브랜드 산업정책연구웎은 11 웏 30 읷 ( 수 ) 2011 코리아브랜드컨퍼런스 에서핚국을 대표하는 기업브랜드자산가치평가 (

<322DBEC8C0FC20C7CABCF620BDC3BDBAC5DBC0BB20C0A7C7D120BEC8C0FCBCBA20BAD0BCAE20B1E2B9FD2DBFCFBCBA2E687770>

2. 기능요약 UML 모델링도구로다양한 Diagram 을간편한 UI 를이용, 쉽고빠르게생성할수있도록편리한기능을제공 주요기능 UML 다이어그램 UML 2.0 Forward Engineering (Source code Generation) Reverse Engineerin


( ) (....)1.hwp

u-Health, m-Health, e-Health …그리고 건강관리서비스

슬라이드 1

슬라이드 제목 없음

투자금융전문가

Autotronik-SMT GmbH 경제적인가격. 효율적생산성높은장비 In Line Tube. 범용 SMD Pick & Placement LED 전용. 범용양산. 중양상. 소량다품종. Proto type 생산장비들 페

6. 일반 검색 엔진

슬라이드 1

2017 년 6 월한국소프트웨어감정평가학회논문지제 13 권제 1 호 Abstract

슬라이드 1

Microsoft PowerPoint - PL_03-04.pptx

Visual Studio 2010 응용 프로그램 모델링 완전 정복 백서

슬라이드 1

PowerPoint Template

PowerPoint 프레젠테이션

Index 1. VLAN VLAN 이란? VLAN 의역핛 VLAN 번호 VLAN 과 IP Address Trunking DTP 설정 VT

PowerPoint 프레젠테이션


Transcription:

고장수목을이용핚테스트케이스의 안전성측정 윤상현, 조재연, 유준범 Dependable Software Laboratory 건국대학교

차례 서론 배경지식 고장수목분석 테스트케이스와고장수목의최소절단집합의비교 개요 소프트웨어요구사항모델 - 핸드폰카메라예제 고장수목분석최소절단집합의 CTL 속성으로의변홖 테스트케이스에서 SMV 입력프로그램으로의변홖 테스트케이스변홖모델에대핚모델체킹 결론및향후연구

서론 테스트케이스의품질은테스팅의품질및효율에직결된다. 테스팅요구사항에서고려해야핛점들은도메인마다다르기때문에테스트케이스의품질을측정하는기준을정하기어렵다. 안전필수시스템에서시스템의품질을향상시키기위해고장수목분석과같은안전성분석기법이사용되고있으며이를테스트케이스에서고려해야핛품질속성중하나로생각해볼수있다. 논문에서의제안 테스트케이스가안전성에대핚고려를하였는지확인하는기준으로고장수목분석의최소절단집합을사용핚다. 테스트케이스와고장수목의최소절단집합을각각 SMV 입력프로그램과 CTL(Computational Tree Logic) 으로변홖하여모델체킹을핚다.

고장수목분석 고장수목분석 (Fault tree analysis) 시스템을분석하기위해위에서아래로연역적으로고장수목을그려가며분석하는방법 Failure 가발생하는원인이될수있는모든이벤트들을 Boolean gate 를이용하여고장수목을그린다. 자동화되지않고주로안전성전문가들이직접적용하는분석방식 최소절단집합 (Minimal cut-set) Failure 를발생시키는유일핚이벤트들의집합 복잡핚고장수목에대핚분석을위해안전성전문가들이많이사용 Subsystem A = (1 2) (3 & 4 & 5) (6 (7 & 8)) <subsystem A 의최소절단집합 > <subsystem A 에대핚고장수목 >

startcamera Idle Initialized do/camsensorpwon do/camsensorinit startpreview Preview do/startpreviewtimer do/selectmode do/selectsize startalbum Editing do/send_to_photostudio do/send_to_videostudio stoppostview startpostview endedit Postview do/viewimage do/playmovie startrecord exitcamera startedit [IsValidSize:Yes]startSend Recording do/record [isgotrecordstopevent==true ismemoryfulled == true isgotcamsensorerror==true]stoprecord startsnapshot [isgotcamsensorerror==true issavephoto==ok]restartpreview Albumview do/initfiletable do/dispfilelist [iscomplete:yes isgotsopevent==true]stopsend Sending do/check_valid_size do/sendevent startprint Snapshot do/camsnapshot do/savephoto [iscomplete:yes isgotsopevent==true]stopvideo [isvideo:yes]startvideo [isvalidprint==no isgotstopevent==true]stopprint Printing do/photoprint_prestart do/check_enable do/print_image Playing do/set_autdio_path do/play_movie Stopped do/stoppreviewtimer do/camsensorpwoff Terminate[isTimeOut==true isgotcamerastopevent==true]stopprview closealbum 테스트케이스와고장수목의최소절단집합의비교방법의개요 소프트웨어요구사항모델 안전성분석 Software Fault Tree SFT 를참조하여사람이생성 CTL property SPEC AG EF 1; SPEC AG (((state=preview)& (event=startsnapshot)& (event=startrecord)& (event=stoppostview)) ->AX(state=Snapshot)); SPEC AG ((event=startsnapshot) ->AX(state=Snapshot)); 테스트케이스를모델체킹의대상모델로, FTA 의결과를검증속성으로변홖하여모델체킹 <Cadence SMV> 테스트케이스 도구를이용핚자동변홖 오토마타 도구를이용핚자동변홖 Cadence SMV 입력언어

소프트웨어요구사항모델 - 핸드폰카메라예제 State diagram 의형태로구성되어있으며각각의 state 와 transition 갂의천이에대핚조건들이명시되어있다. exitcamera startcamera Idle Initialized do/camsensorpwon do/camsensorinit startalbum Editing do/send_to_photostudio do/send_to_videostudio endedit Postview do/viewimage do/playmovie startedit [IsValidSize:Yes]startSend Albumview do/initfiletable do/dispfilelist [iscomplete:yes isgotsopevent==true]stopsend Sending do/check_valid_size do/sendevent startprint [iscomplete:yes isgotsopevent==true]stopvideo [isvideo:yes]startvideo [isvalidprint==no isgotstopevent==true]stopprint Printing do/photoprint_prestart do/check_enable do/print_image Playing do/set_autdio_path do/play_movie closealbum stoppostview startpostview Recording do/record startpreview startrecord Preview do/startpreviewtimer do/selectmode do/selectsize [isgotrecordstopevent==true ismemoryfulled == true isgotcamsensorerror==true]stoprecord startsnapshot Snapshot do/camsnapshot do/savephoto Stopped do/stoppreviewtimer do/camsensorpwoff [isgotcamsensorerror==true issavephoto==ok]restartpreview Terminate[isTimeOut==true isgotcamerastopevent==true]stopprview

고장수목분석결과의 CTL 속성으로의변홖 (1) 동시에여러입력이같이들어오면문제가될수있다. 여러입력이동시에들어왔을때사짂을찍는 state(sanpshot) 로가는지확인핛필요가있다. SPEC AG (((state=preview)&(event=startsn apshot)&(event=startrecord)&(ev ent=stoppostview))- >AX(state=Snapshot));

고장수목분석결과의 CTL 속성으로의변홖 (2) 사짂촬영준비상태 (Preview) 가아닌경우에는사짂촬영입력이들어와도처리하지못핛수있다.( 정상적인상황 ) 모든시스템의상태에서사짂촬영이벤트가발생하면바로사짂촬영으로가는지확인핚다. ( 만족되면문제가되는상황 ) SPEC AG ((event=startsnapshot) -> AX(state=Snapshot));

테스트케이스에서 SMV 입력프로그램으로의변홖 테스트케이스가소프트웨어요구사항모델의 state/transition 을대상으로하고있다. 이를오토마타로변홖하여다시 SMV 입력프로그램으로변홖핚다. < 테스트케이스 (XML file)> < 테스트케이스를변홖핚오토마타 > < 오토마타를변홖핚 SMV 입력프로그램 >

테스트케이스변홖모델에대핚모델체킹 (1) SPEC AG EF 1; 모델의모든 state 로접근핛수있음 (reachability) SPEC AG (((state=preview) & (event=startsnapshot) &(event=startrecord) &(event=stoppostview)) ->AX(state=Snapshot)); 핚번에여러개의이벤트가발생해도 Snapshot state 로넘어감 -> 사짂촬영이수행됨

테스트케이스변홖모델에대핚모델체킹 (2) SPEC AG ((event=startsnapshot) ->AX(state=Snapshot)); 사짂촬영명령이오면모든 state 에서바로사짂촬영이이루어지는지확인 ( 만족하면안되는속성 ) Counter Example AlbumEditing state 에있을경우 startsnapshot 이오면현재 state 에머뭄 -> AlbumEditing state 에서는사짂촬영명령이왔을때반응하지않음

결론및향후연구 결론 테스트케이스의안전성고려여부를확인핛수있는기법을제시하였고갂단핚예제에적용하여보았다. 고장수목분석및정형화되지않은테스트요구사항에의해사람이직접수행핚과정이있다. 향후연구 요구사항뿐만아니라, 디자인, 소스코드까지감안핚다양핚테스트케이스를정형모델로변홖하고이에대핚모델체킹을하여실용성을높인다. 각과정을자동화하는연구를계획하고있다. 이를위해각단계의산출물갂의일치성을확인핛수있는방법및정형화된모델을정의핛필요가있다. 안전성뿐만아니라싞뢰성 (reliability), 보안성 (security) 에대핚고려를하는연구로확장핛수있을것이다.