슬라이드 1

Size: px
Start display at page:

Download "슬라이드 1"

Transcription

1 디지털계측제어시스템의소프트웨어 테스트커버리지관련규제방향 김형태한국원자력안전기술원 ~ 4.6 제 12 회원자력안전기술정보회의

2 목차 1. 서론 2. 테스트커버리지개요 3. 관련표준들분석 4. 사례연구 : 신고리 1,2 CPCS, KNICS POSAFE-Q 5. 테스트커버리지적용근거 6. 테스트커버리지규제방향 7. 결론 Slide 2

3 1. 서론 디지털계측제어시스템에적용되는소프트웨어가복잡해지면서테스트케이스의수가증가되고적절한테스트케이스를선택하기어려워짐 소프트웨어에대한확인및검증이어려워지고검증에대한측정할수있는기준을도입필요 이에대한어려움을해결하고소프트웨어검증을위해테스트커버리지를적용하고있음 소프트웨어테스트커버리지를원전에적용하기위하여관련표준들을분석하여적용방안을도출하고규제방향을제시하고자함 Slide 3

4 1. 서론 Reference Standards IEEE Std , Software Unit Testing IEEE Std , Software Test Documentation IEEE Std , Software Verification and Validation IEC Std , Software aspects for computer-based systems performing category A functions RTCA/DO-178B, Software considerations in airborne systems and equipment certification ( 항공산업표준 ) Slide 4

5 2. 테스트커버리지개요 Test Coverage 주어진테스트케이스에의해수행되는테스트의범위를측정하는척도 요구사항기반의요구사항커버리지 (requirement coverage) 코드기반의코드커버리지 (code coverage) 구조적커버리지분석을통해의도하지않는기능유무및테스트케이스의적절성을판단할수있음 기본코드커버리지종류 Statement Coverage Decision Coverage (Branch Coverage) Modified Condition/Decision Coverage (MC/DC) Slide 5

6 2. 테스트커버리지개요 Statement Coverage 프로그램에있는모든문장이적어도한번이상수행 기본적인커버리지이지만제어구문에취약 Decision Coverage 분기커버리지 (branch coverage) 라고도하며프로그램의모든결정에서가능한모든결과에대하여적어도한번이상수행되어야함 If (a b) then true false Slide 6

7 2. 테스트커버리지개요 Modified Condition Decision Coverage (MC/DC) Condition/Decision coverage 을만족하고결정에서각조건들은결정들의결과에독립적이어야함 MC/DC는테스트케이스를적절하게선택할수있게하며일반적으로 n개의입력을가진결정에서최소 n+1개의테스트케이스를필요 If ((a) (b)) then false true false Coverage Decision Condition Condition/ Decision MC/DC Multiple Condition TF TF TT TF TT FF FT FF FT TF aor b FF FT FF Slide 7

8 2. 테스트커버리지개요 Test Coverage 비교 Slide 8

9 3. 관련표준들분석 IEEE Std , 단위시험 단위시험들에의해시험될범위및각영역에따른커버리지정도를명시 모든소프트웨어의특징들은테스트케이스 ( 예외상황포함 ) 에의해검증 테스트케이스에의해모든 Instruction들은적어도한번실행이요구 Instruction 은 Statement로해석될수있으며결국 Statement Coverage 를만족 중요도에따라 Instruction Coverage는 Branch Coverage로강화될수있음 단위시험수행의커버리지를측정하기위해자동화된수단이권고 Slide 9

10 3. 관련표준들분석 IEEE Std , 소프트웨어시험문서 Annex A (informative): Examples Since generation of all possible input values is impractical, test set comprehensiveness will be evaluated based upon the following criteria: (1) Requirements coverage. Has each of the requirements been satisfied? (2) Design coverage. Has each of the functional design specifications been satisfied? (3) Domain coverage. Has each of the input constraints (e.g., maximum of one decimal point) been tested? Have representative values been included? Have all error messages been generated? (4) Branch coverage. Has every branch been taken at least once? (5) Statement coverage. Has every statement been executed at least once? Appropriate checklists will be generated to evaluate criteria (1) through (3). Existing code instrumentation tools will be used to evaluate criteria (4) and (5). The test set must satisfy each component of the five criteria specified above at least once 테스트커버리지에대한예 Slide 10

11 3. 관련표준들분석 IEEE Std , 소프트웨어확인및검증 " 컴포넌트, 통합등시험계획을수립할때테스트커버리지를만족하도록계획을수립해야함 요구사항커버리지만족과테스트의완전성을확인하기위해수행된시험을평가해야함 시험케이스에의해확인된소프트웨어의범위를측정하기위해커버리지를평가를수행해야함 요구사항에대한커버리지는필수요건으로명시됨 코드커버리지에적용종류및확인방법대한내용은구체적으로명시하지않음 Slide 11

12 3. 관련표준들분석 IEC Std 검증계획 - 시험은소프트웨어를광범위하게실행할수있도록수행 - 시험계획의요건에따라우선적으로테스트커버리지를고려 - 시험의범위를확인할수있는결과물을명시 - Annex E에따라선택한커버리지기준에대하여정당화해야하고문서화해야함 구현검증 - 구현단계검증을위해사용한테스트방법들은 Table E.4.2에따라선택 - 코드커버리지즉 statement, branch coverage 등의방법들을권고 Slide 12

13 3. 관련표준들분석 RTCA/DO-178B system safety assessment 를통해확인된 failure 종류에따라 S/W Level 을 A,B,C,D,E 로구분 코드커버리지요건은아래와같이 S/W Level 에따라정의 Slide 13

14 3. 관련표준들분석 RTCA/DO-178B Software Testing Process (Figure 6.1) 요구사항커버리지분석및구조적코드커버리지분석을요구 Slide 14

15 3. 관련표준들분석 RTCA/DO-178B 검증계획 - 추적성및커버리지분석을포함하는검증방법명시 검증케이스및절차 - 요구된커버리지를달성할수있는시험케이스를생성하고관련절차에따라검증수행 검증결과 - 시험결과 - 검토결과 - 분석결과 ( 커버리지및추적성분석을포함하는분석 ) Slide 15

16 4. 사례연구 : 신고리 1,2 CPCS, POSAFE-Q 신고리 1,2 CPCS 신고리 1,2 CPCS 소프트웨어는 Statement, Branch coverage 달성계획 관련테스트계획문서와모듈테스트절차서에 Branch coverage를만족함을보이기위해자동화툴사용명시 요구사항커버리지는 RTM을통해입증 툴을사용하여코드커버리지분석을수행하고 Statement, Branch coverage등을만족함을입증함 코드커버리지분석결과 Statement, Branch coverage 등을달성함 Statement and Branch Coverage achieved! Slide 16

