Using Test Case Mutation to Evaluate the Model of the User Interface
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
883 4
Ultima descărcare din IBN:
2021-06-08 11:31
Căutarea după subiecte
similare conform CZU
004.415.5+004.514.6 (1)
Programe. Software (293)
Interacțiune om-calculator. Interfața om-mașină. Interfața utilizator. Mediul utilizatorului (35)
SM ISO690:2012
ALSMADI, Izzat. Using Test Case Mutation to Evaluate the Model of the User Interface . In: Computer Science Journal of Moldova, 2012, nr. 1(58), pp. 82-107. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 1(58) / 2012 / ISSN 1561-4042 /ISSNe 2587-4330

Using Test Case Mutation to Evaluate the Model of the User Interface
CZU: 004.415.5+004.514.6

Pag. 82-107

Alsmadi Izzat
 
Yarmouk University
 
Disponibil în IBN: 3 decembrie 2013


Rezumat

Mutation based testing is used to discover new possible errors in software applications. This is since in this testing approach, intentional incorrect lines of codes are injected to check the soft- ware ability to produce results that are different from the correct or original code. In this paper an automatic technique to gen- erate valid and mutant test cases is proposed and developed. In most mutation techniques, one or more values or parameters in the specification, code, model, etc are intentionally modified and then test cases are generated to see if injected modifications can be detected. However, in this paper, test cases are mutated (i.e. mutants are generated from the test cases) after they are gen- erated from the GUI model. Mutations are then applied to the GUI model to test its ability to kill those mutants by rejecting them. Typical to mutation testing, the goal of this approach is to discover possible errors or problems in the program that may not be discovered by other methods. A robust model is expected to differentiate between a valid and an invalid sequence of events. An automatic execution and verification technique is also devel- oped to evaluate the test cases that were rejected by the model and calculate coverage based on the number of rejected test cases to the total number of test cases. Results showed that in user interfaces, and based on the nature of the mutation process im- plementation, mutation can find new areas or types of errors that may not be found using other approaches of testing.

Cuvinte-cheie
Mutation testing, Test case generation, test case execution and verification. Random test case generation, and GUI modelling