scholarly journals Study and definition of project attributes for selection of testing techniques for concurrent software

2020 ◽  
Author(s):  
Italo de Oliveira Santos
Keyword(s):  
Concurrent Software ◽  
Testing Techniques ◽  
Definition Of ◽  
Selection Of

scholarly journals Extended Abstract - CTDSI/CTCCSI 2021 - Study and definition of project attributes for selection of testing techniques for concurrent software

2021 ◽  
Author(s):  
Italo Santos ◽  
Simone Do Rocio Senger Souza ◽  
Silvana Morita Melo
Keyword(s):  
Software Testing ◽  
Recommendation System ◽  
Systematic Mapping Study ◽  
Software Project ◽  
Concurrent Software ◽  
Testing Technique ◽  
Test Execution ◽  
Testing Techniques ◽  
Testing Practices ◽  
Selection Of

[Context:] The choice of testing technique to be adopted in a software testing project persists based on the tester's knowledge and often does not consider all of the testing techniques available in the industry or academia. Therefore, a characterization scheme was proposed and implemented in the SeleCTT tool, which is composed of a set of attributes that considers characteristics of concurrent programs, and they are used to calculate which of these attributes are suitable to guide the selection of testing techniques for a particular software project. [Objective:] The selection of the testing technique at each stage of a software's life cycle depends on many factors. Our work aims to help testers to select a better testing technique according to the characteristics of a software project, contributing to the selection of the most suitable testing technique to increase the efficiency of the software test execution process, which in turn influences the development and delivery of a more robust and quality product. Considering that the testing techniques are complementary, another goal is to allow a set of testing techniques to be selected and not just one. [Methodology:] To achieve this goal, a systematic mapping study was conducted to identify and analyze papers that represent the current state of the literature about testing techniques selection. We surveyed software testing practices carried in Brazil software companies and identified the testing practices to know and have an overview on the latest testing techniques, tools, and metrics used, the challenges faced by testers, and the selection testing technique process. [Results and Conclusions:] With this study, it is expected to specify project attributes that can be used to improve the existing recommendation system in the SeleCTT tool and propose ways of combining testing techniques, contributing to industry and academia, and bring insights into the context of testing techniques selection.

scholarly journals Study and definition of project attributes for selection of testing techniques for concurrent software

2019 ◽  
Author(s):  
Italo De Oliveira Santos ◽  
Simone Do Rocio Senger de Souza
Keyword(s):  
Software Testing ◽  
Recommendation System ◽  
Systematic Mapping Study ◽  
Software Project ◽  
Concurrent Software ◽  
Testing Technique ◽  
Software Companies ◽  
Testing Techniques ◽  
Testing Practices ◽  
Selection Of

[Context:] The choice of testing technique to be adopted in a software testing project persists based on the tester’s knowledge and often does not consider all of the testing techniques available in the industry or academia. In a previous project of the research group, a framework was defined to support the systematic selection of concurrent software testing techniques. Therefore, a characterization scheme was proposed and implemented in the SeleCTT tool, which is composed of a set of attributes that considers characteristics of concurrent programs and they are used to calculate which of these attributes are suitable to guide the selection of testing techniques for a particular software project. [Objective:] The selection of the testing technique at each stage of a software’s life cycle depends on many factors, such as resources, schedule, cost of the project, among other attributes. This work will extend the previously defined attributes, taking into account other characteristics that may be considered, for example, information from previous similar projects. Considering that the testing techniques are complementary, another goal is to allow a set of testing techniques to be selected and not just one. [Methodology:] To achieve this goal, a systematic mapping study was conducted to identify and analyze papers that represent the current state of the literature about testing techniques selection. Moreover, we surveyed software testing practices carried in Brazil software companies. The survey identified the testing practices in Brazilian industries, for the purpose of knowing and having an overview on the latest testing techniques, tools and metrics used, the challenges faced by testers and the selection testing technique process. [Results and Conclusions:] With this study, it is expected to specify project attributes that can be used to improve the existing recommendation system in the SeleCTT tool and propose ways of combining testing techniques, contributing to industry and academia, and bring insights on the context of testing techniques selection.

Contributions to improve the combined selection of concurrent software testing techniques

2020 ◽  
Author(s):  
Italo Santos ◽  
Andre B. P. Furlanetti ◽  
Silvana M. Melo ◽  
Paulo Sergio Lopes de Souza ◽  
Márcio E. Delamaro ◽  
...  
Keyword(s):  
Software Testing ◽  
Concurrent Software ◽  
Testing Techniques ◽  
Combined Selection ◽  
Selection Of

