Made available in DSpace on 2014-06-12T15:57:05Z (GMT). No. of bitstreams: 2 arquivo3138_1.pdf: 1790380 bytes, checksum: 8d08d6e97caeb1942c705627bab1ddc6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Centro de Estudos Avançados do Recife / Engenharia de software visa criar software de maneira econômica, que seja confiável e que trabalhe eficientemente em máquinas reais. Um de seus principais objetivos é obter um grau de qualidade mínimo que, em geral, significa uma baixa taxa de defeitos. Considerando que qualidade é crítico para o sucesso do software, o uso de testes vem crescendo. Testes objetivam revelar a presença de erros o mais cedo possível no ciclo de desenvolvimento. Embora teste de software seja uma atividade complexa, geralmente não é realizada sistematicamente devido a uma série de fatores como limitações de tempo, recursos e qualificação técnica dos envolvidos. Dessa forma, a automação de testes é uma tendência na área de testes. Esse trabalho está inserido no contexto de um projeto de pesquisa realizado pela Motorola em parceria com o Centro de Informática da Universidade Federal de Pernambuco denominado CInBTCRD (CIn and Brazil Test Center Research and Development Project). Na Motorola, a automação de testes faz-se por meio de um framework denominado de TAF (Test Automation Framework), o qual simula a interação de um ser humano com um aparelho celular, além de poder capturar o estado e outras informações importantes do aparelho. Testes reusam implementações já definidas no TAF para criar os scripts de teste, bem como novas implementações são criadas quando o reuso não é possível. Visto que bastante tempo é gasto para criar tais implementações, este trabalho propõe criar uma estratégia que, dado um script de teste, gere código para o TAF das funcionalidades ainda não implementadas automaticamente. Para gerar tais códigos, foi utilizada a linguagem formal CSP (Communicating Sequential Processes) como base. CSP foi criada para especificar e projetar comportamentos de sistemas concorrentes e distribuídos. CSP possui uma teoria de refinamentos associada, a qual é o alicerce de nossa proposta. O uso de refinamento em nossa proposta é relativamente simples: dado um teste em TAF descrito usando CSP e o comportamento de um celular também em CSP, a relação de refinamento só será satisfeita quando todos os elementos contidos no teste estiverem de acordo com o definido no comportamento do celular. Assim sendo, nesse trabalho usamos a ferramenta BxT (Behavior Extractor Tool) que desenvolvemos no contexto do projeto de pesquisa para extrair automaticamente um modelo CSP de um celular, bem como reusamos um outro trabalho que consegue representar casos de teste em CSP e criamos um algoritmo que usa esses elementos e a teoria da refinamento de CSP para completar certas partes do caso de teste com o auxílio do modelo do celular. Finalmente, o teste em CSP resultante é novamente escrito em TAF e dessa forma conseguimos atualizar o framework automaticamente

