목록V&V (16)

IT recording...

[SoftwareV&V] 17. Test Execution

[원문링크] 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이 같은지 비교..
V&V 2022. 2. 17. 16:25
[SoftwareV&V] 16. Falut-Based Testing

[원문링크] 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 : 특정 ..
V&V 2022. 2. 17. 16:24
[SoftwareV&V] 14. Model-Based 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이 존..
V&V 2022. 2. 17. 16:23
[SoftwareV&V] 13. Data Flow 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 이슈를 가지고 있는 이유는 무엇인가? (실행시간이 길어지면..
V&V 2022. 2. 17. 16:22
[SoftwareV&V] 12. Structural Testing

[원문링크] https://adorable-aspen-d23.notion.site/SoftwareV-V_12_Structural-Testing-dac9827e24464df4b0d0fe3ab09ec391 [2021 - 1학기 수강한 Software V&V 강의 정리본입니다.] (Software Verification & Validation) Structural Testing 1. Structural Testing CFG/DFG로 바꿔서 이것을 얼마나 cover하는가 White-box testingCode-based testing Structural testing(모든 path를 다 스캔)은 Functional testing(spec에서 빠진거 찾는데 유리)을 보완한다. But, no Guarnatee(I,..
V&V 2022. 2. 17. 16:21
[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
Prev 1 2 Next