17 4. 사례연구 : 신고리 1,2 CPCS, POSAFE-Q KNICS POSAFE-Q POSAFE-Q의 RTOS인 pcos 소프트웨어는커널컴포넌트를제외한나머지컴포넌트에대하여 Branch Coverage 달성계획 요구사항커버리지는 RTM을통해입증 툴을사용하여코드커버리지분석수행하여 Branch coverage 만족입증 코드커버리지분석결과 - 총 137개함수중116개함수 (21개를제외 ) - Decision 개수 1,370 - 시험된 Decision 개수 1,370개로 100% Decision Coverage 만족확인 Slide 17

18 5. 코드커버리지적용근거 요구사항커버리지 원전적용필수요건 IEEE Std. 1012등원전표준에서명시하는기본적인커버리지 코드커버리지에우선하는요건 코드커버리지 요구사항커버리지를보완하는추가적인요건 소프트웨어의중요성즉등급에따라적용 Statement, Branch 커버리지는원전표준인 IEEE Std. 1008, IEC Std 등에근거하여적용 MC/DC 커버리지는미항공표준 DO-178B에서채택하고있고이에대한타당성을입증하는연구에근거하여적용 Slide 18

19 5. 코드커버리지적용근거 MC/DC 적용근거 미항공표준DO-178B에서가장높은 S/W 등급에서요구 요구되는시험케이스가많지않음 (n개조건에대해 n+1 개시험케이스 ) HETE-2 위성소프트웨어에대한시험결과, 블랙박스시험에대한한계와보다깊은이해와정확한테스팅을요구하는소프트웨어대하여 MC/DC는효과적으로대응하며검출성능이우수함 - An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software, Ar naud Dupuy, Alcatel, France, Nancy Leveson, MIT, USA PLC 프로그램에 MC/DC를적용했을때결함검출에대하여가장우수한성능을보임 - MC/DC based estimation and detection of residual faults in PLC logic networks,peter G Bishop Centre for Software Reliability, London, UK Slide 19

20 6. 테스트커버리지규제방향 테스트커버리지규제방향개요 소프트웨어등급에따른테스트커버리지요건달성계획 요구사항 / 코드커버리지기반의테스트케이스생성 단위시험및통합시험수행 요구사항커버리지분석 코드커버리지분석 Slide 20

21 6. 테스트커버리지규제방향 시험계획 소프트웨어등급에따른테스트커버리지요건달성계획수립 - 테스트커버리지달성방법, 시험절차, 분석방법등 시험케이스생성및시험수행 소프트웨어등급에따른테스트커버리지요건을적용하여시험케이스를생성하고시험을수행 요구사항커버리지는필수요건사항이며 S/W 등급에따라코드커버리지적용 코드커버리지는 Statement, Branch, MC/DC 커버리지를적용 - Statement, Branch 커버리지는원전에도이미적용되고있음 -MC/DC 커버리지는항공산업에이미적용되고있고이에대한타당성을입증하는연구들이있으므로요건으로포함하였음 테스트커버리지요건에따라테스트가수행되었음을입증할수있는결과물을제시할수있어야함 예 ) 시험합격 / 불합격결과, 시험로그파일등 Slide 21

22 6. 테스트커버리지규제방향 테스트커버리지분석수행 시험수행완료후테스트커버리지분석을통하여커버리지요건만족을입증해야함 테스트를수행한결과물을가지고커버리지요건만족여부를분석 - 요구사항커버리지분석예 Requirement Traceability Matrix (RTM) 등 - 코드커버리지분석예 - 시험케이스를나열하고시험결과물확인, 자동화된툴사용방법등 Slide 22

23 6. 테스트커버리지규제방향 테스트커버리지요건 IEEE 1012 SIL 4 SIL 3 SIL 2 SIL 1 IAEA Safety Important to safety Safety related Not important to safety WH Protection (Safety critical) Important to safety Important to availability General purpose (Non safety) KINS Safety-Critical Safety-Related Non Safety 테스트 커버리지요건 MC/DC Branch Statement 요구사항커버리지 Branch Statement 요구사항커버리지 요구사항커버리지 Slide 23

24 6. 테스트커버리지규제방향 테스트커버리지관련활동 ( 예 ) 생명주기테스트커버리지관련활동 ( 예 ) 계획단계 요건단계 검증단계 소프트웨어등급에따른테스트커버리지계획 요구사항커버리지계획 코드커버리지계획 테스트커버리지요건에따른시험절차서수립 테스트커버리지검증계획 - 검토, 분석, 시험방법등 시험을고려한요건작성 시험을고려한요구사항식별 요구사항과시험케이스의추적성 테스트커버리지요건의검증 요구사항커버리지분석및평가 - 요구사항과시험케이스의추적성평가 코드커버리지분석및평가 - 코드커버리지만족성평가 Slide 24

25 7. 결론 요구사항커버리지는기본적으로만족해야함 코드커버리지적용은의견수렴및타당성에대한연구를수행하여적용예정 소프트웨어등급에따른코드커버리지요건개발 테스트커버리지요건검증을위해자동화된코드커버리지툴사용권고 Slide 25

26 한국원자력안전기술원 Slide 26

untitled

untitled MDEP I&C 2009. 4.6 ~ 4.7 14 I. MDEP II. DICWG III. DICWG SW IV. Nuclear Safety Information Conference 2009 Slide -2- I. MDEP MDEP? Multinational Design Evaluation Program MDEP Nuclear Safety Information

More information

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for 2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon

More information

슬라이드 1

슬라이드 1 Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치

More information

<353120C1B6C7F6C1A42DC3B6B5B5BDC3BDBAC5DB20BCD2C7C1C6AEBFFEBEEE20C5D7BDBAC6AE20C4BFB9F6B8AEC1F620C0DAB5BFC8AD20B5B5B1B82E687770>

<353120C1B6C7F6C1A42DC3B6B5B5BDC3BDBAC5DB20BCD2C7C1C6AEBFFEBEEE20C5D7BDBAC6AE20C4BFB9F6B8AEC1F620C0DAB5BFC8AD20B5B5B1B82E687770> 한국산학기술학회논문지 Vol. 11, No. 11 pp. 4460-4467, 2010 조현정 1*, 황종규 1, 신승권 2, 오석문 3 1 한국철도기술연구원열차제어통신연구실, 2 초고속열차연구실, 3 정책전략연구실 Analysis of S/W Test Coverage Automated Tool & Standard in Railway System Hyun-Jeong

More information

ISO17025.PDF

