Lecture 1-2 Flashcards
(28 cards)
Error defintion
A human action which produces an incorrect result.
OR
Mistakes made during software development
Failure
The inability of a system or component to perform its required/intended function
OR
In satefy engineering, an undesireable event leading to losses in an accident. Failure models are the ways a system can fail.
Verification
Validation
The 6 Properties of a good SRS
- correct -> must be accurate and reflect actual needs
- unambiguous -> should have only one interpretation and avoid vague terms
- complete -> contains all necessary details
- consistent -> should not contradict each other or those of related systems
- verifiable -> must be possible to test + demonstrate + inspect + analyse the system to show that it satisfies the requirement, thus needing a criterion to determine if it has been met
- traceable -> should be uniquely referenced and linkable to higher-level needs, design elements, test cases, etc
Reliability definition
The probability that a system functions in a specified environment without failure, for a specified time.
Type of Testing 1: Black-Box Testing
Type of Testing 2: White-Box Testing
Type of Testing 3: Grey-Box Testing
Type of Testing 4: Functional Testing
Type of Testing 5: Safety Testing
Type of Testing 6: Reliability Testing
Type of Testing 6: Security Testing
Type of Testing 7: Integration Testing
Type of Testing 8: System Testing
Type of Testing 9: Acceptance Testing
Type of Testing 10: Metamorphic Testing
Type of Testing 11: Ad-hoc Testing
Safety definition
The absence of accidents
System Under Test (SUT) definition
The software product being tested
Test Case definition
A set of inputs & the corresponding expected output
Test Oracle defintion
a mechanism used to determine if a test case has passed or failed often by comparing the actual output to the expected output
Hazard definition
an unsafe condition with the potential to cause or contribute to an accident