En este trabajo de tesis presentamos una estrategia para identificar las características transversales utilizando el Léxico Extendido del Lenguaje (LEL). La estrategia identifica características transversales en una forma similar a la que son identificados en los requerimientos. Sin embargo, mientras las técnicas tradicionales se basan en las acciones, la estrategia propuesta se basa en estados (aunque también utiliza sustantivos y acciones). Debido a que la construcción del LEL se realiza tempranamente en el proceso de desarrollo del software, la estrategia propuesta detecta características transversales tan temprano como es posible y esto redunda en beneficios al evitar el retrabajo que pudiera ocasionar la detección a mitad del desarrollo. El lenguaje que utiliza para representar el conocimiento de la aplicación (LEL) posee buena expresividad, pero por sobre todo, utiliza el lenguaje conversacional sin utilizar ningún tipo de formalismo, lo cual redunda en beneficios para ser utilizado por todas las personas que participan del desarrollo de software. En esta tesis se muestra tanto la aplicabilidad como la efectividad de la estrategia propuesta. La aplicabilidad se ilustra a través de 3 ejemplos del mundo real. Se describe una pequeña aplicación bancaria que se utiliza para ejemplificar la estrategia y su aplicación. También se describen dos casos de estudios sobre aplicaciones de mediana magnitud. Ambos casos de estudios están basados en aplicaciones reales. Uno de ellos es una aplicación de control antievasión de impuestos y la otra es un portal web que publica noticias. Además, la presente tesis también describe un experimento que se llevó a cabo con el fin de mostrar la efectividad de la estrategia. El experimento fue planteado suficientemente realista y con una población de 20 sujetos como para obtener un muestreo de resultados suficiente. Por último, la tesis describe una herramienta que permite asistir en la aplicación de la estrategia propuesta.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-02-21T16:58:53Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação_SilviaVersaoFinal.pdf: 3562807 bytes, checksum: d273ad6c061161f899cab3d232a82a79 (MD5) / Made available in DSpace on 2017-02-21T16:58:54Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação_SilviaVersaoFinal.pdf: 3562807 bytes, checksum: d273ad6c061161f899cab3d232a82a79 (MD5) Previous issue date: 2016-08-01 / FACEPE / Contexto: A fase de especificação de requisitos é fundamental no processo de desenvolvimento de software. O uso de cenários é bastante popular para especificar requisitos, por serem descritos em linguagem natural. No entanto, a linguagem natural dá margem a requisitos ambíguos, incompletos e inconsistentes, o que vai de encontro com os objetivos da fase de especificação de requisitos. Nesse sentido, uma técnica baseada em Cenário & LEL (Language Extended Lexicon), chamada de C&L, pode ser a solução adequada, pois LEL é um glossário que define um conjunto de palavras que pertencem a um domínio e que devem ser usadas para descrever os cenários. Assim, C&L é considerada uma técnica de cenários baseada em linguagem natural controlada que ajuda a minimizar os problemas previamente mencionados, além de poder ser utilizada para criar casos de teste de forma mais sistemática. Objetivo: Neste trabalho, são propostas duas abordagens: a primeira abordagem usa regras de mapeamento para derivar modelos statechart a partir de C&L visando verificar a completude e consistência desses cenários e a segunda usa heurísticas para obter sistematicamente casos de teste a partir de modelos statechart. Método: A pesquisa apresentada nessa dissertação seguiu a abordagem de Engenharia para definir as regras de mapeamento e as heurísticas que, por sua vez, foram avaliadas empiricamente. Resultados: As regras de mapeamento apoiam a derivação de statechart a partir de C&L. As heurísticas apoiam a derivação de casos de teste a partir dos modelos statechart. Foi realizado um experimento para comparar o número de erros de incompletude e inconsistência detectados pelos grupos experimental e controle e o tempo gasto pelos grupos para detectar esses erros. Também foi verificado se os statecharts gerados através da aplicação das regras de mapeamento possuem grau de corretude e semelhança. Foi realizada uma avaliação qualitativa das heurísticas utilizadas para derivar os casos de teste, com o intuito de saber se as heurísticas foram utilizadas corretamente, se estão claras e são fáceis de usar. Conclusões: Os resultados do experimento mostram que o número de erros de incompletude detectados pelo grupo experimental foi superior ao número obtido pelo grupo controle e em relação aos erros de inconsistência não houve diferença entre quantidade de erros detectados pelos dois grupos. Além disso, a média do tempo gasto para identificar erros de incompletude e inconsistência pelo grupo experimental foi ligeiramente superior a média do tempo gasto pelo grupo controle. Em relação ao grau de corretude, dentre os modelos gerados pelo grupo experimental, existe um que apresenta o maior grau de corretude com 85,7%. No entanto, o grau de semelhança entre os modelos é considerado de “baixa semelhança”. O resultado da avaliação qualitativa mostrou que os participantes concordaram que as regras de mapeamento e as heurísticas são compreensíveis e fáceis de utilizar. Também foi observado que as heurísticas foram usadas de maneira correta na derivação dos casos de teste. / Context: The requirements specification phase is fundamental in the software development process. The use of scenarios is quite popular to specify requirements because they are described in natural language. However, natural language gives rise to ambiguous, incomplete and inconsistent requirements, jeopardizes the objectives of the requirements specification phase. In this context, a technique based on Scenarios and LEL (Language Extended Lexicon), called C&L, may be an appropriate solution because LEL is a glossary that defines a set of words that belong to a domain and should be used to describe the scenarios. Thus, C&L is a scenario technique based on controlled natural language that helps to minimize the problems previously mentioned, and can be used to create test cases in a more systematic way. Objective: In this study, two approaches are proposed: the first approach uses mapping rules to derive statechart models from C & L in order to verify the completeness and consistency of these scenarios and the second uses heuristics to systematically derive test cases from statechart models. Method: The research presented in this work follows the engineering approach to define the mapping rules and heuristics that, in turn, were empirically evaluated. Results: Mapping rules support the derivation of statechart from C & L. Heuristics support the derivation of test cases from statechart models. An experiment was conducted to compare the number of incompleteness and inconsistency errors detected by the experimental and control the groups and the time spent by groups to detect these errors. Also it was verified whether the statecharts generated by the application of the mapping rules have degree of correctness and likeness. A qualitative evaluation of the heuristics used to derive the test cases was made, in order to know whether the heuristics were correctly used and if they are clear and easy to use. Conclusions: The results of the experiment show that the number of incompleteness errors detected by the experimental group was higher than the number obtained by the control group, and in relation to inconsistency errors, there was no difference among the number of errors detected by the two groups. Furthermore, the average time spent to identify incompleteness and inconsistency errors by the experimental group was slightly higher than the average time spent by the control group. In relation to the degree of correctness among the models generated by the experimental group, there is one that has the highest degree of correctness with 85.7%. However, the degree of similarity between the models is considered "low similarity”. The result of the qualitative evaluation showed that the participants agreed that the mapping rules and heuristics are comprehensible and easy to use. It was also observed that the heuristics were used correctly in the derivation of test cases.

