Roadmap to Membership of RICS - Pathways and Routes
Test Functional Requirements Using B Model Specifications
1. TESTING FUNCTIONAL REQUIREMENTS USING B MODEL
SPECIFICATIONS
ReasonsforRequirementTesting
There are numerous economic reasons to improve the quality of softwareby testing the
requirements:
Reducing the costs to detect and correct defects.
Reducing the time it takes to deliver the software and
Improving the probability of successfully installing the right solution
PROPOSED SOLUTION
2. In this paper, we proposed an approach that generates test cases fortesting of functional
requirements of the system. Following are the major conclusions drawn from the research work
are:
Specifications annotated with requirement identifiers, help in later stages to detect which
requirements are covered and which are yet to be tested.
Coverage matrices between requirements and generated test cases help to resolve the reach
ability issues in system under test.
B specifications are more appropriate for testing requirements of the system as compared
to Z because B coverswhole lifecycleincluding specification, refinement and generating
proof obligations.
Coverage of requirements in proposed approach is better than other approaches that we
explored in section 2, in test case generation fortesting requirements of the system.
Takes English textual written requirements which are providing the scope of system
Atelier-B toolthen convertrequirements into formal specification
Protest-B tooldo model checking of developed formal specification of requirement
Test case is generated at the end
ADVANTAGES
Using B formal specificationremoves inconsistencies, ambiguousness and informality in
requirements due to natural language
The tool provides requirements to be annotated with requirement identifiers, which provide help
in later stages to detect whichrequirement are tested and whichare not