Modelos matemáticos de motoneurônios têm sido desenvolvidos para auxiliar na compreensão dos fenômenos que envolvem o sistema neuromuscular. Entretanto, a maioria dos modelos já desenvolvidos baseou-se na premissa de que a árvore dendrítica tem um comportamento passivo, o que ocorre em animais anestesiados, mas pode não ocorrer durante o comportamento motor normal de um animal intacto. Experimentos com animais descerebrados, em que as vias monoaminérgicas encontravam-se ativas, mostraram que os motoneurônios podem apresentar comportamentos mais complexos decorrentes da presença de condutâncias iônicas voltagem-dependentes que se situam nos dendritos e são responsáveis pela gênese de uma corrente de entrada persistente. Nesse sentido, um primeiro objetivo deste trabalho foi o de desenvolver novos modelos matemáticos de motoneurônios de diferentes tipos (i.e. dos tipos S, FR e FF), computacionalmente eficientes e contendo em seus compartimentos dendríticos uma condutância de cálcio do tipo L, de forma que os fenômenos de biestabilidade, potencial platô e amplificação da corrente sináptica efetiva possam ser gerados. Um segundo objetivo foi o de verificar como a presença da condutância iônica ativa no dendrito influencia o comportamento motoneuronal quando o mesmo está sujeito a entradas sinápticas de diferentes tipos. Os novos modelos foram parametrizados baseando-se em dados da literatura experimental para motoneurônios de gatos descerebrados e validados segundo os protocolos experimentais básicos que permitem caracterizar cada tipo de modelo como sendo totalmente ou parcialmente biestável. As entradas sinápticas foram simuladas por processos pontuais de Poisson e os trens de potenciais de ação dos motoneurônios foram analisados. Uma modulação senoidal da intensidade do processo pontual foi usada para estimar as respostas em frequência de cada modelo. Observou-se que, funcionalmente, a presença da condutância iônica dendrítica pode favorecer a ação do motoneurônio durante tarefas posturais, pois, uma vez ativada, a corrente de entrada persistente eleva a excitabilidade motoneuronal tornando os disparos mais regulares, além de prover uma alta sensibilidade dos modelos a entradas sinápticas de baixa frequência, correspondentes às oscilações observadas durante a manutenção da postura ereta quieta. / Mathematical models of motoneurons have been developed as an aid to the understanding of phenomena involving the neuromuscular system, but most of these models have been based on the hypothesis of a passive dendritic tree. This holds for anesthetized animals but not necessarily during normal motor behavior of the intact animal. Experiments with decerebrate animals in which the monoaminergic tracts were maintained intact have shown that more complex behaviors may emerge in motoneurons due to dendritic voltage-gated ionic conductances, which are responsible for a persistent inward current. Therefore, the first aim of this work was to develop computationally-efficient new motoneuron models of different types (i.e. type S, FR and FF) that include a dendritic L-type calcium conductance so that bistability, plateau potential and enhancement of effective synaptic current may be generated. The second aim of this research was to evaluate the effects of the active dendritic ionic conductance on the input-output mapping of presynaptic to postsynaptic spike trains. The new models were parameterized based on data reported in experimental literature on the decerebrate cat preparation, and they were validated using appropriate protocols for either fully or partially bistable dynamics. The synaptic inputs were simulated by Poisson point processes and the output spike trains were analyzed. Sinusoidal modulation of the point process intensity was used for the estimation of each models frequency response. The results suggested that an active dendritic ionic conductance in motoneurons has a functional role during postural tasks, because, when activated, the persistent inward current enhances the motoneuronal excitability, reducing the variability of interspike intervals, and focusing the sensitivity of the models to low frequency inputs that correspond to the low-frequency oscillations that typically occur during quiet standing posture.

Modelos matemáticos de motoneurônios têm sido desenvolvidos para auxiliar na compreensão dos fenômenos que envolvem o sistema neuromuscular. Entretanto, a maioria dos modelos já desenvolvidos baseou-se na premissa de que a árvore dendrítica tem um comportamento passivo, o que ocorre em animais anestesiados, mas pode não ocorrer durante o comportamento motor normal de um animal intacto. Experimentos com animais descerebrados, em que as vias monoaminérgicas encontravam-se ativas, mostraram que os motoneurônios podem apresentar comportamentos mais complexos decorrentes da presença de condutâncias iônicas voltagem-dependentes que se situam nos dendritos e são responsáveis pela gênese de uma corrente de entrada persistente. Nesse sentido, um primeiro objetivo deste trabalho foi o de desenvolver novos modelos matemáticos de motoneurônios de diferentes tipos (i.e. dos tipos S, FR e FF), computacionalmente eficientes e contendo em seus compartimentos dendríticos uma condutância de cálcio do tipo L, de forma que os fenômenos de biestabilidade, potencial platô e amplificação da corrente sináptica efetiva possam ser gerados. Um segundo objetivo foi o de verificar como a presença da condutância iônica ativa no dendrito influencia o comportamento motoneuronal quando o mesmo está sujeito a entradas sinápticas de diferentes tipos. Os novos modelos foram parametrizados baseando-se em dados da literatura experimental para motoneurônios de gatos descerebrados e validados segundo os protocolos experimentais básicos que permitem caracterizar cada tipo de modelo como sendo totalmente ou parcialmente biestável. As entradas sinápticas foram simuladas por processos pontuais de Poisson e os trens de potenciais de ação dos motoneurônios foram analisados. Uma modulação senoidal da intensidade do processo pontual foi usada para estimar as respostas em frequência de cada modelo. Observou-se que, funcionalmente, a presença da condutância iônica dendrítica pode favorecer a ação do motoneurônio durante tarefas posturais, pois, uma vez ativada, a corrente de entrada persistente eleva a excitabilidade motoneuronal tornando os disparos mais regulares, além de prover uma alta sensibilidade dos modelos a entradas sinápticas de baixa frequência, correspondentes às oscilações observadas durante a manutenção da postura ereta quieta. / Mathematical models of motoneurons have been developed as an aid to the understanding of phenomena involving the neuromuscular system, but most of these models have been based on the hypothesis of a passive dendritic tree. This holds for anesthetized animals but not necessarily during normal motor behavior of the intact animal. Experiments with decerebrate animals in which the monoaminergic tracts were maintained intact have shown that more complex behaviors may emerge in motoneurons due to dendritic voltage-gated ionic conductances, which are responsible for a persistent inward current. Therefore, the first aim of this work was to develop computationally-efficient new motoneuron models of different types (i.e. type S, FR and FF) that include a dendritic L-type calcium conductance so that bistability, plateau potential and enhancement of effective synaptic current may be generated. The second aim of this research was to evaluate the effects of the active dendritic ionic conductance on the input-output mapping of presynaptic to postsynaptic spike trains. The new models were parameterized based on data reported in experimental literature on the decerebrate cat preparation, and they were validated using appropriate protocols for either fully or partially bistable dynamics. The synaptic inputs were simulated by Poisson point processes and the output spike trains were analyzed. Sinusoidal modulation of the point process intensity was used for the estimation of each models frequency response. The results suggested that an active dendritic ionic conductance in motoneurons has a functional role during postural tasks, because, when activated, the persistent inward current enhances the motoneuronal excitability, reducing the variability of interspike intervals, and focusing the sensitivity of the models to low frequency inputs that correspond to the low-frequency oscillations that typically occur during quiet standing posture.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) / Made available in DSpace on 2018-09-02T14:02:19Z (GMT). No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) Previous issue date: 2012-11-11 / Capes / Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos. / Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite that. there is no systematic approach to support verification between the behavioral design and the implemented source code. In this work, we propose an approach to verify this conformity. The use of this approach vvill help developers, architects, and engineers to maintain the software documentation updated. Its usage allows that the development team and managers to detect behavioral design implementation defects. We also present the tool support built for our approach using Model Driven Architecture (MDA) and a preliminary evaluation about this work.