El software generalmente permite a diferentes tipos de usuarios interactuar con complejos sistemas de información, por eso es razonable que surjan muchos aspectos diferentes y no relacionados. Muchos de ellos son inherentes a las aplicaciones en general, tales como la persistencia, la seguridad y la privacidad; otras se relacionan al dominio específico del problema. La única manera de tratar con éstos aspectos es poder identificarlos y modularizarlos correctamente, entender los impactos y relaciones entre ellos y sus relaciones con los artefactos de diseño que los representan, independientemente de su naturaleza (funcional o no funcional). Leite propone elicitar requerimientos en dos etapas. Primero sugiere comprender el lenguaje del dominio del problema y luego comprender la dinámica de éste. Para atacar la comprensión del lenguaje del dominio desarrolló el LEL (Léxico Extendido del Lenguaje). Esta técnica resulta apropiada tanto para el Ingeniero de Requerimientos como para el experto del dominio, básicamente porque utiliza lenguaje natural comprensible por ambos. Este trabajo, enmarcado dentro de la Early Aspect community (<a href="http://www.early-aspects.net">http://www.early-aspects.net</a>), propone entender el lenguaje del problema antes de entender el problema mismo, utilizando como herramienta para capturarlo el LEL (Language Extended Lexicon), y así lograr la identificación temprana de aspectos y sus posibles encruzamientos.

Aujourd'hui, les Lasers à Electrons Libres (LELs) en simple passage permettent d'étudier la structure de la matière dans le domaine de la femtoseconde. Cependant, le rayonnement produit, l'émission spontanée auto-amplifiée (SASE), bien que hautement brillante, possède une cohérence longitudinale partielle ; les profils temporel et spectral sont composés d'une série de pics, appelés « spikes », et présentent d'importantes fluctuations statistiques. Nous démontrons ici la forte amplification cohérente de la 5ème harmonique d'un laser Ti: Sa (800 nm, 10 Hz, 100 fs) générée dans une cellule de gaz, i.e. 160 nm, puis injectée dans un LEL. Ce phénomène spectaculaire s'accompagne de la génération d'Harmoniques Non Linéaires LELs (HNL) intenses et cohérentes à 54 nm et 32 nm. L'expérience a été réalisée sur le prototype de l'accélérateur SCSS (source SASE compacte de SPring-8, Japon). Cette installation est principalement constituée d'un canon à électrons à cathode thermo-ionique, d'un LINAC et d'un onduleur sous vide (2 sections de 4,5 m de long), au niveau duquel la source externe harmonique est superposée transversalement, spectralement et temporellement avec le faisceau d'électrons (150 MeV, 10 Hz, 1 ps). Avec une seule section d'onduleur, le rayonnement à 160 nm en mode injecté atteint une intensité de trois ordres de grandeur supérieure à celle obtenue sans injection, et présente une distribution spectrale quasi-Gaussienne. De plus, la longueur de saturation du LEL est deux fois plus courte. Vu le faible niveau d'injection requis, une telle amplification couplée à des schémas HNL permettrait de générer des rayonnements X-mous totalement cohérents jusqu'à la « fenêtre de l'eau ».