ISO17025.PDF ISO/IEC 17025 1999-12-15 1 2 3 4 41 42 43 44, 45 / 46 47 48 49 / 410 411 412 413 414 5 51 52 53 54 / 55 56 57 58 / 59 / 510 A( ) ISO/IEC 17025 ISO 9001:1994 ISO 9002:1994 B( ) 1 11 /, / 12 / 1, 2, 3/ (

More information

PROCES-WP012A-KO-P, 현재의 안전 계측 시스템(SIS)이 최신 표준을 준수하고 있습니까?

PROCES-WP012A-KO-P, 현재의 안전 계측 시스템(SIS)이 최신 표준을 준수하고 있습니까? 현재의 안전 계측 시스템(SIS)이 최신 표준을 준수하고 있습니까? 프로세스 안전은 프로세스 설비의 작업자에게 큰 고민거리입니다. 미국 산업안전보건청(OSHA)의 유해 화학물질 공정 안전 관리(Process Safety Management of Highly Hazardous Chemicals) 규정에 따라 관리되는 약 25,000개의 설비에는 SIS(일명 긴급

More information

<B1D4B0DDBCAD202D20C4DAB5E520B1E2B9DD2E687770>

<B1D4B0DDBCAD202D20C4DAB5E520B1E2B9DD2E687770> 서식제호 규격서 규격서 COMMODITY DESCRIPTION 세부품명번호 Item No. 품목및규격 Description 코드기반표준SW 개발 / 검증 / 지원도구 (Code based standard software solutions for development, verification, and support) 단위 수량 Unit Quantity Set

More information

Ver. T3_DWS.UTP-1.0 Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date Team Infor

Ver. T3_DWS.UTP-1.0 Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date Team Infor Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date 2012-10-25 Team Information Sanghyun Yoon shyoon.dslab@gmail.com Dependable Software Laboratory

More information

Microsoft PowerPoint - KNS 기술정보회의(070405)-김창회

Microsoft PowerPoint - KNS 기술정보회의(070405)-김창회 디지털계측제어계통의 PLC 설계방향 2007. 4. 5 원자력연구소 김창회 -1- Table of Contents 안전등급 PLC (POSAFE-Q) 특징 POSAFE-Q 제공모듈들 POSAFE-Q 설계기준 POSAFE-Q 설계방법및절차 POSAFE-Q 시험종류및절차 완제품제작과정 분석보고서 3자검증결과 TR 작성 결론 -2- 안전등급 PLC (FOSAFE-Q)

More information

SW¹é¼Ł-³¯°³Æ÷ÇÔÇ¥Áö2013

SW¹é¼Ł-³¯°³Æ÷ÇÔÇ¥Áö2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING

More information

2

2 02 1 1 22 36 38 46 5 1 54 61 65 77 81 2 _ 3 4 _ 5 6 _7 8 _ 9 1 0 _ 11 1 2 _ 13 1 4 _ 15 1 6 _ 17 1 8 _ 19 2 0 _ 21 2 2 www.kats.go.kr www.kats.go.kr _ 23 Scope of TC/223 Societal security International

More information

Software testing

Software testing Software testing 소프트웨어공학개론 유준범교수님 CLASS A T8 200611478 성두훈 200611494 원스타 200611518 조민경 200611458 김영승 1. Software testing 이란? 소프트웨어테스팅 (software testing) 은개발된컴퓨터소프트웨어의품질을측정하기위해사용되는과정이다. IEEE 에서의 Software

More information

Microsoft Word - KSR2015A100

Microsoft Word - KSR2015A100 2015 년도한국철도학회추계학술대회논문집 KSR2015A100 SIL4 인증문서한글표준양식 ( 템플릿 ) 적용사례연구 황경환 *, 이길용 *, 이기서 Kyung-Hwan Hwang *, Kil-Yong Lee *, Key-Seo Lee Abstract: To achieve the SIL4 Certification of train control system,

More information

Microsoft PowerPoint - jfeature장범석서재원박동현.pptm

Microsoft PowerPoint - jfeature장범석서재원박동현.pptm 소프트웨어검증 J F JFeature REQUIREMENT COVERAGE TOOL 장범석서재원박동현 순서 1. JFeature 소개 2. JFeature 사용 3. JFeature VS OSRMT 4. 프로젝트적용방안 1. JFeature 소개 1. JFeature 소개 JFeature Feature/requirement coverage tool 개발하는코드에해당하는요구사항에초점

More information

Journal of Educational Innovation Research 2019, Vol. 29, No. 1, pp DOI: (LiD) - - * Way to

Journal of Educational Innovation Research 2019, Vol. 29, No. 1, pp DOI:   (LiD) - - * Way to Journal of Educational Innovation Research 2019, Vol. 29, No. 1, pp.353-376 DOI: http://dx.doi.org/10.21024/pnuedi.29.1.201903.353 (LiD) -- * Way to Integrate Curriculum-Lesson-Evaluation using Learning-in-Depth

More information

15 홍보담당관 (언론홍보담당) 김병호 ( 金 秉 鎬 ) 16 (행정담당) 박찬해 ( 朴 鑽 海 ) 예산담당관 17 (복지행정담당) 이혁재 ( 李 赫 在 ) 18 (보육담당) 주사 이영임 ( 李 泳 任 ) 기동근무해제. 19 (장애인담당) 박노혁 ( 朴 魯 爀 ) 기동

15 홍보담당관 (언론홍보담당) 김병호 ( 金 秉 鎬 ) 16 (행정담당) 박찬해 ( 朴 鑽 海 ) 예산담당관 17 (복지행정담당) 이혁재 ( 李 赫 在 ) 18 (보육담당) 주사 이영임 ( 李 泳 任 ) 기동근무해제. 19 (장애인담당) 박노혁 ( 朴 魯 爀 ) 기동 人 事 發 令 논산시 (2013. 2. 7일자) 일련 1 감사담당관 지방행정사무관 이정열 ( 李 廷 烈 ) 2 지방행정사무관 김오형 ( 金 五 衡 ) 감사담당관 3 지방행정사무관 조상환 ( 趙 相 煥 ) 행정지원과 4 지방행정사무관 이정호 ( 李 廷 鎬 ) 5 지방행정사무관 서형욱 ( 徐 炯 旭 ) 6 산림공원과 지방행정사무관 이연형 ( 李 連 炯 ) 취암동

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 ISO 26262 대응을위한 SW 동적시험방안 (ISO 26262 Part 6 - SW 단위 / 통합시험 ) MDS 테크놀로지 이수안 CONTENTS Ⅰ ISO 26262 의 SW 동적시험절차 1 2 3 V 모델에서의 SW 동적시험 동적시험개념및일반절차 ISO 26262 의 SW 단위시험일반절차 Ⅱ Ⅲ 4 ISO 26262 의 SW 통합시험일반절차 ISO 26262의동적시험적용사례분석및방안

More information

Microsoft PowerPoint Predicates and Quantifiers.ppt

Microsoft PowerPoint Predicates and Quantifiers.ppt 이산수학 () 1.3 술어와한정기호 (Predicates and Quantifiers) 2006 년봄학기 문양세강원대학교컴퓨터과학과 술어 (Predicate), 명제함수 (Propositional Function) x is greater than 3. 변수 (variable) = x 술어 (predicate) = P 명제함수 (propositional function)

More information

Microsoft PowerPoint - DO-178B_적용.pptx

Microsoft PowerPoint - DO-178B_적용.pptx DO-178B 적용 201372235 김영승 201372237 이선아 목차 프로젝트설명 프로젝트요구사항분석 DO-178B 적용 CMMI 평가 프로젝트설명 프로젝트설명 소형무인항공기에서촬영한동영상은환경적요인의영향을많이 받고, 특히바람등에의한영상의흔들림이발생. 무인항공기에서촬영한동영상을대상으로영상안정화기를구현 및실험. 프로젝트의목적은흔들림 ( 잡음 ) 을포함하고있는동영상을안정화하

More information

03 장태헌.hwp

03 장태헌.hwp THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2013 Aug.; 24(8), 772 780. http://dx.doi.org/10.5515/kjkiees.2013.24.8.772 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) HEMP

More information

Bluetooth

Bluetooth A U C A C N ITACS SIMTARS TestSafe CSA QPS CQM DK UL/DEMKO IT CESI SG TÜV SÜD PSB FI VTT KR FR CZ FTZU GB D E EXAM IBExU PTB TÜV NORD TÜV Rheinland TÜV SÜD ZELM INERIS LCIE BASEEFA FM UK ITS SIRA KGS KOSHA

More information

Microsoft Word - [TP_3][T1]UTP.docx

Microsoft Word - [TP_3][T1]UTP.docx Unit Testing Plan for Point Of Sale System Test Plan Test Design Specification Test Cases Specification Project Team Team 1 Date 2017-11-03 Team Information 201211337 김재현 201112052 방민석 201312259 백만일 201211383

More information

untitled

untitled PMIS 발전전략 수립사례 A Case Study on the Development Strategy of Project Management Information System 류 원 희 * 이 현 수 ** 김 우 영 *** 유 정 호 **** Yoo, Won-Hee Lee, Hyun-Soo Kim, Wooyoung Yu, Jung-Ho 요 약 건설업무의 효율성

More information

o. - ;,, -. -.. -. -. -. o (SI ). - ; (kgf/mm 2 ) -,. -. -,, - HRC, HV, HBW, o. -. O 3 - (Primary procedure) ; ISO - (Primary machine) ; NMI - (Primary reference materials) ; NMI o (ISO) (TC 164, Mechanical

More information

Journal of Educational Innovation Research 2017, Vol. 27, No. 3, pp DOI: (NCS) Method of Con

Journal of Educational Innovation Research 2017, Vol. 27, No. 3, pp DOI:   (NCS) Method of Con Journal of Educational Innovation Research 2017, Vol. 27, No. 3, pp.181-212 DOI: http://dx.doi.org/10.21024/pnuedi.27.3.201709.181 (NCS) Method of Constructing and Using the Differentiated National Competency

More information

02 전병규(630~638).hwp

02 전병규(630~638).hwp 13 5 2009 10 SCADE 를활용한항공기공중충돌회피시스템 -II 의통합시뮬레이터설계 전병규 *, 임상석 * Byung-Kyu Jun *, Sang-Seok Lim * 요약 SCADE (TCAS-II). TCAS-II. TCAS-II. Abstract In this paper, we propose a new SCADE-based integrated simulator

More information

Product A4

Product A4 2 APTIV Film Versatility and Performance APTIV Film Versatility and Performance 3 4 APTIV Film Versatility and Performance APTIV Film Versatility and Performance 5 PI Increasing Performance PES PPSU PSU

More information

Microsoft PowerPoint - Ieee standard pptx

Microsoft PowerPoint - Ieee standard pptx 200511316 김형석 Test plan Test design specification Test case specification Test procedure specification Test item transmittal report Test log Test incident report Test summary report Purpose -The purpose

More information

歯RCM

歯RCM Reliability Centered Maintenance Page 2 1.,,,. Mode Component, Sub-system, System, System. Reliability Centered Maintenance :, program? Mechanism Page 3 Page 4. Mode Mode () () (FMEA) (FTA) (LTA) System

More information

... 수시연구 국가물류비산정및추이분석 Korean Macroeconomic Logistics Costs in 권혁구ㆍ서상범...

... 수시연구 국가물류비산정및추이분석 Korean Macroeconomic Logistics Costs in 권혁구ㆍ서상범... ... 수시연구 2013-01.. 2010 국가물류비산정및추이분석 Korean Macroeconomic Logistics Costs in 2010... 권혁구ㆍ서상범... 서문 원장 김경철 목차 표목차 그림목차 xi 요약 xii xiii xiv xv xvi 1 제 1 장 서론 2 3 4 제 2 장 국가물류비산정방법 5 6 7 8 9 10 11 12 13

More information

278 경찰학연구제 12 권제 3 호 ( 통권제 31 호 )

278 경찰학연구제 12 권제 3 호 ( 통권제 31 호 ) 여성경찰관의직업윤리의식결정요인분석 * An Analysis of Determinantal Factors Influencing Professional Ethical Standards of South Korean Police Women 신문희 ** 이영민 *** Ⅰ. 서론 Ⅱ. 이론적배경 Ⅲ. 연구방법 Ⅳ. 연구결과 Ⅴ. 결론 Ⅰ. 서론 278 경찰학연구제 12

More information

ºÎ·ÏB

ºÎ·ÏB B B.1 B.2 B.3 B.4 B.5 B.1 2 (Boolean algebra). 1854 An Investigation of the Laws of Thought on Which to Found the Mathematical Theories of Logic and Probabilities George Boole. 1938 MIT Claude Sannon [SHAN38].

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA 韓國航空宇宙學會誌 359 論文 자동코드생성을이용한무인기용 OFP 의검증에관한연구 조상욱 *, 최기영 ** A Study on Validation of OFP for UAV using Auto Code Generation Sangook Cho* and Keeyoung Choi** ABSTRACT MATLAB Autocode generation is a feature

More information

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

2017 년 6 월한국소프트웨어감정평가학회논문지제 13 권제 1 호 Abstract 2017 년 6 월한국소프트웨어감정평가학회논문지제 13 권제 1 호 Abstract - 31 - 소스코드유사도측정도구의성능에관한비교연구 1. 서론 1) Revulytics, Top 20 Countries for Software Piracy and Licence Misuse (2017), March 21, 2017. www.revulytics.com/blog/top-20-countries-software

More information

02 _ The 11th korea Test Conference The 11th korea Test Conference _ 03 03 04 06 08 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 34

02 _ The 11th korea Test Conference The 11th korea Test Conference _ 03 03 04 06 08 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 34 The 11th Korea Test Conference June 29, 2010 TEL : (02) 313-3705 / FAX : (02) 363-8389 E-mail : info@koreatest.or.kr http://www.koreatest.or.kr 02 _ The 11th korea Test Conference The 11th korea Test Conference

More information

3. 클라우드 컴퓨팅 상호 운용성 기반의 서비스 평가 방법론 개발.hwp

3. 클라우드 컴퓨팅 상호 운용성 기반의 서비스 평가 방법론 개발.hwp 보안공학연구논문지 Journal of Security Engineering Vol.11, No.4 (2014), pp.299-312 http://dx.doi.org/10.14257/jse.2014.08.03 클라우드 컴퓨팅 상호 운용성 기반의 서비스 평가 방법론 개발 이강찬 1), 이승윤 2), 양희동 3), 박철우 4) Development of Service

More information

SW 2015. 02 5-1 89

SW 2015. 02 5-1 89 SW 2015. 02 88 SW 2015. 02 5-1 89 SW 2015. 02 5-2 5-3 90 SW 2015. 02 5-4 91 SW 2015. 02 5-5 5-6 92 5-7 SW 2015. 02 93 SW 2015. 02 5-8 5-1 94 SW 2015. 02 5-9 95 SW 2015. 02 5-10 5-2 96 SW 2015. 02 5-11

More information

1 SW 2015. 02 26

1 SW 2015. 02 26 02 1 SW 2015. 02 26 2-1 SW 2015. 02 27 SW 2015. 02 2-1 28 SW 2015. 02 29 2 SW 2015. 02 2-2 30 2-2 SW 2015. 02 31 SW 2015. 02 32 2-3 SW 2015. 02 33 3 SW 2015. 02 2-3 34 2-4 SW 2015. 02 35 4 SW 2015. 02

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA The e-business Studies Volume 17, Number 6, December, 30, 2016:275~289 Received: 2016/12/02, Accepted: 2016/12/22 Revised: 2016/12/20, Published: 2016/12/30 [ABSTRACT] SNS is used in various fields. Although

More information

09권오설_ok.hwp

09권오설_ok.hwp (JBE Vol. 19, No. 5, September 2014) (Regular Paper) 19 5, 2014 9 (JBE Vol. 19, No. 5, September 2014) http://dx.doi.org/10.5909/jbe.2014.19.5.656 ISSN 2287-9137 (Online) ISSN 1226-7953 (Print) a) Reduction

More information

<313120C0AFC0FCC0DA5FBECBB0EDB8AEC1F2C0BB5FC0CCBFEBC7D15FB1E8C0BAC5C25FBCF6C1A42E687770>

<313120C0AFC0FCC0DA5FBECBB0EDB8AEC1F2C0BB5FC0CCBFEBC7D15FB1E8C0BAC5C25FBCF6C1A42E687770> 한국지능시스템학회 논문지 2010, Vol. 20, No. 3, pp. 375-379 유전자 알고리즘을 이용한 강인한 Support vector machine 설계 Design of Robust Support Vector Machine Using Genetic Algorithm 이희성 홍성준 이병윤 김은태 * Heesung Lee, Sungjun Hong,

More information

14.531~539(08-037).fm

14.531~539(08-037).fm G Journal of the Korea Concrete Institute Vol. 20, No. 4, pp. 531~539, August, 2008 š x y w m š gj p { sƒ z 1) * 1) w w Evaluation of Flexural Strength for Normal and High Strength Concrete with Hooked

More information

04-다시_고속철도61~80p

04-다시_고속철도61~80p Approach for Value Improvement to Increase High-speed Railway Speed An effective way to develop a highly competitive system is to create a new market place that can create new values. Creating tools and

More information

03.Agile.key

03.Agile.key CSE4006 Software Engineering Agile Development Scott Uk-Jin Lee Division of Computer Science, College of Computing Hanyang University ERICA Campus 1 st Semester 2018 Background of Agile SW Development

More information

Ver 1.0 마감하루전 Category Partitioning Testing Tool Project Team T1 Date Team Information 김강욱 김진욱 김동권

Ver 1.0 마감하루전 Category Partitioning Testing Tool Project Team T1 Date Team Information 김강욱 김진욱 김동권 마감하루전 Category Partitioning Testing Tool Project Team T1 Date 2017-05-12 Team Information 201111334 김강욱 201211339 김진욱 201312243 김동권 201510411 이소영 [ 마감하루전 ] T1 1 INDEX Activity 2041. Design Real Use Cases

More information

1.장인석-ITIL 소개.ppt

1.장인석-ITIL 소개.ppt HP 2005 6 IT ITIL Framework IT IT Framework Synchronized Business and IT Business Information technology Delivers: Simplicity, Agility, Value IT Complexity Cost Scale IT Technology IT Infrastructure IT

More information

SchoolNet튜토리얼.PDF

SchoolNet튜토리얼.PDF Interoperability :,, Reusability: : Manageability : Accessibility :, LMS Durability : (Specifications), AICC (Aviation Industry CBT Committee) : 1988, /, LMS IMS : 1997EduCom NLII,,,,, ARIADNE (Alliance

More information

4 CD Construct Special Model VI 2 nd Order Model VI 2 Note: Hands-on 1, 2 RC 1 RLC mass-spring-damper 2 2 ζ ω n (rad/sec) 2 ( ζ < 1), 1 (ζ = 1), ( ) 1

4 CD Construct Special Model VI 2 nd Order Model VI 2 Note: Hands-on 1, 2 RC 1 RLC mass-spring-damper 2 2 ζ ω n (rad/sec) 2 ( ζ < 1), 1 (ζ = 1), ( ) 1 : LabVIEW Control Design, Simulation, & System Identification LabVIEW Control Design Toolkit, Simulation Module, System Identification Toolkit 2 (RLC Spring-Mass-Damper) Control Design toolkit LabVIEW

More information

전용]

전용] A Study of select the apropos processing mechanical method by the presume of transformation of teeth s surface degree ABSTRACT This study has been tried to select the apropos processing method by the

