Assessing the Effectiveness of Coverage-Based Fault Localizations Using Mutants

Author(s):  
Xiaozhen Xue ◽  
Sima Siami-Namini ◽  
Akbar Siami Namin

Empirical studies show that coverage-based fault localizations are very effective in testing and debugging software applications. It is also a commonly held belief that no software testing techniques would perform best for all programs with various data structures and complexity. An important research question posed in this paper is whether the type and complexity of faults in a given program has any influence on the performance of these fault localization techniques. This paper investigates the performance of coverage-based fault localizations for different types of faults. We explore and compare the accuracy of these techniques for two large groups of faults often observed in object-oriented programs. First, we explore different types of traditional method-level faults grouped into six categories including those related to arithmetic, relational, conditional, logical, assignment, and shift. We then focus on class-level faults related to object-oriented features and group them into four categories including inheritance, overriding, Java-specific features, and common programming mistakes. The results show that coverage-based fault localizations are less effective for class-level faults associated with object-oriented features of programs. We therefore advocate the needs for designing more effective fault localizations for debugging object-oriented and class-level defects.

Author(s):  
Anjali Verma ◽  
Bhupesh Kr. Dewangan

Several authors have tried to address the problem of impact, effect, and relationship amongst the collection of coupling measures by introducing frameworks to characterize different approaches to coupling and the relative strengths of these, although, on their own, none of the frameworks could be considered comprehensive. There are three existing and quite different frameworks for object-oriented coupling. First, Eder et al. identify three different types of relationships. These relationships, interaction relationships between methods, component relationships between classes, and inheritance between classes, are then used to derive different dimensions of coupling which are classified according to different strengths. Second, Hitz and Montazeri approach coupling by deriving two different types of coupling: object level coupling and class level coupling which are determined by the state of an object and the state of an objects implementation respectively. Again different strengths of coupling are proposed. And third, Briand et al. (1997) constitute coupling as interactions between classes. The strength of the coupling is determined by the type of the interaction, the relationship between the classes, and the interactions locus of impact. As none of the frameworks has been used to characterize existing measures to the different dimensions of coupling identified, the negative aspects highlighted above are still very common ones.


2011 ◽  
Vol 2 (3) ◽  
pp. 36-46
Author(s):  
François Pinet ◽  
Myoung-Ah Kang ◽  
Kamal Boulil ◽  
Sandro Bimonte ◽  
Gil De Sousa ◽  
...  

Recent research works propose using Object-Oriented (OO) approaches, such as UML to model data warehouses. This paper overviews these recent OO techniques, describing the facts and different analysis dimensions of the data. The authors propose a tutorial of the Object Constraint Language (OCL) and show how this language can be used to specify constraints in OO-based models of data warehouses. Previously, OCL has been only applied to describe constraints in software applications and transactional databases. As such, the authors demonstrate in this paper how to use OCL to represent the different types of data warehouse constraints. This paper helps researchers working in the fields of business intelligence and decision support systems, who wish to learn about the major possibilities that OCL offer in the context of data warehouses. The authors also provide general information about the possible types of implementation of multi-dimensional models and their constraints.


Author(s):  
Manish Jain ◽  
Dinesh Gopalani

The existing techniques for software testing can be used to perform only a particular type of testing, and moreover proficiency is required to write the automation test scripts using these techniques. This paper proposes a novel software testing approach using Aspect-Oriented Programming (AOP) that alone suffices for carrying out most of the types of software testing and thus obliterates the need of using distinctive tools for different types of testing. Nevertheless, AOP is a new programming paradigm and not all testers have the proficiency of working with it. Hence, a domain-specific language named Testing Aspect Generator Language (TAGL) was developed which has got a very low learning curve. Using TAGL, testers can write the testing code in the form of natural language-like statements. Further, the lexical analyzer and parser, written using lex and yacc, convert the TAGL statements into actual testing code in the form of AOP. The proposed approach was applied for the testing of widely used open source projects and remarkable bugs were detected into them. A detailed comparison as to how our approach is effective than the conventional testing techniques is provided.


2021 ◽  
Vol 13 (11) ◽  
pp. 6194
Author(s):  
Selma Tchoketch_Kebir ◽  
Nawal Cheggaga ◽  
Adrian Ilinca ◽  
Sabri Boulouma

This paper presents an efficient neural network-based method for fault diagnosis in photovoltaic arrays. The proposed method was elaborated on three main steps: the data-feeding step, the fault-modeling step, and the decision step. The first step consists of feeding the real meteorological and electrical data to the neural networks, namely solar irradiance, panel temperature, photovoltaic-current, and photovoltaic-voltage. The second step consists of modeling a healthy mode of operation and five additional faulty operational modes; the modeling process is carried out using two networks of artificial neural networks. From this step, six classes are obtained, where each class corresponds to a predefined model, namely, the faultless scenario and five faulty scenarios. The third step involves the diagnosis decision about the system’s state. Based on the results from the above step, two probabilistic neural networks will classify each generated data according to the six classes. The obtained results show that the developed method can effectively detect different types of faults and classify them. Besides, this method still achieves high performances even in the presence of noises. It provides a diagnosis even in the presence of data injected at reduced real-time, which proves its robustness.


2021 ◽  
pp. 109442812199908
Author(s):  
Yin Lin

Forced-choice (FC) assessments of noncognitive psychological constructs (e.g., personality, behavioral tendencies) are popular in high-stakes organizational testing scenarios (e.g., informing hiring decisions) due to their enhanced resistance against response distortions (e.g., faking good, impression management). The measurement precisions of FC assessment scores used to inform personnel decisions are of paramount importance in practice. Different types of reliability estimates are reported for FC assessment scores in current publications, while consensus on best practices appears to be lacking. In order to provide understanding and structure around the reporting of FC reliability, this study systematically examined different types of reliability estimation methods for Thurstonian IRT-based FC assessment scores: their theoretical differences were discussed, and their numerical differences were illustrated through a series of simulations and empirical studies. In doing so, this study provides a practical guide for appraising different reliability estimation methods for IRT-based FC assessment scores.


