An ideal test is supposed to show not only the presence of bugs but also their absence. Based on Fundamental Test Theory Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach model-based testing hardware description language (HDL) programs based behavioral model. sequences are generated from both original (fault-free) mutant (faulty) models in sens...

Web service is considered as a prevailing integration technology on Internet/Intranet due to its language and platform-independence. The language and platformindependence characteristics bring difficulties on testing. In this paper, we propose a distributed testing process based on TTCN-3 which intends to solve the difficulties. The approach distributes test activities on both server and client...

a proficiency test is one of the language tests with the goal of assessing/evaluating the language learners' achievement. this test does not deal with language teaching and learning methods. in fact, in a proficiency test, we concentrate on determining the level of the testee’s ability in applying language at the time of administrating the test and for the test taker, it is not important t...