More information

Microsoft PowerPoint - 품질검증(CGID)소개e2.pptx

Microsoft PowerPoint - 품질검증(CGID)소개e2.pptx Overview of Commercial-Grade Dedication Key element of Commercial-Grade Dedication (EPRI 3002002982) 품질검증 (Commercial Grade Dedication) 이란원자력품질보증프로그램 (NQAP) 에따라설계및제작되 지않은품목을원자력안전등급 (Q Class) 설비에사용하고자할때,

More information

PRO1_09E [읽기 전용]

PRO1_09E [읽기 전용] Siemens AG 1999 All rights reserved File: PRO1_09E1 Information and - ( ) 2 3 4 5 Monitor/Modify Variables" 6 7 8 9 10 11 CPU 12 Stop 13 (Forcing) 14 (1) 15 (2) 16 : 17 : Stop 18 : 19 : (Forcing) 20 :

More information

Microsoft Word - 1-차우창.doc

Microsoft Word - 1-차우창.doc Journal of the Ergonomics Society of Korea Vol. 28, No. 2 pp.1-8, May 2009 1 하이브리드 환경하의 인간기계시스템 제어실 평가에 관한 연구 차 우 창 김 남 철 금오공과대학교 산업시스템공학과 A Study of the Evaluation for the Control Room in Human Machine