Energies ◽  
2018 ◽  
Vol 11 (11) ◽  
pp. 3079 ◽  
Author(s):  
Leopoldo Angrisani ◽  
Francesco Bonavolontà ◽  
Annalisa Liccardo ◽  
Rosario Schiano Lo Moriello

In this paper, a logic selectivity system based on Long Range (LoRa) technology for the protection of medium-voltage (MV) networks is proposed. The development of relays that communicate with each other using LoRa allows for the combination of the cost-effectiveness and ease of installation of wireless networks with long-range coverage and reliability. The realized demonstrator to assess the proposed system is also presented in the paper; based on different types of faults and different locations, the times needed for clearing a fault and restoring the network were estimated from repeated experiments. The obtained results confirm that, with an optimized design of transmitted packets and of protocol characteristics, LoRa communication grants fault management that meets the criteria of logic selectivity, with fault isolation occurring within the maximum allowed time.


2017 ◽  
Vol 284 (1849) ◽  
pp. 20162356 ◽  
Author(s):  
Martin Hinsch ◽  
Jan Komdeur

Theoretical research on evolutionary aspects of territoriality has a long history. Existing studies, however, differ widely in modelling approach and research question. A generalized view on the evolution of territoriality is accordingly still missing. In this review, we show that territorial conflicts can be classified into qualitatively distinct types according to what mode of access to a territory which competitor attempts to gain. We argue that many of the inconsistencies between existing studies can be traced back to the fact that, while using the same terminology, different instances of these types of conflicts have been investigated. We discuss the connections of each type of conflict to existing research within the wider area of animal conflicts. We conclude that a clear conceptual separation of different types of territorial conflicts is helpful but that a more general theory of territoriality has to account for interdependencies between them and that a more mechanistic approach to modelling territoriality is needed.


2018 ◽  
Vol 10 (1) ◽  
pp. 43-61
Author(s):  
Martin Jurek

Abstract Objective: This paper reviews the major family business research papers that address factors related to relationship and work-to-family conflicts. Methodology: The procedure this paper applies follows recommendations for literature reviews by Fink (2010) consisting of: (1) selecting a research question (2) selecting bibliographic or article databases, (3) choosing search terms, (4) applying practical screening criteria, (5) applying methodical screening criteria, (6) doing the review and (7) synthesizing the results. Findings: The article summarizes that, although family business research is progressing in terms of theory building, it continues to lack a systematic adoption of longitudinal, cross-national and multi-theoretical approaches. To date, research on conflict in family firms remains underdeveloped in the CEE. Value Added: Outlining the state of the art of theoretical and empirical studies by applying a resource-based view. Recommendations: Application of control variables, such as size of the business, business life cycles, generational status, type of industry and various cultural settings. Furthermore, the role of communication, sibling rivalry and perceived justice of family members could be investigated more thoroughly.


Author(s):  
Javier Garrido ◽  
Beatris Escobedo-Trujillo ◽  
Guillermo Miguel Martínez-Rodríguez ◽  
Oscar Fernando Silva-Aguilar

The contribution of this work is to present the design of a prototype integrated by an induction motor, a data acquisition system, accelerometers and control devices for stop and start, to generate and identify different types of faults by means of vibration analysis. in the domain: time, frequency or frequency-time, through the use of the Fourier Transform, Fast Fourier Transform or Wavelet Transforms (wavelet transform). In this prototype, failures can be generated in the induction motor such as: unbalance, different types of misalignment, mechanical looseness, and electrical failures such as broken bars or short-circuited rings, an example of a misalignment failure is presented to show the process of analysis and detection.


Author(s):  
Houda Bassim

Starting from the beginning of the third millennium, firms around the world in various economic sectors have been powerfully affected by the evolution process of digital technology and associated internet developments. The use of Internet and new digital technologies has been considered as a great revolution that will allow companies to benefit from new opportunities, in order to extend their activities and profitability, specifically through decreases in costs. While some companies have been investing rapidly in this new filed with the aim to take advantages of new opportunities, others seem to fail in following such developmental pattern. The main research question in the present paper is to understand perceptions of a sample of Moroccan firms operating in Casablanca, regarding the currently observed process of communication-based digital transformation worldwide. In this sense, our study turns to be exploratory, that is based on open interviews, within a focus group of professionals in the digital sector, rather than on collected data and effective orientations. Such exploratory analysis will be followed by upcoming empirical studies for a more comprehensive understanding of the profession. Our research paper aspires thereby to better grasping the process of digitalization of communication channels among the firms’ professionals, as selected. The ultimate target is to know how well firms are evolving in utilizing newly integrated digital tools, with respect to innovation and trademarks. To address this issue in an exploratory perspective, we have resorted to a focus group-based enquiry with six professionals of firms operating in Casablanca. The methodological framework relies upon qualitative data, as collected through the conducted interviews.      The major research finding of the present paper is that the pattern of digital transformation and communication seems to follow the one observed worldwide. Nevertheless, in spite of strong customers’ expectations, some hesitations and inadequate fundraising allocations partially explain the relative slowness of the process. In terms of policy implications, a suitable public-private partnership is still needed so as Morocco can foster digital transformation for economic and social development as well as improvements in the population’s standards of life, especially through investment in human capital for better attractivity-generating progress.


Sign in / Sign up

Export Citation Format

Share Document