1. Task 2: Software Requirement System Test Case
Mohamad Ashraf Syamim Bin Shahrul Anuar
A142162

2. This section should include the following information
1. Approach
A description of the general approach taken to functional
testing. For example,this section might identify the cycle
approach and identify the cycles to be used.
2. Test Cases
For each test case, include:
• the objective the test was designed to meet
• the test data
• criteria for successful completion of the test
3. Ordering of Test Cases
Provide a listing of the test cases (or their unique identifiers) in the order inwhich they are
to be executed. The test cases may be grouped into scenarios.
4. Likely Regression Points
This section identifies points at which it is likely that tests would be rerun as aresult of
changes made to the software; for example, at the beginning of a cycle.The test data base
should be saved at likely regression points.
5. Test Case Coverage Matrix
•This is a table of test objectives matched against test cases. Its purpose is toensure that all
objectives are tested, and to serve as a means of quicklydetermining how an objective is
tested.

3. Predicate calculus.
Natural language to predicate calculus
1. The objective the test was designed to meet and
test data (criteria for successfulcompletion of the
test ).
- test_case (objective ,test data)
2. Provide a listing of the test cases (or their unique
identifiers) in the order in whichthey are to be executed
- test_case (order list) => executed
3. tests would be rerun as a result of changes made to the software
- ~ run(test) => change(software)
4. This is a table of test objectives matched against test cases. Its purpose is to
ensure that all objectives are tested
- Objective(tested) => table(objective_test) ^ table( test_cases)

4. 1. Test Cases For each test case:
- test_case (objective ,test data)
2. Ordering of Test Cases
- test_case (order list) => executed
3. Regression Points
- ~ run(test) => change(software)
4. Test Case Coverage Matrix
- Objective(tested) => table(objective_test)
^ table( test_cases)

5. Comments about the translation process from
natural languagesstatements to mathematical
statements.
 I have used the predicate calculus to translate
the natural language intomathematical
statements.