IT recording...

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_17_Test-Execution-e3e93b09de2146f98acb9a05687b5853 SoftwareV&V_17_Test Execution Text Execution adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Text Execution 1. Automating Test Execution Test case를 만들고 Test Data 를 만드는 것 까지는 수동으로, Text Execution : Output과 Expected Output이 같은지 비교..

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_16_Falut-Based-Testing-59b47cdd61874028b9bc73ab5c1512c3 SoftwareV&V_16_Falut-Based Testing Falut-Based Testing adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Falut-Based Testing 1. Falut-Based Testing 일반적인 fault 지식(사전지식)에 기반한 testing mutation testing 1) 일반적인 fault testing : 특정 ..

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_14_Model-Based-Testing-b24f4f12e3b44aa59ec6a1a5b2624714 SoftwareV&V_14_Model-Based Testing Model-Based Testing adorable-aspen-d23.notion.site [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Model-Based Testing 1. Model-Based Testing Brute Force Testing , Category Partitioning Testing 외에 Model based Testing이 존..

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_13_Data-Flow-Testing-aee01c1d17124dad82a6292273bc4f30 [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Data Flow Testing 1. Data Flow Testing Data Flow Test를 위해서는 Static level로 넘어가야 하는데 그러면 False Alarm 등장 (false alarm 30%)** 예상문제) Data flow testing이 static analysis의 false alarm 이슈를 가지고 있는 이유는 무엇인가? (실행시간이 길어지면..

[원문링크] 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..

[원문링크] 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..

[원문링크] 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, 완전히 보장하지는 않는다..

[원문링크] 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..

[원문링크] 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..

[원문링크] 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 이해..