Selection and Preparation of Specific Tissue Regions For Tem Using Large Epoxy-Embedded Blocks

1973 ◽  
Vol 31 ◽  
pp. 324-325 ◽  
Author(s):  
P. M. Lowrie ◽  
W. S. Tyler
Keyword(s):  
Electron Microscopy ◽  
Anatomical Structures ◽  
Ultrastructural Studies ◽  
Transmission Electron ◽  
Microscopic Evaluation ◽  
Embedded Blocks ◽  
Specific Tissue ◽  
Definition Of ◽  
Areas Of Interest ◽  
Selection Of

The importance of examining stained 1 to 2μ plastic sections by light microscopy has long been recognized, both for increased definition of many histologic features and for selection of specimen samples to be used in ultrastructural studies. Selection of specimens with specific orien ation relative to anatomical structures becomes of critical importance in ultrastructural investigations of organs such as the lung. The uantity of blocks necessary to locate special areas of interest by random sampling is large, however, and the method is lacking in precision. Several methods have been described for selection of specific areas for electron microscopy using light microscopic evaluation of paraffin, epoxy-infiltrated, or epoxy-embedded large blocks from which thick sections were cut. Selected areas from these thick sections were subsequently removed and re-embedded or attached to blank precasted blocks and resectioned for transmission electron microscopy (TEM).

scholarly journals Promotion of Resilience in Migrants: A Systematic Review of Study and Psychosocial Intervention

2021 ◽  
Author(s):  
Maria Ciaramella ◽  
Nadia Monacelli ◽  
Livia Concetta Eugenia Cocimano
Keyword(s):  
Systematic Review ◽  
Psychosocial Intervention ◽  
Life Experiences ◽  
Psychosocial Interventions ◽  
Migrant Population ◽  
Methodological Choices ◽  
Research Questions ◽  
Definition Of ◽  
Selection Of

AbstractThis systematic review aimed to contribute to a better and more focused understanding of the link between the concept of resilience and psychosocial interventions in the migrant population. The research questions concerned the type of population involved, definition of resilience, methodological choices and which intervention programmes were targeted at migrants. In the 90 articles included, an heterogeneity in defining resilience or not well specified definition resulted. Different migratory experiences were not adequately considered in the selection of participants. Few resilience interventions on migrants were resulted. A lack of procedure’s descriptions that keep in account specific migrants’ life-experiences and efficacy’s measures were highlighted.

scholarly journals Getting to Hope: Perspectives from Patients and Caregivers Living with Chronic Childhood Illness

Children ◽  
2021 ◽  
Vol 8 (6) ◽  
pp. 525
Author(s):  
Emily von Scheven ◽  
Bhupinder K. Nahal ◽  
Rosa Kelekian ◽  
Christina Frenzel ◽  
Victoria Vanderpoel ◽  
...  
Keyword(s):  
Conceptual Model ◽  
Research Question ◽  
Young Patients ◽  
Future Research ◽  
Childhood Onset ◽  
Virtual Focus Groups ◽  
Definition Of ◽  
Selection Of ◽  
Chronic Childhood ◽  
Research Studies

Promoting hope was identified in our prior work as the top priority research question among patients and caregivers with diverse childhood-onset chronic conditions. Here, we aimed to construct a conceptual model to guide future research studies of interventions to improve hope. We conducted eight monthly virtual focus groups and one virtual workshop with patients, caregivers, and researchers to explore key constructs to inform the model. Discussions were facilitated by Patient Co-Investigators. Participants developed a definition of hope and identified promotors and inhibitors that influence the experience of hope. We utilized qualitative methods to analyze findings and organize the promotors and inhibitors of hope within three strata of the socio-ecologic framework: structural, interpersonal, and intrapersonal. Participants identified three types of interventions to promote hope: resources, navigation, and activities to promote social connection. The hope conceptual model can be used to inform the selection of interventions to assess in future research studies aimed at improving hope and the specification of outcome measures to include in hope research studies. Inclusion of the health care system in the model provides direction for identifying strategies for improving the system and places responsibility on the system to do better to promote hope among young patients with chronic illness and their caregivers.

scholarly journals Examining and Fine-tuning the Selection of Glycan Compositions with GlyConnect Compozitor

2020 ◽  
Vol 19 (10) ◽  
pp. 1602-1618 ◽  
Author(s):  
Thibault Robin ◽  
Julien Mariethoz ◽  
Frédérique Lisacek
Keyword(s):  
Search Engine ◽  
Posttranslational Modifications ◽  
Search Engines ◽  
Web Application ◽  
Contextual Information ◽  
Fine Tuning ◽  
Data Sources ◽  
Web Interface ◽  
Definition Of ◽  
Selection Of

