목록분류 전체보기 (162)

IT recording...

[SoftwareV&V] 11. Combinational Testing

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_11_Combinational-Testing-994ddde24786459fb4ed8b117f3afc8b SoftwareV&V_11_Combinational Testing Combinational Testing adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Combinational Testing 1. Combinational Testing Brute-force : positive test case 찾기에 유용1) Category-partition Testin..
V&V 2022. 2. 17. 16:19
[SoftwareV&V] 10. Functional Testing

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_10_Functional-Testing-d8cc63b2c5bd4483ae52c67499d2646d SoftwareV&V_10_Functional Testing Functional Testing adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Functional Testing 1. 개요 Testing Functional Testing (항상 100%)-unit test, integration test, system testing 모든 단계에서 수행 -Categ..
V&V 2022. 2. 17. 16:18
[SoftwareV&V] 09. Test Case Selection and Adequacy

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_09_Test-Case-Selection-and-Adequacy-8c6482e84c6841729e63c5007f0ce307 SoftwareV&V_09_Test Case Selection and Adequacy Test Case Selection and Adequacy adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Summary Adequacy criteria는 test suite를 철저하게 할 수 있는 개념을 제공한다. → But, 완전히 보장하지는 않는다..
V&V 2022. 2. 17. 16:17
[SoftwareV&V] 08. Finite State Verification

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_08_Finite-State-Verification-014c6687b67c4252833ee0aac8421489 SoftwareV&V_08_Finite State Verification Finite State Verification (Model check verification) adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Finite State Verification (Model check verification) Learning Objectives Te..
V&V 2022. 2. 17. 16:16
[SoftwareV&V] 07. Symbolic Execution and Proof of Properties

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_07_Symbolic-Execution-and-Proof-of-Properties-a74f42ccdcc64adca0234c8ebbbb9577 SoftwareV&V_07_Symbolic Execution and Proof of Properties Symbolic Execution and Proof of Properties adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Symbolic Execution and Proof of Properties Learning..
V&V 2022. 2. 17. 16:12
[SoftwareV&V] 06. Data Dependency & Data Flow Models

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_06_Data-Dependency-Data-Flow-Models-8da94a504059437885c1a1e502d6f001 SoftwareV&V_06_Data Dependency & Data Flow Models Data dependency and Data flow Models adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Data dependency and Data flow Models Learning Objectives Data Flow Model 이해..
V&V 2022. 2. 17. 16:10
[SoftwareV&V] 05. Finite Models

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_05_Finite-Models-95a4069f07c64b179bfa2ea5478d0f34 SoftwareV&V_05_Finite Models Basic Techniques - Finite Models adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Basic Techniques - Finite Models : Test & Analysis 와 개발 프로세스는 함께 움직여야 한다! (개별적 NO!) Learning Objectives Finate state ab..
V&V 2022. 2. 17. 16:08
[SoftwareV&V] 04. Software Process

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_04_Software-Process-057fce6dc87742d883638d5eff45a838 SoftwareV&V_04_Software Process Test and Analysis Activities within a Software Process adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Test and Analysis Activities within a Software Process : Test & Analysis 와 개발 프로세스는 함께 움직여야..
V&V 2022. 2. 17. 16:06
[SoftwareV&V] 03. Basic Principles

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_03_Basic-Principles-1198bf5f4a254e8784448be69cea009f SoftwareV&V_03_Basic Principles Basic principles adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Basic principles Learning Objectives V&V Technique 아래의 basic principle 이해하기 Main principle의 motivation 과 applicability 이해하기 1. V&..
V&V 2022. 2. 17. 16:03
[SoftwareV&V] 02. Framework

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_02_Framework-5c5176c41824429bbd25fe3f50eb6b37 SoftwareV&V_02_Framework Framework for STA adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Framework for STA Learning Objectives Test and analysis 의 차원과 tradeoff 살펴보기 verification, validation 구분하기 Test and analysis 의 장,단점 이해하기 1. Val..
V&V 2022. 2. 17. 16:02
Prev 1 ··· 4 5 6 7 8 9 10 ··· 17 Next