More information

<30382E20B1C7BCF8C0E720C6EDC1FD5FC3D6C1BEBABB2E687770>

<30382E20B1C7BCF8C0E720C6EDC1FD5FC3D6C1BEBABB2E687770> 정보시스템연구 제23권 제1호 한국정보시스템학회 2014년 3월, pp. 161~184 http://dx.doi.org/10.5859/kais.2014.23.1.161 베이비붐세대의 디지털라이프 지수* 1) 권순재**, 김미령*** Ⅰ. 서론 Ⅱ. 기존문헌 연구 2.1 베이비붐세대의 현황과 특성 2.2 베이비붐의 세대이 정보화 연구 Ⅲ. 연구내용 및 방법 Ⅳ.

More information

소개 는 국내 산업계 IC 전문 인재양성과 기술 보급을 위한 IC 표준화 및 시험인증 전문 교육기관입니다. IC 글로벌 경쟁력 제고를 위한 핵심인재 양성을 목적으로 교육세나 및 자격시험 서비스를 제공합니다. 교육 훈련비용 일부를 지원하는 직업능력개발훈련과정을 운영합니다

소개 는 국내 산업계 IC 전문 인재양성과 기술 보급을 위한 IC 표준화 및 시험인증 전문 교육기관입니다. IC 글로벌 경쟁력 제고를 위한 핵심인재 양성을 목적으로 교육세나 및 자격시험 서비스를 제공합니다. 교육 훈련비용 일부를 지원하는 직업능력개발훈련과정을 운영합니다 edu.tta.or.kr IC 핵심역량 강화를 위한 탁월한 선택 소개 는 국내 산업계 IC 전문 인재양성과 기술 보급을 위한 IC 표준화 및 시험인증 전문 교육기관입니다. IC 글로벌 경쟁력 제고를 위한 핵심인재 양성을 목적으로 교육세나 및 자격시험 서비스를 제공합니다. 교육 훈련비용 일부를 지원하는 직업능력개발훈련과정을 운영합니다. 연혁 2016 근로자 직업능력