A key point in achieving accurate intact glycopeptide identification is the definition of the glycan composition file that is used to match experimental with theoretical masses by a glycoproteomics search engine. At present, these files are mainly built from searching the literature and/or querying data sources focused on posttranslational modifications. Most glycoproteomics search engines include a default composition file that is readily used when processing MS data. We introduce here a glycan composition visualizing and comparative tool associated with the GlyConnect database and called GlyConnect Compozitor. It offers a web interface through which the database can be queried to bring out contextual information relative to a set of glycan compositions. The tool takes advantage of compositions being related to one another through shared monosaccharide counts and outputs interactive graphs summarizing information searched in the database. These results provide a guide for selecting or deselecting compositions in a file in order to reflect the context of a study as closely as possible. They also confirm the consistency of a set of compositions based on the content of the GlyConnect database. As part of the tool collection of the Glycomics@ExPASy initiative, Compozitor is hosted at https://glyconnect.expasy.org/compozitor/ where it can be run as a web application. It is also directly accessible from the GlyConnect database.

General Schema Theory for Genetic Programming with Subtree-Swapping Crossover: Part II

2003 ◽  
Vol 11 (2) ◽  
pp. 169-206 ◽  
Author(s):  
Riccardo Poli ◽  
Nicholas Freitag McPhee
Keyword(s):  
Genetic Programming ◽  
Schema Theory ◽  
Exact Formulation ◽  
Expected Number ◽  
Size Evolution ◽  
General Schema ◽  
Definition Of ◽  
Effective Fitness ◽  
Selection Of ◽  
Exact Definition

This paper is the second part of a two-part paper which introduces a general schema theory for genetic programming (GP) with subtree-swapping crossover (Part I (Poli and McPhee, 2003)). Like other recent GP schema theory results, the theory gives an exact formulation (rather than a lower bound) for the expected number of instances of a schema at the next generation. The theory is based on a Cartesian node reference system, introduced in Part I, and on the notion of a variable-arity hyperschema, introduced here, which generalises previous definitions of a schema. The theory includes two main theorems describing the propagation of GP schemata: a microscopic and a macroscopic schema theorem. The microscopic version is applicable to crossover operators which replace a subtree in one parent with a subtree from the other parent to produce the offspring. Therefore, this theorem is applicable to Koza's GP crossover with and without uniform selection of the crossover points, as well as one-point crossover, size-fair crossover, strongly-typed GP crossover, context-preserving crossover and many others. The macroscopic version is applicable to crossover operators in which the probability of selecting any two crossover points in the parents depends only on the parents' size and shape. In the paper we provide examples, we show how the theory can be specialised to specific crossover operators and we illustrate how it can be used to derive other general results. These include an exact definition of effective fitness and a size-evolution equation for GP with subtree-swapping crossover.

Military Targeting in the Context of Self-Defence Actions

2015 ◽  
Vol 84 (1) ◽  
pp. 3-28 ◽  
Author(s):  
James A. Green ◽  
Christopher P.M. Waters
Keyword(s):  
Target Selection ◽  
Jus In Bello ◽  
Customary International Law ◽  
Jus Ad Bellum ◽  
Conceptual Clarity ◽  
Starting Point ◽  
Definition Of ◽  
The Relationship ◽  
Self Defence ◽  
Selection Of

For self-defence actions to be lawful, they must be directed at military targets. The absolute prohibition on non-military targeting under the jus in bello is well known, but the jus ad bellum also limits the target selection of states conducting defensive operations. Restrictions on targeting form a key aspect of the customary international law criteria of necessity and proportionality. In most situations, the jus in bello will be the starting point for the definition of a military targeting rule. Yet it has been argued that there may be circumstances when the jus ad bellum and the jus in bello do not temporally or substantively overlap in situations of self-defence. In order to address any possible gaps in civilian protection, and to bring conceptual clarity to one particular dimension of the relationship between the two regimes, this article explores the independent sources of a military targeting rule. The aim is not to displace the jus in bello as the ‘lead’ regime on how targeting decisions must be made, or to undermine the traditional separation between the two ‘war law’ regimes. Rather, conceptual light is shed on a sometimes assumed but generally neglected dimension of the jus ad bellum’s necessity and proportionality criteria that may, in limited circumstances, have significance for our understanding of human protection during war.

Sign in / Sign up

Export Citation Format

Share Document