scholarly journals Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach

2012 ◽  
Vol 2012 ◽  
pp. 1-18 ◽  
Author(s):  
Birgit Hofer ◽  
Franz Wotawa
Keyword(s):  
Constraint Solving ◽  
Future Research ◽  
Test Case ◽  
Precise Information ◽  
Empirical Results ◽  
Dynamic Slicing ◽  
Execution Trace ◽  
Slicing Method ◽  
The Given ◽  
Theoretical Foundations

Although slices provide a good basis for analyzing programs during debugging, they lack in their capabilities providing precise information regarding the most likely root causes of faults. Hence, a lot of work is left to the programmer during fault localization. In this paper, we present an approach that combines an advanced dynamic slicing method with constraint solving in order to reduce the number of delivered fault candidates. The approach is called Constraints Based Slicing (CONBAS). The idea behind CONBAS is to convert an execution trace of a failing test case into its constraint representation and to check if it is possible to find values for all variables in the execution trace so that there is no contradiction with the test case. For doing so, we make use of the correctness and incorrectness assumptions behind a diagnosis, the given failing test case. Beside the theoretical foundations and the algorithm, we present empirical results and discuss future research. The obtained empirical results indicate an improvement of about 28% for the single fault and 50% for the double-fault case compared to dynamic slicing approaches.

scholarly journals Diversifying Focused Testing for Unit Testing

2021 ◽  
Vol 30 (4) ◽  
pp. 1-24
Author(s):  
Héctor D. Menéndez ◽  
Gunel Jahangirova ◽  
Federica Sarro ◽  
Paolo Tonella ◽  
David Clark
Keyword(s):  
Search Algorithm ◽  
Symbolic Execution ◽  
Specific Area ◽  
Test Suite ◽  
Constraint Solving ◽  
Test Case ◽  
Unit Testing ◽  
Bug Detection ◽  
Mutation Score ◽  
The Given

Software changes constantly, because developers add new features or modifications. This directly affects the effectiveness of the test suite associated with that software, especially when these new modifications are in a specific area that no test case covers. This article tackles the problem of generating a high-quality test suite to cover repeatedly a given point in a program, with the ultimate goal of exposing faults possibly affecting the given program point. Both search-based software testing and constraint solving offer ready, but low-quality, solutions to this: Ideally, a maximally diverse covering test set is required, whereas search and constraint solving tend to generate test sets with biased distributions. Our approach, Diversified Focused Testing (DFT), uses a search strategy inspired by GödelTest. We artificially inject parameters into the code branching conditions and use a bi-objective search algorithm to find diverse inputs by perturbing the injected parameters, while keeping the path conditions still satisfiable. Our results demonstrate that our technique, DFT, is able to cover a desired point in the code at least 90% of the time. Moreover, adding diversity improves the bug detection and the mutation killing abilities of the test suites. We show that DFT achieves better results than focused testing, symbolic execution, and random testing by achieving from 3% to 70% improvement in mutation score and up to 100% improvement in fault detection across 105 software subjects.

An efficient interprocedural dynamic slicing method

2006 ◽  
Vol 79 (6) ◽  
pp. 791-806 ◽  
Author(s):  
G.B. Mund ◽  
Rajib Mall
Keyword(s):  
Dynamic Slicing ◽  
Slicing Method

PSYCHOLOGICAL FACTORS OF CHANGING THE PROFESSIONAL ORIENTATION OF THE PERSONALITY IN ADULTS

2020 ◽  
Vol 65 (4) ◽  
pp. 192-197
Author(s):  
O. A. Golub ◽  
◽  
A. S. Nuradinov ◽  
Keyword(s):  
Psychological Factors ◽  
Future Research ◽  
Professional Orientation ◽  
Personal Conflict ◽  
Professional Self ◽  
Inner World ◽  
Psychological Assistance ◽  
The Given ◽  
Professional Dissonance

The article is devoted to the study of the specifics of professional orientation of the personality and the analysis of psychological factors that affect its change in the period of 30-36 years. The characteristic of this age period is given and the causesof disharmonies in the inner world of the personality are revealed, as well as their connection with the nature of the interaction of the vectors ideals-senses-values is explained and illustrated. It is noted that the divergence of ideals, senses and values predetermines uncertainty in the direction of professional self-realization, provokes an internal personal conflict, a certain dissonance, which we can call spiritual and professional dissonance. The essence of the concept of spiritual and professional dissonance of the personality is outlined and the stages of psychological assistance to the client in the process of working on his value-semantic sphere are revealed. The given material is summarized and promising directions of future research within the framework of the topic under study are revealed

