Spelling suggestions: "subject:"complete"" "subject:"komplete""
611 |
Ekonomické zhodnocení vlivu vybraného biologického doplňku ve výkrmu brojlerových kuřat / Economical evaluation of choice biological supplement effect in broiler chicken fatteningLANKAŠOVÁ, Jana January 2007 (has links)
The influence of biological supplement AEN 700 in broiler chicken fattening was traced in operating conditions of broiler houses Kladruby.This influence was analysed economically.Compared to year 2005 when the antibiotic stimulators of growth were used there are well-balanced zootechnical and economical results.The results of development confirmed that the biological supplement AEN 700 has minimally equivalent effect in production and in economical effect compared to antibiotic stimulators of growth.
|
612 |
Vliv rodiny na dítě / Family Influences to a ChildMAREČKOVÁ, Marie January 2008 (has links)
The work deals whit a family, its different types, functions and influenceson a child development. There is charactersed an endangerad family in the first part,too. Next it describes various parent positions, roles and their risk factors in education. In the third part there is written about the situations, when a family becomes incomplete - because of a parent or death or divorce. It is focused on child feelings after the loss of its parent. Today much more couples separate and taking care of children brings a lot of difficult moments. The risks of a single parent upbringing are meant there, too. Next chapter daels whit relationshipsof family membres after a step-parent comes into a family. In the last part there is a description of a family education, styles and risk factors of unappropriate parentś positions.
|
613 |
Algumas aplicações de jogos topológicos à análise / Some applications of topological games to analysisJuan Luis Jaisuño Fuentes Maguiña 17 May 2018 (has links)
Neste trabalho apresentamos alguns jogos topológicos e suas aplicações à análise. Com esse fim, se fornece condições necessárias para que funções aproximadamente contínuas se tornem contínuas, se caracteriza os conjuntos estritamente pseudo-completos nos espaços de Banach e, assim também, se constrói um espaço de diferenciabilidade Gâteaux que não é Asplund fraco. / In this work we present some topological games and their applications to analysis. For this purpose, necessary conditions are given for nearly continuous functions to become continuous, we characterize the strictly pseudo-complete sets in the Banach spaces and we also construct a Gâteaux differentiability space that is not weak Asplund.
|
614 |
"Avaliação da alteração dimensional da base de prova permanente da prótese total de resina acrílica ativada termicamente, processada em forno microondas, por meio da imagem digital" / Evaluation of the dimensional alteration according to the permanent proof base for complete denture made of thermally activated acrylic resin, in microwave process, using digital imageAna Paula Barbosa de Lima 11 August 2006 (has links)
Foram confeccionados 50 corpos de prova, divididos em 30 próteses totais superiores e 20 bases de provas permanentes, padronizados, para se avaliar a alteração dimensional da base de prova permanente, com dupla polimerização, processada em forno de microondas convencional; base de prova permanente com dupla polimerização, processada no método convencional; e a prótese total em uma única polimerização. Para essa análise, essas próteses foram divididas em 5 grupos: grupo I prótese total convencional banho de água (controle); grupo II base de prova permanente processada convencionalmente; grupo III base de prova permanente processada em forno de microondas convencional; grupo IV prótese total superior padronizada com base de prova permanente processada convencionalmente, com as bases do grupo II; grupo V prótese total superior com base de prova permanente, processada no forno de microondas convencional, com as bases de prova do grupo III. Para avaliar essa alteração foi usado o recurso do scaneamento da região posterior das próteses, Post-dam, desses corpos de prova. Após esse processo, a imagem capturada foi levada para o programa Photoshop 8.0 determinando a região de avaliação. Após essa seleção, a imagem é acessada no CorelTrace 11 para ser transformada em preto e branco e vetorizada, sendo, então, levada para o CorelDraw 11 para ser feita a medição do espaço da região posterior, entre o modelo e a base de prova/prótese total, para permitir a análise dos valores da alteração dimensional dos corpos de prova em questão, após o processamento. Os resultados mostram que: 1) a diferença da variação média para os lados esquerdo, centro e direito, respectivamente, na ordem de décimos ou centésimos de milímetros, para o grupo IV e I (0,07; 0,08 e 0,09); para o grupo V e I (0,10; 0,32 e 0,25) e para o grupo V e IV (0,17; 0,24 e 0,16) não pode ser considerada relevante clinicamente para afetar o ajuste da prótese na boca e promover a ocorrência de maiores transtornos clínicos; 2) A alteração média das áreas do lado esquerdo e direito para o grupo I, II e IV obtiveram uma homogeneidade na alteração, diferindo os Grupos III e V em relação aos outros, não existindo porém, diferença significante a nível de 5% entre as áreas desses segmentos; 3) A análise da variância do índice da área dos cinco (5) grupos não apresentou resultado significante que desabonasse a utilização de qualquer um dos métodos para a confecção da prótese total. No entanto, mais estudos devem ser realizados com o intuito de se aprimorar o uso do forno de microondas para o processamentos da prótese. / The 50 samples of pattern maxillary complete denture were processed, divided in 30 maxillary complete denture and 20 permanent proof base, to evaluated of dimensional changes in the permanent proof base with twice polymerization, process in microwave oven, to compare with the others two groups, the complete denture with conventional process and the complete denture with permanent proof base with twice polymerization in a conventional process. To evaluated this complete dentures they were divided in 5 groups: group I conventional complete denture; group II proof base conventional process; group III proof base in microwave process; group IV complete denture using the proof base of the group, with the conventional process and the group; group V complete denture using the proof base of the group III, microwave process. To evaluated this alteration used the scanner in the Post-dam, in this samples. After this proceding the image was putting in the Adobe Photoshop 8.0 program to determinate what region was evaluated. After this selection, the image access in the CorelTrace 11 program and transformed in black and white, and after to access in the CorelDraw 11 that was measured the region between the cast and the complete/permanent proof base, to allow the analysis of the values the dimensional alteration of the proof body, after the process. The results show: 1) The linear dimensional alteration the difference mean variation for the left, center and right sides, respectively, it was in decimal order or centesimal of millimeters, for the group IV and I (0,07; 0,08 and 0,09); and for the group V and I were (0,10; 0,32 and 0,25) and for the group V and IV (0,17; 0,24 and 0,16) and it cannot be considered clinically relevant to affect the prosthesis adjustment in the mouth, and promote the occurrence of more clinical disruptions; 2) The dimensional alterations in the areas (left and right side) of the proof bodies of the three groups I, II and IV were uniform, and the groups III and V werent homogeneous, but there is not a statically significant difference, about 5%, between the segment left and right areas; 3) The variation of the area index about five groups there is not a statically significant that couldnt use of the both method to build the complete denture. Although, more studies are important to realize with the objective to improve the use the microwave over to process the denture.
|
615 |
Combination of stem cells from deciduous teeth and electroacupuncture in dogs with chronic spinal cord injury / Associação de células-tronco de polpa de dente decíduo e eletroacupuntura em cães com lesão medular crônicaCésar Vinicius Gil Braz do Prado 20 December 2016 (has links)
Previous studies have reported that combination of electroacupuncture (EA) and mesenchymal stem/stromal cells (MSC) promoted survival, differentiation and functional recovery in spinal cord-transected rats. In this study, it was examined the therapeutic effects of stem cells from canine exfoliated dental pulp (SCED) combined with EA treatment in dogs with chronic naturally occurred spinal cord injury due to intervertebral disc herniation (IVDH). Dogs were randomly assigned to four experimental groups (n=4 for each group; total of 16 animals): SCED, EA, SCED + EA) and control. Mild increase in the neurological scoring was found in one animal from SCED group (1/4; 2 points gained), one from EA group (1/4; 8 points gained), three from SCED+EA group (3/4; 16 points gained) and one from control group (1/4; 2 points gained). Functional outcome improvements were observed two animals from SCED group (2/4; 3 points gained), two from EA group (2/4; 4 points gained), one from SCED+EA group (1/4; 1 point gained) and two were from control group (2/4; 6 points gained). However no statistical differences were observed. Magnetic resonance imaging (MRI) findings did not suggest improvement comparing pre- and post-treatment within groups, excepted from one animal from SCED group (1/4), and 10 animals from all groups (10/16) presented signs of injury progression in the SCI in post-treatment exam, which could not be associated to the procedures from study, but could be related to the natural evolution of the disease. Limitation such as number of transplanted stem cells, delivery route, injury chronicity and intrinsic variation among naturally spinal cord injured dogs could have influence outcomes negatively. Moreover, canine deciduous exfoliated teeth were easily obtained and SCED were simply isolated, and no mortality followed up 7 month from procedure were observed. / Estudos anteriores demonstraram que a associação da eletroacupuntura e células-tronco mesenquimais/estromais (CTMs) pode promover a sobrevivência e diferenciação das CTMs, assim como recuperação funcional em ratos com transecção da medula espinal. Neste estudo, foram avaliados os efeitos terapêuticos da associação de células-tronco derivadas de polpa de dente decíduo esfoliado de cães (CPDEc) e eletroacupuntura (EAP) em cães com lesão de medula espinhal crônica causada de forma natural por herniação do disco interververtebral. Os cães foram divididos aleatoriamente em quatro grupos experimentais (n=4 para cada grupo; total de 16 animais): CPDEc, EAP, CPDEc+EAP e grupo controle. Foram encontradas pequenas melhoras na pontuação do exame neurológico em um animal do grupo CPDEc (1/4; 2 pontos ganhos), um do grupo EAP (1/4; 8 pontos ganhos), três do grupo CPDEc+EAP (3/4; 16 pontos ganhos) e um do grupo controle (1/4; 2 pontos ganhos). Na avaliação funcional, pequenas melhoras também foram observadas em dois animais do grupo CPDEc (2/4; 3 pontos ganhos), dois do grupo EAP (2/3; 4 pontos ganhos), um do grupo CPDEc+EAP (1/4; 1 ponto ganho) e dois do grupo controle (2/4; 6 pontos ganhos). No entanto, não foram encontradas diferenças estatísticas entre os grupos. Os achados ressonância magnética não sugeriram melhoras comparando os exames pré e pós tratamento entre os grupos, com exceção de um animal do grupo CPDEc (1/4), e 10 animais dentre todos os grupos (10/16) apresentaram sinais de progressão na lesão da medula espinhal, que não puderam ser associados com os procedimentos do estudo, mas podem estar relacionados à progressão natural da doença. Além disso, os dentes decíduos esfoliados foram obtidos facilmente e as CPDEc foram isoladas de forma simples, ademais, não foi observada nenhuma mortalidade foi observada até 7 meses após o procedimento.
|
616 |
Facteurs pronostiques et prédictifs dans le cancer du sein infiltrant / Pronstic and predictive factors in invasive breast cancerGuiu Lahaye, Séverine 16 December 2015 (has links)
Le traitement systémique adjuvant du cancer du sein infiltrant repose sur la chimiothérapie et l’hormonothérapie. Certains facteurs sont connus pour être pronostiques (âge, taille tumorale, statut ganglionnaire, grade tumoral, emboles vasculaires, statut des récepteurs hormonaux (RH) et de HER2) ou prédictifs de réponse aux traitements (RH et HER2) et influent sur nos décisions thérapeutiques. Cependant, certaines patientes récidivent malgré un traitement complet alors que d’autres vont recevoir un traitement qui aurait pu être évité de par leur bon pronostic « intrinsèque ». Nous avons cherché à identifier dans ce travail d’autres facteurs pronostiques et / ou prédictifs dans le cancer du sein infiltrant en situation néoadjuvante / adjuvante. Premièrement, nous montrons que le type histologique lobulaire, réputé pour être une histologie de cancer du sein de bon pronostic et peu chimiosensible, ne doit pas être un facteur décisionnel quant aux traitements systémiques. En situation adjuvante et concernant la chimiothérapie, la validité et l’utilité cliniques des tests génomiques nécessitent d’être évaluées spécifiquement dans ce sous-groupe. Ensuite, nous avons étudié la validité analytique, la validité clinique et l’utilité clinique de 2 classifications moléculaires des cancers du sein selon PAM50 et l’analyse immunohistochimique de biomarqueurs : récepteur œstrogène, HER2 et Ki67 avec un cut-off à 14%. Selon nos conclusions, il n’y a actuellement pas de données suffisamment robustes pour que ces 2 classifications modifient les décisions de traitement systémique. Nous avons mis en évidence un sous-groupe de tumeurs triples négatives exprimant le récepteur androgène et FOXA1 et se comportant comme des tumeurs luminales. Enfin, nous avons montré sur une large série néoadjuvante que la réponse histologique complète est un critère substitutif de survie pour les tumeurs RH négatifs / The adjuvant systemic treatment of invasive breast cancer is based on chemotherapy and endocrine therapy. Several prognostic factors (age, tumoral size, nodal status, tumoral grade, vascular embols, hormonal receptors (HR), HER2) and predictive factors of response to treatment (HR and HER2) are described and have an impact on our therapeutic decisions. However, recurrences are frequent after a complete treatment and patients could avoid such treatment because of the good “intrinsic” prognosis. In this work, we aimed to identify other prognostic and / or predictive factors for the invasive breast cancer in the neoadjuvant / adjuvant settings. Firstly, we showed that the lobular histology, considered as histology of good prognosis and low chemo sensitive, should not be a decisive factor regarding systemic therapy. In the adjuvant setting, regarding chemotherapy, clinical validity and utility of the genomic tests need to be specifically evaluated in this subgroup. Then, we studied analytical validity, clinical validity and clinical utility of 2 molecular classification of breast cancer: PAM50 and a panel of 3 biomarkers in immunohistochemistry (estrogen receptor, HER2 and Ki-67 with a cut-off of 14%). We concluded that the data were not strong enough and that the therapeutic decisions should not be influenced by these classifications. We identified a subgroup of triple negative breast cancer that express androgen receptor and FOXA1 and which behave like luminal tumors. At last, we showed in a large neoadjuvant population, that the pathological complete response is a surrogate marker of survival in RH negative tumors
|
617 |
Epidémiologie moléculaire du virus de l'hépatite C (VHC) chez les donneurs de sang français entre 2008 et 2011 : caractérisation de génomes complets du VHC appartenant au génotype 2 / Molecular epidemiology of hepatitis C(HCV) among blood donors french between 2008 and 2011 and characterization of complete genome hepatitis C virus(HCV) among genotype 2 strainsJordier, Edme 19 December 2013 (has links)
La distribution des génotypes du virus de l’hépatite C (VHC). chez les donneurs de sang Français entre 2008 et 2011 a été analysée afin d’actualiser nos connaissances. Le génotypage des souches a permis d’identifier la diversité des génotypes circulants. Les sous-types 1a, 1b et 3a sont majoritairement retrouvés (80% des souches). L’analyse phylogénétique a démontré une grande variabilité chez les types 2 et 4 représentés par de nombreux sous-types. Les résultats montrent que les comportements à risque tendent à influencer et redessiner la distribution de ces génotypes dans la population générale. Certains sous-types se répandent dans des groupes à risque où ils finissent par adopter un profil épidémique. Enfin, la sélection des donneurs et la mise en place de tests diagnostiques ont permis de rendre la contamination transfusionnelle négligeable. Les données épidémiques obtenues ont été enrichies de nouvelles connaissances sur l'évolution et la classification du VHC. 15 séquences codantes complètes de plusieurs souches appartenant au type 2 ont été caractérisées. L’analyse phylogénétique révèle 2 clusters distincts. Le cluster 1 comprend la plupart des souches tandis que le cluster 2 comprend le sous-type 2l. Les génomes obtenus ont un ORF de 9042 à 9108 bases (3014 à 3036 acides aminés). Les distances moyennes entre sous- types sont égales à 20% dans le cluster 1 et 26% entre les deux clusters. La bifurcation entre clusters a eu lieu tôt lors de l'évolution du virus. L'insertion de 60 bases dans la région NS5A caractéristique du type 2 est absente chez les 2l. Donc, l'apparition et la fixation de celle-ci sont tardives dans l'évolution du virus. / The distribution of genotypes of hepatitis C virus (HCV) infection among blood donors French between 2008 and 2011 was analyzed in order to update our knowledge. Genotyping strains identified the diversity of circulating genotypes. Subtypes 1a, 1b and 3a are found predominantly (80 % of strains). Phylogenetic analysis showed a great variability in types 2 and 4 represented by many subtypes. The results show that risk behaviors tend to influence and reshape the distribution of these genotypes in the general population. Some subtypes are spreading risk groups where they eventually adopt an epidemic profile. Finally, donor selection and implementation of diagnostic tests reduced drastically blood contamination. Epidemic data were enriched of new knowledge about the evolution and classification of HCV. 15 complete coding sequences of several strains of type 2 have been characterized. Phylogenetic analysis reveals two distinct clusters. Cluster 1 includes most strains while cluster 2 includes subtype 2l. Genomes obtained have an ORF of 9042 to 9108 bases (3014-3036 amino acids). The average distances between subtypes are equal to 20% in cluster 1 and 26 % between the two clusters. The bifurcation between clusters occurred early during the evolution of the virus. The insertion of 60 bases in the NS5A region characteristic of Type 2 is absent in 2l. So the appearance and fixing it is late in the evolution of the virus.
|
618 |
Clusters de gènes de résistance aux maladies chez le haricot commun : bases moléculaires, régulation et évolution / Disease resistance gene clusters in common bean : molecular basis, regulation and evolutionRichard, Manon 16 December 2014 (has links)
Le haricot commun est la légumineuse à graine la plus consommée au monde en alimentation humaine. Le génome du haricot possède plusieurs énormes clusters de gènes de résistance (R) qui ont la particularité de se cartographier en extrémité de groupes de liaison. Le génome du haricot commun (génotype Andin G19833) a été récemment séquencé et nous avons participé à ce projet en annotant la famille des NB-LRR (NL), classe prépondérante des gènes de résistance. Ces données génomiques nous ont permis de réaliser les 3 études suivantes. (i) L’identification des bases moléculaires de Co-x un gène R vis-à-vis d’une souche très virulente de C. lindemuthianum chez JaloEEP558 a été initiée. La cartographie fine de Co-x suivie du séquençage de la région cible chez JaloEEP558 (Co-x) a permis d’identifier un gène candidat codant une kinase atypique qui pourrait être la cible d’un effecteur fongique, gardée par un gène R. (ii) Des études récentes ont mis en évidence l’implication de petits ARNs (miRNAs induisant la production de phased siRNAs) dans la régulation de l’expression des NL. Le séquençage et l’analyse de banques de sRNAs de haricot nous ont permis d’identifier ce mécanisme et de mettre le doigt sur un nouveau mécanisme de régulation des NL impliquant des sRNAs de 24 nt. (iii) Des ADN satellites ont été étudiés à l’échelle du génome du haricot. L’étude des centromères de haricot a permis de mettre en évidence l’existence de 2 ADN satellites différents, Nazca et CentPv2. Nous avons également étudié un ADN satellite subtélomérique khipu précédemment identifié au niveau de 2 clusters de gènes R du haricot. L’étude de khipu à l’échelle du génome suggère l’existence d’échanges fréquents de séquences entre subtélomères de chromosomes non homologues. Ces résultats nous ont amenés à proposer que des éléments structuraux et une combinaison de mécanismes de régulation (TGS et PTGS) permettent la prolifération des NL sans effet néfaste pour la plante, conduisant à l’obtention de très gros clusters de NL dans le génome du haricot. / Common bean is the main source of protein for human consumption in many developing countries. Several huge disease resistance (R) gene clusters have been mapped at the end of common bean linkage groups. The common bean genome (Andean genotype G19833) has recently been sequenced. Access to the complete genome sequence of common bean allowed us to annotate the Nucleotide Binding-Leucine Rich Repeat (NL) encoding gene family, the prevalent class of disease R genes in plants, and to perform the 3 following studies: (i) We have investigated the molecular basis of Co-x, an anthracnose R gene to a highly virulent strain of C. lindemuthianum, previously identified in the Andean cultivar JaloEEP558. Fine mapping of Co-x and sequencing of the target region in JaloEEP558, allowed us to identify a candidate gene encoding an atypical kinase. We hypothesised that this atypical kinase is a fungal effector target. (ii) Several recent studies have highlighted the role of small RNA (miRNAs that triggered phased siRNAs production) in the regulating of NL gene expression. Analyses of small RNAs libraries of common bean led to the identification of this mechanism in common bean and also allowed us to propose a new NL regulation pathway involving 24 nt sRNAs. (iii) We have studied centromeric and subtelomeric satellite DNAs at common bean genome level. We have identified 2 different satellite DNAs in common bean centromeres, Nazca and CentPv2. We have also conducted the analyze of the subtelomeric satellite khipu, previously identified in common bean R clusters and confirmed that frequent sequence exchange occurs between non-homologous chromosome ends in common bean genome. Together, these results led us to propose that both structural elements and a combination of regulatory mechanisms (TGS, PTGS) allow the amplification of NL sequences without detrimental effect for the plant leading to the large NL clusters observed in common bean.
|
619 |
Calculs théoriques avec le couplage spin orbitales pour les molécules diatomiques YS, YN, ZrS, et ZrN / Theoretical calculations with spin orbit effects of the diatomic molecules YS, YN, ZrS, ZrNFarhat, Ayman 21 June 2012 (has links)
Cette thèse est consacrée à l'étude ab initio des structures électroniques des molécules diatomiques polaires YN, YS, ZrN, et ZrS. Cette étude est motivé par le manque d’informations dans la littérature sur la structure électronique de ces molécules, alors qu’elles ont clairement été identifiées dans le spectre de certaines étoiles. Des calculs théoriques sont ainsi nécessaire puisqu’ils peuvent fournir d'importantes informations quant aux propriétés des états électroniques fondamentaux et excités qui ne sont pas accessibles expérimentalement. Dans ce travail les calculs ab initio ont été effectués par la méthode du champ auto-cohérent de l'espace actif complet (CASSCF), suivie par l'interaction de configuration multiréférence (MRSDCI). La correction de Davidson, notée (MRSDCI+ Q), a ensuite été appliquée pour rendre compte de clusters ou agrégats quadruples non liés. Les calculs ont été effectués selon deux schémas. Dans le premier les effets spin-orbite ont été négligés alors que dans le second les effets spin orbite ont été inclus par la méthode des potentiels de noyau efficaces. Tous les calculs ont été effectués en utilisant le programme de calcul de chimie physique MOLPRO et en tirant parti de l’interface graphique Gabedit. Les courbes d'énergie potentielle ont été construites et des constantes spectroscopiques calculées, ainsi que les moments dipolaires électriques permanent, les champs électriques moléculaires intenses et les structures énergétiques de vibration-rotation. Nous avons détecté dans la molécule ZrS plusieurs niveaux vibrationnels dégénérés ceux-ci peuvent être utilisés pour rechercher les variantes possibles de la constante de structure fine α etdu rapport de masse μ de l’electron par rapport au proton dans trois étoiles de type S, du nomde Rand, les RCas, et χCyg. La comparaison des données expérimentales et théoriques pour la plupart des constantes calculées a montré une bonne précision pour nos prédictions avec une différence relative (en pourcentage) qui varie entre 0,1% et 10%. Ces résultats devraient ainsi mener à des études expérimentales plus poussées pour ces molécules. / This dissertation is dedicated to the ab initio study of the electronic structures of the polardiatomic molecules YN, YS, ZrN, and ZrS. The identification of these molecules in the spectraof stars as well as the lack in literature on the electronic structures of these molecules motivatedthe present study. Theoretical calculations are useful in this respect since they can provideimportant data for the properties of the ground and excited electronic states that are not availablefrom experimental means. In the present work the ab initio calculations were performed at thecomplete active space self-consistent field method (CASSCF) followed by multireference singleand double configuration interaction method (MRSDCI). The Davidson correction noted as(MRSDCI+Q) was then invoked in order to account for unlinked quadruple clusters. Thecalculations were performed on two stages in the first spin orbit effects were neglected while inthe second type of calculations spin orbit effects were included by the method of effective corepotentials. All of the calculations were done by using the computational physical chemistryprogram MOLPRO and by taking advantage of the graphical user interface Gabedit. In thepresent work potential energy curves were constructed and spectroscopic constants computed,along with permanent electric dipole moments, internal molecular electric fields, and vibrationalrotationalenergy structures. We detected in the ZrS molecule several degenerate vibrationalenergy levels which can be used to search for possible variations of the fine structure constant αand the electron to proton mass ratio μ in three S-type stars, named Rand, RCas, and χCyg. Acomparison with experimental and theoretical data for most of the calculated constantsdemonstrated a good accuracy for our predictions giving a percentage relative difference thatranged between 0.1% and 10%. Finally, we expect that the results of the present work shouldinvoke further experimental investigations for these molecules.
|
620 |
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída / Applying fault models in complete test suite generation from Input/Output Transition SystemsSofia Larissa da Costa Paiva 16 March 2016 (has links)
O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.
|
Page generated in 0.0358 seconds