Part 3 Flashcards
Mostly under Correctness of a Software (8 cards)
Refers to its ability to perform its intended functions accurately and reliably, according to its specifications and requirements
CORRECTNESS OF A SOFTWARE
- Starts with meeting its _____
- Ensuring that the software accurately implements these requirements is fundamental to its correctness
Functional Requirements
- ____ ensures that the software meets the user’s need and expectations
- ____ ensures that the software meets it specific requirements
- both processes involve testing the software through various methods
- Such as unit testing, integration testing, system testing, and acceptance testing to identify and correct errors
Validation and Verification
- Correct software should handle both normal and exceptional conditions effectively
- It should gracefully handle boundary cases and edge conditions without crashing or producing incorrect results
- Preventing the software from entering an inconsistent or erroneous state
Boundary and Error Handling
- Involves maintaining consistency and integrity of data throughout its lifecycle
- This includes proper handling of data validation, storage, retrieval, and manipulation to ensure that data remains accurate and reliable
Consistency and Data Integrity
Ensuring that shared resources are accessed and modified safely and that race conditions, deadlocks, and other concurrency-related issues are avoided or mitigated effectively
Concurrency and Multithreading
helps detect unintended side effect or regressions introduced by new code
Regression Testing
Helps ensures that developers, testers, and other stakeholders have a clear understanding of the software’s intended behavior and how it should be used
Documentation and Compliance