scholarly journals A Lab Model for Symptom Exaggeration: What do we Need?

2016 ◽  
Vol 8 (1) ◽  
pp. 55-75 ◽  
Author(s):  
Isabella J. M. Niesten ◽  
Harald Merckelbach ◽  
Alfons Van Impelen ◽  
Marko Jelicic ◽  
Angel Manderson ◽  
...  
Keyword(s):  
Cognitive Dissonance ◽  
State Of The Art ◽  
Future Research ◽  
Current Form ◽  
Research Participants ◽  
Current State ◽  
Symptom Exaggeration ◽  
Valid Data ◽  
Theoretical Foundations

This article reflects on the current state of the art in research on individuals who exaggerate their symptoms (i.e., feigning). We argue that the most commonly used approach in this field, namely simply providing research participants with instructions to overreport symptoms, is valuable for validating measures that tap into symptom exaggeration, but is less suitable for addressing the theoretical foundations of feigning. That is, feigning serves to actively mislead others and is done deliberately. These characteristics produce experiences (e.g., feelings of guilt) in individuals who feign that lab research in its current form is unable to accommodate for. Paradigms that take these factors into account may not only yield more ecologically valid data, but may also stimulate a shift from the study of how to detect feigning to more fundamental issues. One such issue is the cognitive dissonance (e.g., feelings of guilt) that – in some cases – accompanies feigning and that may foster internalized fabrications. We present three studies (N's = 78, 60, and 54) in which we tried to abate current issues and discuss their merits for future research.

Diversity in the Workplace: A Review, Synthesis, and Future Research Agenda

2019 ◽  
Vol 6 (1) ◽  
pp. 69-88 ◽  
Author(s):  
Quinetta M. Roberson
Keyword(s):  
Current Literature ◽  
Scientific Knowledge ◽  
Research Agenda ◽  
Diversity Management ◽  
Workforce Diversity ◽  
Future Research ◽  
Future Research Agenda ◽  
Current State ◽  
Diversity In The Workplace ◽  
Theoretical Foundations

Fueled by socioeconomic trends that changed the composition of organizational workforces, the term workforce diversity was coined in the 1990s. Since then, both researchers and practitioners have strived (and struggled) to understand the concept, its effects in and on organizations, and strategies for managing such effects. In this article, I provide an overview and interpretation of the current literature to examine its purpose, progress, and direction. Highlighting key conceptualizations of the construct, theoretical foundations, and empirical findings on diversity and diversity management, I discuss the evolution and current state of the field and synthesize this information to propose a future research agenda. In doing so, I seek to identify theoretical, empirical, and practice areas of opportunity for advancing scientific knowledge about the meaning, substance, and outcomes of diversity as well as the implementation of diversity science in organizations.

scholarly journals NETWORK MODELLING AND SEMANTIC 3D CITY MODELS: TESTING THE MATURITY OF THE UTILITY NETWORK ADE FOR CITYGML WITH A WATER NETWORK TEST CASE

2018 ◽  
Vol IV-4 ◽  
pp. 13-20 ◽  
Author(s):  
I. Boates ◽  
G. Agugiaro ◽  
A. Nichersu
Keyword(s):  
Relational Database ◽  
Data Model ◽  
Database Schema ◽  
Future Research ◽  
Physical Parameters ◽  
Test Case ◽  
Network Modelling ◽  
Complex Development ◽  
Relational Database Schema ◽  
Utility Network

<p><strong>Abstract.</strong> Recent advances in semantic 3D city modelling and a demand from utility network operators for multi-utility data models integration have contributed to the emergence of an open Application Domain Extension (ADE) of the CityGML data model tailored to multiple types of utility networks. This extension, called the Utility Network ADE, is still in active development. However, work is already well underway to create data samples and to develop methods of modelling thereupon. In this paper, a mapping of the Utility Network ADE data model to a relational database schema is introduced. A sample of a freshwater network using the Utility Network ADE and based on data from the city of Nanaimo, Canada, is also presented. This sample has also been imported into a relational database schema built upon the 3DCityDB (a database implementation of CityGML) extended with a schema of the Utility Network ADE. Further to this, a series of basic network analysis functions have been defined and implemented in SQL to interact with the database so as to carry out sample atomic processes involved in network modelling, such as reading semantic properties of elements, calculating composite physical parameters of the network as a whole, and performing simple topological routing to serve as a guiding example for further and more complex development. A brief outlook is also presented, suggesting areas with high potential for future research and development of this nascent data model.</p>

Sign in / Sign up

Export Citation Format

Share Document