Formal specification-based monitoring, regression testing and aspects

Ph.DDOCTOR OF PHILOSOPH

Investigation of similarity-based test case selection for specification-based regression testing.

uring software maintenance, several modifications can be performed in a specification model in order to satisfy new requirements. Perform regression testing on modified software is known to be a costly and laborious task. Test case selection, test case prioritization, test suite minimisation,among other methods,aim to reduce these costs by selecting or prioritizing a subset of test cases so that less time, effort and thus money are involved in performing regression testing. In this doctorate research, we explore the general problem of automatically selecting test cases in a model-based testing (MBT) process where specification models were modified. Our technique, named Similarity Approach for Regression Testing (SART), selects subset of test cases traversing modified regions of a software system’s specification model. That strategy relies on similarity-based test case selection where similarities between test cases from different software versions are analysed to identify modified elements in a model. In addition, we propose an evaluation approach named Search Based Model Generation for Technology Evaluation (SBMTE) that is based on stochastic model generation and search-based techniques to generate large samples of realistic models to allow experiments with model-based techniques. Based on SBMTE,researchers are able to develop model generator tools to create a space of models based on statistics from real industrial models, and eventually generate samples from that space in order to perform experiments. Here we developed a generator to create instances of Annotated Labelled Transitions Systems (ALTS), to be used as input for our MBT process and then perform an experiment with SART.In this experiment, we were able to conclude that SART’s percentage of test suite size reduction is robust and able to select a sub set with an average of 92% less test cases, while ensuring coverage of all model modification and revealing defects linked to model modifications. Both SART and our experiment are executable through the LTS-BT tool, enabling researchers to use our selections trategy andr eproduce our experiment.During software maintenance, several modifications can be performed in a specification model in order to satisfy new requirements. Perform regression testing on modified software is known to be a costly and laborious task. Test case selection, test case prioritization, test suite minimisation,among other methods,aim to reduce these costs by selecting or prioritizing a subset of test cases so that less time, effort and thus money are involved in performing regression testing. In this doctorate research, we explore the general problem of automatically selecting test cases in a model-based testing (MBT) process where specification models were modified. Our technique, named Similarity Approach for Regression Testing (SART), selects subset of test cases traversing modified regions of a software system’s specification model. That strategy relies on similarity-based test case selection where similarities between test cases from different software versions are analysed to identify modified elements in a model. In addition, we propose an evaluation approach named Search Based Model Generation for Technology Evaluation (SBMTE) that is based on stochastic model generation and search-based techniques to generate large samples of realistic models to allow experiments with model-based techniques. Based on SBMTE,researchers are able to develop model generator tools to create a space of models based on statistics from real industrial models, and eventually generate samples from that space in order to perform experiments. Here we developed a generator to create instances of Annotated Labelled Transitions Systems (ALTS), to be used as input for our MBT process and then perform an experiment with SART.In this experiment, we were able to conclude that SART’s percentage of test suite size reduction is robust and able to select a sub set with an average of 92% less test cases, while ensuring coverage of all model modification and revealing defects linked to model modifications. Both SART and our experiment are executable through the LTS-BT tool, enabling researchers to use our selections trategy andr eproduce our experiment

Abstracts of papers submitted in 1987 for publication

This volume contains all abstracts submitted for publication during calendar year 1987 by the staff and students of the Woods Hole Oceanographic Institution. Because some of the abstracts may not be published in the journal to which they have been submitted initially, we have purposely omitted identifying the journals. The volume is intended to be informative, but not a bibliography

FORMAL ANALYSIS OF WEB SERVICE COMPOSITION

Ph.DDOCTOR OF PHILOSOPH

BIM in the construction industry

En las últimas décadas, el término modelado de información de construcción (BIM) se ha mencionado en una amplia gama de esfuerzos de investigación de la construcción. BIM es una nueva solución para la recesión sin precedentes en la industria de la construcción, es decir, pérdida de productividad, escasez de mano de obra, sobrecostos y competitividad severa. La tecnología BIM proporciona muchos beneficios: detección rápida de conflictos de diseño, regulación automática de diseño algoritmo de verificación, visualización de realidad virtual/aumentada y entorno de trabajo de colaboración. BIM los expertos, así como los profesionales de la industria, enfatizan la importancia de las aplicaciones BIM en el campo de construcción. Dado el rápido desarrollo y adopción de BIM en la arquitectura, ingeniería, y construcción (AEC), están surgiendo nuevas tendencias relevantes para la investigación de BIM, siendo sumamente útil no sólo para los académicos sino también para los profesionales.In recent decades, the term building information modeling (BIM) has been mentioned in a wide range of construction research endeavors. BIM is a new solution for unprecedented recession in the construction industry, i.e., productivity loss, labor shortage, cost overrun, and severe competitiveness. BIM technology provides many benefits: prompt design clash detection, automatic deign regulatory check algorithm, augmented/virtual reality visualization, and collaboration work environment. BIM experts as well as industry practitioners are stressing the importance of BIM applications in the field of construction. Given the rapid development and adoption of BIM in the architecture, engineering, and construction (AEC) industry, new trends relevant to the research of BIM are emerging, being exceedingly helpful not only for academics but also for practitioners

First International Conference on Laboratory Research for Planetary Atmospheres

Proceedings of the First International Conference on Laboratory Research for Planetary Atmospheres are presented. The covered areas of research include: photon spectroscopy, chemical kinetics, thermodynamics, and charged particle interactions. This report contains the 12 invited papers, 27 contributed poster papers, and 5 plenary review papers presented at the conference. A list of attendees and a reprint of the Report of the Subgroup on Strategies for Planetary Atmospheres Exploration (SPASE) are provided in two appendices

Environmental Sciences Division: Summaries of research in FY 1996

This document describes the Fiscal Year 1996 activities and products of the Environmental Sciences Division, Office of Biological and Environmental Research, Office of Energy Research. The report is organized into four main sections. The introduction identifies the basic program structure, describes the programs of the Environmental Sciences Division, and provides the level of effort for each program area. The research areas and project descriptions section gives program contact information, and provides descriptions of individual research projects including: three-year funding history, research objective and approach used in each project, and results to date. Appendixes provide postal and e-mail addresses for principal investigators and define acronyms used in the text. The indexes provide indexes of principal investigators, research institutions, and keywords for easy reference. Research projects are related to climatic change and remedial action