During test execution defects have been found including non-compliance to requirements, calculations that produce incorrect...

The test type that is most likely being performed is functional correctness testing. Functional correctness testing is a test type that verifies that the system or component produces the correct results for a given set of inputs or conditions. This test type can detect defects such asnon-compliance to requirements, calculations that produce incorrect results, and improper handling of data or situations. Verified References: [ISTQB® Certified Tester Advanced Level Test Analyst CTAL-TA], Section 5.1.1, page 59.