Given the following formal specification, write the TSL specification for Search and provide test frames generated from the TSL tool
user documentation for the calculator program. There are discrepancies between specification and implementation. Using functional testing (black-box testing), please find them. Also, describe the testing method you used to find such problems.