Mutant generation for embedded systems using kernel-based software and hardware fault simulation

Sung, Ahyoung; Choi, Byoungju; Wong, W. Eric; Debroy, Vidroha

doi:10.1016/j.infsof.2011.03.010

Cited by 9 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [100], a similar approach is suggested using SCADE models. In [104], a method to inject faults during runtime is presented suggesting kernel-based FI on different architectural levels of embedded systems. It is analyzed how and where different faults may be injected in order to test the integration between application, operating system and hardware.…”

Section: Software-implemented Fault Injection (Swifi)mentioning

confidence: 99%

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Rösch

Ulewicz

Provost

et al. 2015

JSEA

View full text Add to dashboard Cite

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

show abstract

Section: Software-implemented Fault Injection (Swifi)mentioning

confidence: 99%

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Rösch

Ulewicz

Provost

et al. 2015

JSEA

View full text Add to dashboard Cite

show abstract

“…Due to its efficacy the mutation testing has been applied in programs writen in different languages with the use of supporting tools. An example of such tool is Proteum (Delamaro & Maldonado, 1996; that implements operators for language C. Nowadays the mutation testing has been used in different test phases, such as unit, integration and system testing (Delamaro & Maldonado 2001;Mateo, Usaola, &Offut, 2012) and has been extended to different contexts and development environments: model based testing (Mi & Ben, 2011), embbeded systems (Sung, Choi, Wong, & Debroy, 2011), and so on.…”

Section: Mutation Testingmentioning

confidence: 99%

Reducing Interface Mutation Costs with Multiobjective Optimization Algorithms

Nobre

Vergílio

Pozo

2012

International Journal of Natural Computing Research

View full text Add to dashboard Cite

To reduce mutation test costs, different strategies were proposed to find a set of essential operators that generates a reduced number of mutants without decreasing the mutation score. However, the operator selection is influenced by other factors, such as: number of test data, execution time, number of revealed faults, etc. In fact this is a multiobjective problem. For that, different good solutions exist. To properly deal with this problem, a selection strategy based on multiobjective algorithms was proposed and investigated for unit testing. This work explores the use of such strategy in the integration testing phase. Three multiobjective algorithms are used and evaluated with real programs: one algorithm based on tabu search (MTabu), one based on Genetic Algorithm (NSGA-II) and the third one based on Ant Colony Optimization (PACO). The results are compared with traditional strategies and contrasted with essential operators obtained in the unit testing level.

show abstract

“…Atualmente uma ferramenta de teste está sendo desenvolvida para apoiar a abordagem. Sung et al (2011) propõem um conjunto de operadores de mutação para testar as interfaces de um sistema embarcado. São exploradas as interfaces entre o SO de tempo real embarcado e a aplicação e entre o SO e o hardware.…”

Section: Teste De Componentesunclassified

Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis

Brito¹

View full text Add to dashboard Cite

Mutant generation for embedded systems using kernel-based software and hardware fault simulation

Cited by 9 publications

References 16 publications

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

Reducing Interface Mutation Costs with Multiobjective Optimization Algorithms

Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis

Contact Info

Product

Resources

About