More information

목차 생활용품오염물질방출시험및방출특성연구 (IV) - 전기 전자제품방출오염물질권고기준 ( 안 ) 도출 - ⅰ ⅱ ⅲ Abstract ⅳ 환경기반연구부생활환경연구과 Ⅰ,,,,,, 2010 Ⅱ i

목차 생활용품오염물질방출시험및방출특성연구 (IV) - 전기 전자제품방출오염물질권고기준 ( 안 ) 도출 - ⅰ ⅱ ⅲ Abstract ⅳ 환경기반연구부생활환경연구과 Ⅰ,,,,,, 2010 Ⅱ i 목차 2010-33-1208 11-1480523-000711-01 생활용품오염물질방출시험및방출특성연구 (IV) - 전기 전자제품방출오염물질권고기준 ( 안 ) 도출 - ⅰ ⅱ ⅲ Abstract ⅳ 환경기반연구부생활환경연구과 Ⅰ,,,,,, 2010 Ⅱ i 목차 목차 Ⅲ Ⅳ i ii 목차 Abstract iii iv Abstract Ⅰ. 서론 Ⅰ iv 1 Ⅰ.

More information

<30362E20C6EDC1FD2DB0EDBFB5B4EBB4D420BCF6C1A42E687770>

<30362E20C6EDC1FD2DB0EDBFB5B4EBB4D420BCF6C1A42E687770> 327 Journal of The Korea Institute of Information Security & Cryptology ISSN 1598-3986(Print) VOL.24, NO.2, Apr. 2014 ISSN 2288-2715(Online) http://dx.doi.org/10.13089/jkiisc.2014.24.2.327 개인정보 DB 암호화

More information

Gray level 변환 및 Arithmetic 연산을 사용한 영상 개선

Gray level 변환 및 Arithmetic 연산을 사용한 영상 개선 Point Operation Histogram Modification 김성영교수 금오공과대학교 컴퓨터공학과 학습내용 HISTOGRAM HISTOGRAM MODIFICATION DETERMINING THRESHOLD IN THRESHOLDING 2 HISTOGRAM A simple datum that gives the number of pixels that a

More information

½Éº´È¿ Ãâ·Â

½Éº´È¿ Ãâ·Â Standard and Technology of Full-Dimension MINO Systems in LTE-Advances Pro Massive MIMO has been studied in academia foreseeing the capacity crunch in the coming years. Presently, industry has also started

More information

untitled

untitled Contents Reg. Guide 1.32 (rev.3) : Criteria for power systems for nuclear power plants Reg. Guide 1.75 (rev.3) : Criteria for independence of electrical safety systems Reg. Guide 1.204 (rev.0) : Guidelines

More information

COTS SW Dedication

COTS SW Dedication COTS SW DEDICATION Introduction Jsjj0728@konkuk.ac.kr 내용 1.0 Commercial-Grade Item Dedication... 2 1.1 소개... 2 2.0 용어정리및약어... 3 2.1 용어정리... 3 2.2 약어... 6 3.0 NP-5652/TR-106439 개요... 7 3.1 NP-5652의인증방법...

More information

저작자표시 - 비영리 - 동일조건변경허락 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 이차적저작물을작성할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 동일조건변경허락. 귀하가이저작물을개작, 변형또는가공했을경우에는,

More information

Å©·¹Àγ»Áö20p

Å©·¹Àγ»Áö20p Main www.bandohoist.com Products Wire Rope Hoist Ex-proof Hoist Chain Hoist i-lifter Crane Conveyor F/A System Ci-LIFTER Wire Rope Hoist & Explosion-proof Hoist Mono-Rail Type 1/2ton~20ton Double-Rail

More information

- i - - ii - - iii - - iv - - v - - 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - α α - 20 - α α α α α α - 21 - - 22 - - 23 -

More information

서론 34 2

서론 34 2 34 2 Journal of the Korean Society of Health Information and Health Statistics Volume 34, Number 2, 2009, pp. 121 138 121 HL7 곽정수 1), 채영문 2), 용왕식 1), 김석일 3), 이병화 2) 1), 2), 3) Development of the HL7-based

