Prueba funcional del software. Un proceso de verificación constante

En este libro se describen conceptos específicos para examinar los procesos de verificación del software, desde la perspectiva del análisis a varias propuestas que aplican la técnica Casos de prueba desde los casos de uso, e ilustra la estructura de un importante concepto en las pruebas del software: el esfuerzo de las pruebas se debe integrar linealmente al proceso de desarrollo del producto, desde las fases iniciales del ciclo de vida, para alcanzar logros eficientes y efectivos. Aislar el esfuerzo de la prueba en una caja negra para el final de ese ciclo es un error común y se debe evitar, porque se puede incurrir en un incremento en el tiempo de entrega y de los costos finales.El libro es el resultado de un proceso de investigación en el cual se evaluaron las propuestas recientes para diseñar casos de prueba para las pruebas funcionales del software. De la muestra inicial, se seleccionaron nueve, que posteriormente se aplicaron en un proceso experimental para validar, verificar y comparar la eficiencia y eficacia de los casos de prueba que estructuran y generan. Luego, se tomó los resultados para diseñar una nueva propuesta metodológica aprovechando las mejores prácticas de cada una. La nueva propuesta se describe y aplica a un estudio de caso, mediante el cual se realiza la prueba funcional del software a través de un proceso de verificación paralelo a la Ingeniería de Requisitos.Extendemos nuestros agradecimiento en este proceso.This book describes specific concepts for examining software verification processes, from an analysis perspective to various proposals that apply the Test Cases technique from use cases, and illustrates the structure of an important concept in software testing. - The testing effort must be linearly integrated into the product development process, from the initial phases of the life cycle, to achieve efficient and effective achievements. Isolating the testing effort in a black box for the end of that cycle is a common mistake and should be avoided, because it may incur an increase in lead time and final costs. The book is the result of a research process in which recent proposals to design test cases for functional software testing were evaluated. From the initial sample, nine were selected, which were subsequently applied in an experimental process to validate, verify and compare the efficiency and effectiveness of the test cases that they structure and generate. Then, the results were taken to design a new methodological proposal taking advantage of the best practices of each one. The new proposal is described and applied to a case study, through which the functional testing of the software is carried out through a verification process parallel to the Requirements Engineering. We extend our gratitude in this process

Performance Comparison of Projective Elliptic-curve Point Multiplication in 64-bit x86 Runtime Environment

For over two decades, mathematicians and cryptologists have evaluated and presented the theoretical performance of Elliptic-curve scalar point-multiplication in projective geometry. Because computation in projective domain is composed of a wide array of formulations and computing optimizations, there is not a comprehensive performance comparison of point-multiplication using projective transformation available to verify its realistic efficiency in 64-bit x86 computing platforms. Today, research on explicit mathematical formulations in projective domain continues to excel by seeking higher computational efficiency and ease of realization. An explicit performance evaluation will help implementers choose better implementation methods and improve Elliptic-curve scalar point-multiplication. This paper was founded on the practical solution that obtaining realistic performance figures should be based on more precise computational cost metrics and specific computing platforms. As part of that solution, an empirical performance benchmark comparison between two approaches implementing projective Elliptic-curve scalar point-multiplication will be presented to provide the selection of, and subsequently ways to improve scalar point-multiplication technology executing in a 64-bit x86 runtime environment

Proposition d'une méthode basée sur la création et l'utilisation d'artéfacts afin de résoudre des problèmes dans les cours d'introduction à la programmation

Nous pouvons voir le développement d'un logiciel selon deux perspectives. La première concerne le développement, par un programmeur ou une petite équipe de programmeurs, d'un petit logiciel, avec un utilisateur et un seul ordinateur. C'est ce qu'on appelle de la programmation à petite échelle (programming in the small). Ce genre de développement s'enseigne dans les cours de programmation en informatique (computer science). La deuxième perspective consiste à faire de la programmation à grande échelle avec plusieurs équipes de programmeurs, plusieurs fonctionnalités, plusieurs utilisateurs et même, parfois, plusieurs ordinateurs et serveurs. C'est ce qu'on appelle le génie logiciel (software engineering), qui s'enseigne dans des baccalauréats en génie logiciel. Même si beaucoup de progrès a été fait en génie logiciel, il reste qu'il existe encore des lacunes dans l'enseignement de cette discipline. Les difficultés se situent, entre autres, dans les cours d'introduction à la programmation. Il y a plusieurs façons d'enseigner le développement de logiciels. Cependant, peu importe celle qui est employée, la transition entre la programmation à petite échelle et la programmation à grande échelle n'est pas facile. Nous désirons donc créer une méthode qui favorise la résolution de problèmes, tout en facilitant la transition ultérieure vers les grands projets. Nous croyons également que la transition serait plus facile si ladite méthode de développement utilisait des principes de génie logiciel déjà utilisés et reconnus. C'est pourquoi nous avons tenu compte d'un corpus de connaissances en génie logiciel (Abran et aL, 2001) dans la construction de la méthode

Computer science and information technologies: Automation of information processing

The first volume in the new series " Automation of Information Processing""contains recent results of young researchers, most of them doctoral students at the University of Latvia. Though the topics of the papers are quite different, they are all centered around the problem of providing theory, methodology, development tools and supporting environment for the development of information systems. All the papers in the volume are related to the most up-to-date issues in the respective area