scholarly journals Dynamut: A Mutation Testing Tool for Industry-Level Embedded System Applications

2018 ◽  
Vol 8 (1/2/3) ◽  
pp. 19-34
Author(s):  
Darin Weffenstette ◽  
Kristen R. Walcott
Keyword(s):  
Embedded System ◽  
Mutation Testing ◽  
Industry Level ◽  
Testing Tool

Ontology of Mutation Testing for Java Operators

2018 ◽  
Vol 8 (2) ◽  
Author(s):  
Sherolwendy Sualim ◽  
Radziah Mohamad ◽  
Nor Azizah Saadon
Keyword(s):  
Formal Specification ◽  
Mutation Testing ◽  
Data Type ◽  
End User ◽  
Testing Tools ◽  
Java Language ◽  
Testing Tool

Operators are special characters within the Java language to manipulate primitive data type. Java operators can be classified as unary, binary and ternary. The design of Java operator sometimes becomes confusing when it comes to testing tools as they had the same function with different label in every testing tool.  Therefore, in order to map the knowledge of operators correctly, this research has proposed ontology that is dedicated to mutation testing as a means to define the formal specification of concepts and documentation of knowledge of Java operators. Existing papers on ontology did not specify further on entities and properties of operators. Some papers only focus on mutation testing but not the operators. Thus, this paper will present the ontology clearly with the aim to ease end user to identify and understand every classes, properties and relations in Java operators.

scholarly journals PIT: a practical mutation testing tool for Java (demo)

2016 ◽  
Author(s):  
Henry Coles ◽  
Thomas Laurent ◽  
Christopher Henard ◽  
Mike Papadakis ◽  
Anthony Ventresque
Keyword(s):  
Mutation Testing ◽  
Testing Tool

FPGA/embedded system training kit targeted to graduate students towards industry level short training

2010 ◽  
Author(s):  
Syed Zahidul Islam ◽  
Razali bin Jidin ◽  
Syed Zahurul Islam ◽  
Fazrena Azlee binti Hamid
Keyword(s):  
Graduate Students ◽  
Embedded System ◽  
Industry Level

Judy – a mutation testing tool for Java

IET Software ◽  
2010 ◽  
Vol 4 (1) ◽  
pp. 32 ◽  
Author(s):  
L. Madeyski ◽  
N. Radyk
Keyword(s):  
Mutation Testing ◽  
Testing Tool

scholarly journals Mutation testing with hyperproperties

2021 ◽  
Author(s):  
Andreas Fellner ◽  
Mitra Tabaei Befrouei ◽  
Georg Weissenbacher
Keyword(s):  
Model Checking ◽  
Model Transformation ◽  
Current Model ◽  
Original System ◽  
Mutation Testing ◽  
Test Case ◽  
Test Cases ◽  
Modeling Languages ◽  
Deterministic Models ◽  
Testing Tool

AbstractWe present a new method for model-based mutation-driven test case generation. Mutants are generated by making small syntactical modifications to the model or source code of the system under test. A test case kills a mutant if the behavior of the mutant deviates from the original system when running the test. In this work, we use hyperproperties—which allow to express relations between multiple executions—to formalize different notions of killing for both deterministic as well as non-deterministic models. The resulting hyperproperties are universal in the sense that they apply to arbitrary reactive models and mutants. Moreover, an off-the-shelf model checking tool for hyperproperties can be used to generate test cases. Furthermore, we propose solutions to overcome the limitations of current model checking tools via a model transformation and a bounded SMT encoding. We evaluate our approach on a number of models expressed in two different modeling languages by generating tests using a state-of-the-art mutation testing tool.

Sign in / Sign up

Export Citation Format

Share Document