More information

Microsoft Word - KSR2014A273

Microsoft Word - KSR2014A273 2014 년도한국철도학회추계학술대회논문집 KSR2014A273 철도시스템개발시필요한 RAMS활동및인증절차 RAMS activities necessary for developing the railway system and the certification process 이훈구 *, 박강훈 *, 이수주 *, 편선호 **, 김용호 ** Kang-Hun Park *,,

More information

F1-1(수정).ppt

F1-1(수정).ppt , thcho@kisaorkr IPAK (Information Protection Assessment Kit) IAM (INFOSEC Assessment Methodology) 4 VAF (Vulnerability Assessment Framework) 5 OCTAVE (Operationally Critical Threat, Asset, and Vulnerability

More information

untitled

untitled Logic and Computer Design Fundamentals Chapter 4 Combinational Functions and Circuits Functions of a single variable Can be used on inputs to functional blocks to implement other than block s intended

More information

20 여상수(763~772).hwp

20 여상수(763~772).hwp 13 5 2009 10 사전검증을통한행정정보보호시스템도입방안 여상수 *, 이동범 **, 곽진 ** Sang-Soo Yeo *, Dong-Bum Lee ** and Jin Kwak ** 요약,...,. Abstract According as information-oriented society is propelled, development of various information

More information

Ver. DS-2012.T3.DWS.STR-1.0 System Test Report for Digital Watch System Test Cases Specification Test Summary Report Project Team 이동아 Latest update on

Ver. DS-2012.T3.DWS.STR-1.0 System Test Report for Digital Watch System Test Cases Specification Test Summary Report Project Team 이동아 Latest update on System Test Report for Digital Watch System Test Cases Specification Test Summary Report roject Team 이동아 Latest update on: 2012-10-26 Team Information 이동아 : dalee.dslab@gmail.com Dong-Ah Lee 1 Table of

More information

2012 경제발전경험모듈화사업: 한국의 경제발전에 기여한 국가표준체계 구축 2013 2012 경제발전경험모듈화사업: 한국의 경제발전에 기여한 국가표준체계 구축 2012 경제발전경험모듈화사업: 한국의 경제발전에 기여한 국가표준체계 구축 National Standards Infrastructure Underpinning the Economic Growth of

More information

歯Trap관련.PDF

歯Trap관련.PDF Rev 1 Steam Trap Date `000208 Page 1 of 18 1 2 2 Application Definition 2 21 Drip Trap, Tracer Trap, 2 22 Steam Trap 3 3 Steam Trap 7 4 Steam Trap Sizing 8 41 Drip Trap 8 42 Tracer Trap 8 43 Process Trap

More information

음주측정을 위한 긴급강제채혈의 절차와 법리, A Study on the Urgent Compulsory Blood

음주측정을 위한 긴급강제채혈의 절차와 법리, A Study on the Urgent Compulsory Blood 음주측정을 위한 긴급강제채혈의 절차와 법리 A Study on the Urgent Compulsory Blood Collecting for Investigation of Driving while Intoxicated 양 동 철 * (Yang, Dong-Chul) < 차 례 > Ⅰ. 서론 Ⅱ. 체내신체검사와 긴급압수ㆍ수색ㆍ검증의 허용범위 Ⅲ. 긴급강제채혈의 허용범위와

More information

<32382DC3BBB0A2C0E5BED6C0DA2E687770>

<32382DC3BBB0A2C0E5BED6C0DA2E687770> 논문접수일 : 2014.12.20 심사일 : 2015.01.06 게재확정일 : 2015.01.27 청각 장애자들을 위한 보급형 휴대폰 액세서리 디자인 프로토타입 개발 Development Prototype of Low-end Mobile Phone Accessory Design for Hearing-impaired Person 주저자 : 윤수인 서경대학교 예술대학

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 소프트웨어 공학 Requirements Modeling 실습 TOC Problem Statements Use Case Modeling Use Case Modeling 시 주의사항 Sea Buoy System Wind Speed Sensor Problem Description Air Temperature Sensor Water Temperature Sensor

More information

Microsoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx

Microsoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx OOPT Stage 2040 - Design Feesual CPT Tool Project Team T8 Date 2017-05-24 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1. Activity 2041. Design Real Use

More information

methods.hwp

methods.hwp 1. 교과목 개요 심리학 연구에 기저하는 기본 원리들을 이해하고, 다양한 심리학 연구설계(실험 및 비실험 설계)를 학습하여, 독립된 연구자로서의 기본적인 연구 설계 및 통계 분석능력을 함양한다. 2. 강의 목표 심리학 연구자로서 갖추어야 할 기본적인 지식들을 익힘을 목적으로 한다. 3. 강의 방법 강의, 토론, 조별 발표 4. 평가방법 중간고사 35%, 기말고사

More information

Microsoft PowerPoint - 리스크기반 테스팅 전략_STA_IBM_ _v1.0.ppt

Microsoft PowerPoint - 리스크기반 테스팅 전략_STA_IBM_ _v1.0.ppt 매니저가알아야할 STA Software Testing Consulting Services IBM Software Group 리스크기반테스팅전략 Copyright 2008 by IBM & STA Consulting ALL RIGHTS RESERVED 목차 I Testing Issue II Effective and Efficient Software Testing

More information

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000 ver2.docx

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000 ver2.docx OOPT Stage 1000 - Plan & Elaboration Feesual CPT Tool Project Team T8 Date 2017-04-13 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1 Activity 1001. Define

More information

학습영역의 Taxonomy에 기초한 CD-ROM Title의 효과분석

학습영역의 Taxonomy에 기초한 CD-ROM Title의 효과분석 ,, Even the short history of the Web system, the techniques related to the Web system have b een developed rapidly. Yet, the quality of the Webbased application software has not improved. For this reason,

More information

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000_ docx

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000_ docx OOPT Stage 1000 - Plan & Elaboration Feesual CPT Tool Project Team T8 Date 2017-03-30 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1 Activity 1001. Define

More information

X-VA-MT3809G-MT3810G-kor

X-VA-MT3809G-MT3810G-kor www.brooksinstrument.com 기본적인 설명 진행전 반드시 읽어 주십시오. Brooks 는 많은 국내 및 국제 기준을 충족하기 위해 제품을 설계, 생산 및 테스트를 합니다. 이 제품이 제대로 설치, 운영되고 그 들이 정상 사양 내에서 작동하도록 지속적인 유지보수가 필요합니다. Brooks Instrument 제품을 설치, 사용 및 유지보수 시

More information

Observational Determinism for Concurrent Program Security

Observational Determinism for  Concurrent Program Security 웹응용프로그램보안취약성 분석기구현 소프트웨어무결점센터 Workshop 2010. 8. 25 한국항공대학교, 안준선 1 소개 관련연구 Outline Input Validation Vulnerability 연구내용 Abstract Domain for Input Validation Implementation of Vulnerability Analyzer 기존연구

More information

Software Unit Test Coverage and Adequacy 김의섭

Software Unit Test Coverage and Adequacy 김의섭 Software Unit Test Coverage and Adequacy 김의섭 목차 0. Abstract 1. Introduction 2. Structural Testing 3. Error Seeding 4. Error-base adequacy criteria and domain analysis 5. Comparison of test data adequacy

More information

Microsoft PowerPoint - 발표자료.pptx

Microsoft PowerPoint - 발표자료.pptx LOGO Software Requirements 200412358 최상현 Contents www.themegallery.com 1 THE CONTEXT OF SOFTWARE REQUIREMENTS 2 REQUIREMENTS ENGINEERING PROCESS 3 REQUIREMENTS ELICITATION 4 REQUIREMENTS ANALYSIS Contents

More information

05(533-537) CPLV12-04.hwp

05(533-537) CPLV12-04.hwp 모바일 OS 환경의 사용자 반응성 향상 기법 533 모바일 OS 환경의 사용자 반응성 향상 기법 (Enhancing Interactivity in Mobile Operating Systems) 배선욱 김정한 (Sunwook Bae) 엄영익 (Young Ik Eom) (Junghan Kim) 요 약 사용자 반응성은 컴퓨팅 시스템에서 가장 중요 한 요소 중에 하나이고,

More information

저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할

저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할 저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA 무선 센서 네트워크 환경에서 링크 품질에 기반한 라우팅에 대한 효과적인 싱크홀 공격 탐지 기법 901 무선 센서 네트워크 환경에서 링크 품질에 기반한 라우팅에 대한 효과적인 싱크홀 공격 탐지 기법 (A Effective Sinkhole Attack Detection Mechanism for LQI based Routing in WSN) 최병구 조응준 (Byung

More information

12È«±â¼±¿Ü339~370

12È«±â¼±¿Ü339~370 http://www.kbc.go.kr/ k Si 2 i= 1 Abstract A Study on Establishment of Fair Trade Order in Terrestrial Broadcasting Ki - Sun Hong (Professor, Dept. of Journalism & Mass Communication,

More information

<C7F6BEC8BAB8B0EDBCAD3936C8A328BBE7C8B8C5EBC7D520C1A4C3A5B0FAC1A62033C8A3292E687770>

<C7F6BEC8BAB8B0EDBCAD3936C8A328BBE7C8B8C5EBC7D520C1A4C3A5B0FAC1A62033C8A3292E687770> 현안보고서 Vol. 96 -사회통합 정책과제 시리즈 Ⅲ- 건강보험 보장성의 쟁점과 과제 - 건강보험하나로 논의 등을 중심으로 - 김주경(보건복지여성팀 입법조사관) 2010. 10. 25. 요 약 국민건강보험공단 진료비 본인부담 실태조사 에 의하면 우리나라 건강보 험의 보장성 수준은 2008년 기준 건강보험 급여율은 62.2%이며, OECD

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 NuPIC 2013 2013.11.07~11.08 충남예산 FPGA 기반제어기를위한통합 SW 개발환경구축 유준범 Dependable Software Laboratory 건국대학교 2013.11.08 발표내용 연구동기 효과적인 FPGA 기반제어기를위한통합 SW 개발환경 연구진행현황 개발프로세스 FBD Editor FBDtoVerilog 향후연구계획 맺음말 2

More information

감각형 증강현실을 이용한

감각형 증강현실을 이용한 대한산업공학회/한국경영과학회 2012년 춘계공동학술대회 감각형 증강현실을 이용한 전자제품의 디자인 품평 문희철, 박상진, 박형준 * 조선대학교 산업공학과 * 교신저자, hzpark@chosun.ac.kr 002660 ABSTRACT We present the recent status of our research on design evaluation of digital

More information

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

기능안전, 안전분석및신뢰성교육과정 VCA Korea 기능안전, 안전분석및신뢰성교육과정 VCA Korea 1. 시스템신뢰성과안젂 (System Reliability & Safety) 교육 교육의주요내용 : 신뢰성에대한이롞을바탕으로설계및생산하는제품의신뢰도와안젂성을향상, 기업의국제경쟁력과고객의요구사항에적극대응을할수있는능력을배양하게하는교육입니다. 교육시간 : 1 일 (10:00 ~ 18:00) 교육대상자 : 자동차부품

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 EBC (Equipment Behaviour Catalogue) - ISO TC 184/SC 5/SG 4 신규표준이슈 - 한국전자통신연구원김성혜 목차 Prologue: ISO TC 184/SC 5 그룹 SG: Study Group ( 표준이슈발굴 ) WG: Working Group ( 표준개발 ) 3 EBC 배경 제안자 JISC (Japanese Industrial

More information

Slide 1

Slide 1 Clock Jitter Effect for Testing Data Converters Jin-Soo Ko Teradyne 2007. 6. 29. 1 Contents Noise Sources of Testing Converter Calculation of SNR with Clock Jitter Minimum Clock Jitter for Testing N bit

More information

R&D : Ⅰ. R&D OECD 3. Ⅱ. R&D

R&D : Ⅰ. R&D OECD 3. Ⅱ. R&D R&D : 2012. 6. Ⅰ. R&D 1. 2. OECD 3. Ⅱ. R&D 1. 2. - 1 - Ⅰ. R&D R&D. R&D (TFP). R&D R&D, GDP R&D (Ha and Howitt, 2007). : (1), R&D. 1. ( )(), 1 ( ), ( ). (2) -, (Penn World Table 7.0) (growth accounting)

More information

<31335FB1C7B0E6C7CABFDC2E687770>

<31335FB1C7B0E6C7CABFDC2E687770> 에너지기후변화교육 4(2):203~211(2014) 203 초등학교 교과서 에너지 단원의 탐구활동과 시각자료 기능 분석 사례 연구 신명경 권경필 * 경인교육대학교 Abstract : This study aimed to analyze energy related inquiry activity and visual materials in elementary textbook.

More information

Analysis of objective and error source of ski technical championship Jin Su Seok 1, Seoung ki Kang 1 *, Jae Hyung Lee 1, & Won Il Son 2 1 yong in Univ

Analysis of objective and error source of ski technical championship Jin Su Seok 1, Seoung ki Kang 1 *, Jae Hyung Lee 1, & Won Il Son 2 1 yong in Univ Analysis of objective and error source of ski technical championship Jin Su Seok 1, Seoung ki Kang 1 *, Jae Hyung Lee 1, & Won Il Son 2 1 yong in University & 2 Kang Won University [Purpose] [Methods]

More information