Mutation Operators for Decision Table-Based Contracts Used in Software Testing

Abstract As software systems have increased in complexity, manual testing has become harder or even infeasible. In addition, each test phase and application domain may have its idiosyncrasies in relation to testing automation. Techniques and tools to automate test oracles in domains such as graphical user interfaces are available; nevertheless, they are scarce in the virtual reality (VR) realm. We present an approach to automate software testing in VR-based systems with haptic interfaces—interfaces that allow bidirectional communication during human–computer interaction, capturing movements and providing touch feedback. It deals with the complexity and characteristics of haptic interfaces to apply the record and playback technique. Our approach also provides inference rules to identify possible faulty modules of the system under testing. A case study was performed with three systems: a system with primitive virtual objects, a dental anesthesia simulator and a game. Faulty versions of the systems were created by seeding faults manually and by using mutation operators. The results showed that 100% of the manually seeded faults and 93% of mutants were detected. Moreover, the inference rules helped identify the faulty modules of the systems, suggesting that the approach improves the test activity in VR-based systems with haptic interfaces.

Download Full-text

Railway signaling safety-critical software testing based on dynamic decision table

Proceedings Eighth Asian Test Symposium (ATS'99) ◽

10.1109/ats.1999.810758 ◽

2003 ◽

Cited By ~ 1

Author(s):

Fangmei Wu ◽

Meng Li

Keyword(s):

Software Testing ◽

Decision Table ◽

Safety Critical

Download Full-text

Fitness-Orientated Mutation Operators in Genetic Algorithms

International Journal of Innovative Technology and Exploring Engineering - Special Issue ◽

10.35940/ijitee.d1692.029420 ◽

2020 ◽

Vol 9 (4) ◽

pp. 1769-1772

Keyword(s):

Genetic Algorithms ◽

Software Testing ◽

Controlled Experiment ◽

The Other ◽

Mutation Operator ◽

Natural Evolution ◽

Mutation Operators ◽

Positive Method ◽

Crossover And Mutation ◽

Random Approach

Genetic Algorithms are the most popular metaheuristics used in search-based program solving. They search for a solution by repeating the following operators: selection, crossover, and mutation. By going through several generations of these operators, a solution is reached. The total number of generations depends on the reproduction of offspring. Of the reproduction operators, the mutation operator tends to be chosen with a random approach because the concept of mutation is from the natural evolution cycle. But the effectiveness of genetic algorithms should be monitored, especially in software testing. The effectiveness is represented by the total number of generations, which corresponds to the speed of solution acquisition. This work focuses on mutation as a factor in reducing the total number of generations and devises two contrasting ways to define mutation operators. One is fitness-positive, and the other is fitness-negative. The fitness-negative definition thus appears to fit more aptly. This work determines which of these two methods of mutation achieves the higher effectiveness through conducting a controlled experiment. The result shows that the fitness-positive method takes a smaller number of generations than the fitness-negative method.

Download Full-text

An Approach to Mutation-Based Test Data Generation

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.347-350.491 ◽

2013 ◽

Vol 347-350 ◽

pp. 491-495

Author(s):

Fang Wang ◽

Ri Na Wu ◽

Shu Fang Lee ◽

Tian Hua Zheng

Keyword(s):

Software Testing ◽

Test Data ◽

Testing Effect ◽

Fault Simulation ◽

Mutation Testing ◽

Test Data Generation ◽

Data Generation ◽

Mutation Operators ◽

Supporting Tool

Software testing is an important technology used to assure the quality of software. The design of test data is very important, which determines the testing effect in the software testing. Existing design approach to test data cant simulate the fault in software run-environment systematically. Mutation testing is an effective software testing method, which can simulate software defects systematically. Using mutation testing for reference, this paper proposes an approach to mutation-based test data generation. By analyzing the demands of test data, such as coverage rate, fault simulation, we design a series of data mutation operators, which can accomplish design of test data systematically. Experiments are carried out on the supporting tool to validate the effectiveness of this approach.

Download Full-text

Model-Based Software Testing and Analysis with C#

10.1017/cbo9780511619540 ◽

2007 ◽

Cited By ~ 18

Author(s):

Jonathan Jacky ◽

Margus Veanes ◽

Colin Campbell ◽

Wolfram Schulte

Keyword(s):

Software Testing ◽

Model Based

Download Full-text

A Future Online Analyzer for Hidden Project Management Risks

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse.v7i7.105 ◽

2017 ◽

Vol 7 (7) ◽

pp. 99

Author(s):

Rupali A. Mahajan

Keyword(s):

Cloud Computing ◽

Project Management ◽

Qualitative Study ◽

Software Testing ◽

Gold Plating ◽

Software Cost ◽

Test Information ◽

Online Software

The aim of this qualitative study was to investigate and comprehend the conditions that impact software cost, requirement tracking as well as scheduled software testing as an online administration and inspire essential exploration issues. Interviews were led with administrators from five associations. Thestudy utilized qualitative grounded hypothesis as its exploration system. The effects show that the interest for software testing and online requirement monitoring as an online administration is on the ascent and is impacted by conditions, for example, the level of area information required to adequately test a provision, adaptability and expense adequacy as profits, security and estimating as top prerequisites, cloud computing as the project monitor mode and the need for software analyzers to sharpen their abilities. Potential e x p l o r a t i o n territories recommended incorporate requisition regions best suited for online software testing, estimating and treatment of test information among others. The key issue is to monitor client’s requirements, track those requirements and also make it bug free and to avoid requirement gold plating issue. This study will present latest i d e a a b o u t online r e q u i r e m e n t monitoring and software testing.

Download Full-text