Unit 11 Flashcards
IF ERIC TRUMP
What are the 11 software quality factors (SQFs)?
- Integrity
- Flexibility
- Efficiency
- Reliability
- Interoperability
- Correctness
- Testability
- Reusability
- Usability
- Maintainability
- Portability
(b3, p107-108)
MUsIC
What are the 4 primary software quality factors (SQFs)?
- Maintainability
- Usability
- Integrity
- Correctness
(b3, p109)
What is verification and validation?
Verification is a way of assessing whether a product does what it is supposed to do.
Validation is a way of assessing whether a product does so correctly.
(b3, p111)
What is consistency and self-consistency?
Consistency means two or more system descriptions that describe the same part make no contradicting statements.
Self consistancy means a system description does not contradict itself.
(b3, p112)
What is completeness?
Completeness means that everything that should have been ‘said’ in a system description has been ‘said’.
(b3, p113)
What are the 6 steps of the test-driven development (TDD) cycle?
- Decide on a code increment
- Decide on a test
- Write the test
- Run all tests, expecting the new test to fail
- Write the code
- Run all the tests and succeed
(b3, p116)
What are the benefits of test-driven development TDD?
- Test coverage
- Regression testing and early discovery of errors
- Executable documentation
- Beneficial effect on design
- Complementary with DbC
- Promotes good code quality
- Inhibition of ‘featuritis’ (addition of unnecessary features)
(b3, p118)
What are the limitations and pitfalls of test-driven development (TDD)?
- Does not readily apply to user interface testing
- Inadequate for testing of databases
- Unsuitable for testing multithreaded systems
- Cannot take the place of customer acceptance testing
- Tests must be added retrospectively for legacy systems
- Requires management support
- Cannot take the place of integration testing
- Only as good as the tests devised
(b3, p118-119)
Write a Java assertion to check a balance is above 0.
assert balance \> 0;
(b3, p120)
What is the format for using Java assertions to verify pre- and post-conditions of a method?
method heading assert boolean expression for preconditions method body assert boolean expression for postconditions
(b3, p120)
RUDR
What are the 4 categories of testing?
- Requirements-based
- Usability
- Developmental
- Regression
(b3, p127)
What are the 3 scopes of developmental testing?
- Unit testing
- Integration testing
- System testing
(b3, p128)
RUSSIA PIP
What 9 tests should be involved when system testing?
- Restart testing
- User-command testing
- Stress testing
- Security testing
- Initialisation testing
- Acceptance testing
- Performance testing
- Interface testing
- Protocol testing
(b3, p132)
How are test cases designed in black-box and white-box testing?
In black-box testing, test cases are designed by looking at the specification of the system to be tested.
In white-box testing, test cases are designed by looking at the detail of the implementation of the system to be tested.
(b3, p137)
What are the 3 steps for using partitioning for black-box testing?
- For each method in the class, determine the input space
- Partition the input data space into subdomains
- Test all subdomains given by the case analysis
(b3, p139-141)