The software testing cost in the software lifecycle is greater than 50% of total programming cost, and error fixing cost in this phase is greater than any other phase of software lifecycle. The development of computer-aided tools for better software testing reduces the effort and cost of software testing.
In this paper, cause-effect graph specification language was implemented by ISLDM/SEM, and checking rules for detecting ambiguity, incompleteness, and inconsistency in specifications were defined.
Also, the specification could be used to automatically convert to the limited entry decision table.
This automated tool contributes to test cases design and programming productivities, and this formal language helps better understanding than the natural language specification.