Made available in DSpace on 2014-12-17T13:53:27Z (GMT). No. of bitstreams: 1 DanielaVCS_DISSERT.pdf: 2784677 bytes, checksum: 92d04378c89fb04477b80e9cf283f9cf (MD5) Previous issue date: 2010-09-10 / The study aims to identify the factors that influence the behavior intention to adopt an academic Information System (SIE), in an environment of mandatory use, applied in the procurement process at the Federal University of Par? (UFPA). For this, it was used a model of innovation adoption and technology acceptance (TAM), focused in attitudes and intentions regarding the behavior intention. The research was conducted a quantitative survey, through survey in a sample of 96 administrative staff of the researched institution. For data analysis, it was used structural equation modeling (SEM), using the partial least squares method (Partial Least Square PLS-PM). As to results, the constructs attitude and subjective norms were confirmed as strong predictors of behavioral intention in a pre-adoption stage. Despite the use of SIE is required, the perceived voluntariness also predicts the behavior intention. Regarding attitude, classical variables of TAM, like as ease of use and perceived usefulness, appear as the main influence of attitude towards the system. It is hoped that the results of this study may provide subsidies for more efficient management of the process of implementing systems and information technologies, particularly in public universities / O estudo tem como objetivo identificar os fatores que influenciam a inten??o de ado??o de um Sistema de Informa??es aplicado ao Ensino Superior (SIE), em um ambiente de uso obrigat?rio, a ser utilizado no processo de compras da Universidade Federal do Par? (UFPA). Para tanto, foi utilizado um modelo adaptado de aceita??o/uso da tecnologia da informa??o (TAM), considerando as cren?as normativas e comportamentais como antecedentes da inten??o comportamental de ado??o do referido sistema. Para a consecu??o do objetivo da pesquisa, foi realizado um levantamento de dados (survey) de natureza quantitativa, atrav?s da aplica??o de um question?rio estruturado em uma amostra de 96 servidores t?cnicos administrativos da institui??o pesquisada. Para a an?lise dos dados, foi utilizada a modelagem de equa??es estruturais (MEE), por meio do m?todo dos m?nimos quadrados parciais por modelagem de caminhos (Partial Least Square Path Modeling PLS-PM). Quanto aos resultados, os construtos atitude e normas subjetivas confirmaram-se como fortes preditores da inten??o comportamental, em uma fase de pr?-ado??o. Apesar do SIE ser de uso obrigat?rio, o construto voluntariedade percebida tamb?m prediz a inten??o de uso. Em rela??o ? atitude, as vari?veis cl?ssicas do TAM, como a facilidade de uso e a utilidade percebida, aparecem como principais influenciadores da atitude frente ao sistema. Espera-se que os resultados deste estudo possam prover subs?dios para uma gest?o mais eficaz do processo de implementa??o de sistemas e tecnologias de informa??o, particularmente em universidades p?blicas