tester semantic