Mutation Analysis for Testing Finite State Machines

Li, Jinhua; Dai, Gengxin; Li, Huanhuan

doi:10.1109/isecs.2009.158

Cited by 17 publications

(17 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Mutation analysis has been applied effectively on different kind of models, e.g. [16], [17], [18]. However, in the context of SPLs, it has not yet been introduced.…”

Section: Challenges Of Software Product Line Testingmentioning

confidence: 99%

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

Henard

Papadakis

Perrouin

et al. 2013

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

Needs for mass customization and economies of scale have pushed engineers to develop Software Product Lines (SPLs). SPLs are families of products sharing commonalities and exhibiting differences, built by reusing software assets abstractly represented by features. Feature models describe the constraints that link the features and allow the configuration of tailored software products. Common SPLs involve hundreds, even thousands of features, leading to billions of possible software products. As a result, testing a product line is challenging due to the enormous size of the possible products. Existing techniques focus on testing based on the product line's feature model by selecting a limited set of products to test. Being created manually or reverse-engineered, feature models are prone to errors impacting the generated test suites. In this paper, we examine ability of test suites to detect such errors. In particular, we propose two mutation operators to derive erroneous feature models (mutants) from an original feature model and assess the capability of the generated original test suite to kill the mutants. Experimentation on real feature models demonstrate that dissimilar tests suites have a higher mutant detection ability than similar ones, thus validating the relevance of similarity-driven product line testing.

show abstract

“…Mutation analysis has been applied effectively on different kind of models, e.g. [16], [17], [18]. However, in the context of SPLs, it has not yet been introduced.…”

Section: Challenges Of Software Product Line Testingmentioning

confidence: 99%

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

Henard

Papadakis

Perrouin

et al. 2013

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

show abstract

“…tions by other nodes [26,35,50] 2. RSN replaces each starting node for edge introductions by other nodes [35,50] 3.…”

Section: Rtn Replaces Each Target Node For Edge Introduc-mentioning

confidence: 99%

“…RSN replaces each starting node for edge introductions by other nodes [35,50] 3. RSI replaces each synchronization event at edge introductions by other synchronization events [18,29,50] 4.…”

Section: Rtn Replaces Each Target Node For Edge Introduc-mentioning

confidence: 99%

Using mutation to design tests for aspect-oriented models

Lindström

Offutt

Sundmark

et al. 2017

Information and Software Technology

View full text Add to dashboard Cite

Using mutation to design tests for aspect-oriented models. Technology, http://dx.doi.org/10. 1016/j.infsof.2016.04.007 Access to the published version may require subscription. N.B. When citing this work, cite the original published paper. Information and Software AbstractContext: Testing for properties such as robustness or security is complicated because their concerns are often repeated in many locations and muddled with the normal code. Such "cross-cutting concerns" include things like interrupt events, exception handling, and security protocols. Aspect-oriented (AO) modeling allows developers to model the cross-cutting behavior independently of the normal behavior, thus supporting model-based testing of cross-cutting concerns. However, mutation operators defined for AO programs (source code) are usually not applicable to AO models (AOMs) and operators defined for models do not target the AO features.Objective: We present a method to design abstract tests at the aspect-oriented model level. We define mutation operators for aspect-oriented models and evaluate the generated mutants for an example system. Method: AOMs are mutated with novel operators that specifically target the AO modeling features. Test traces killing these mutant models are then generated. The generated and selected traces are abstract tests that can be transformed to concrete black-box tests and run on the implementation level, to evaluate the behavior of the woven cross-cutting concerns (combined aspect and base models). Results: This paper is a significant extension of our paper at Mutation 2015. We present a complete fault model, additional mutation operators, and a thorough analysis of the mutants generated for an example system. Conclusions: The analysis shows that some mutants are stillborn (syntactically illegal) but none is equivalent (exhibiting the same behavior as the original model). Additionally, our AOM-specific mutation operators can be combined with pre-existing operators to mutate code or models without any overlap.

show abstract

“…Fuzz Testing is often used to discover DoS, buffer overflow, format string and other kinds of serious vulnerabilities of network protocols. There are two methods to do Fuzz, mutation-based fuzzers, mutate existing data samples to create test data; or generation-based fuzzers, define new test data based on models of the input [4][5][6].…”

Section: Introductionmentioning

confidence: 99%

Network protocol security testing based on fuzz

Wang

Bin

et al. 2015

2015 4th International Conference on Computer Science and Network Technology (ICCSNT)

View full text Add to dashboard Cite

In order to solve the problems of test message being rejected by the network server running the network protocol, a novel method is proposed by introducing the genetic algorithm into the test message generation process. Firstly, under the calculation of distance matrix, alignment of protocol sequence and identification of packet format are accomplished. Secondly, the genetic algorithm is introduced, and a novel fitness function design method is proposed in order to improve the similarity between test message and normal message. On the basis of the above, the test message and the normal message are very similar, so that the fuzz testing could achieve effective result. Experiments of FTP protocol fuzz testing show that the proposed method could obtain sufficiently test messages.

show abstract

Mutation Analysis for Testing Finite State Machines

Cited by 17 publications

References 9 publications

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

Using mutation to design tests for aspect-oriented models

Network protocol security testing based on fuzz

Contact Info

Product

Resources

About