Automated Software Testing in Machine Automation

The problem of software (SW) defaults is becoming more and more topical because of increasing amount of the SW and its complication. The majority of these defaults are founded during the test part that consumes about 40-50% of the development efforts. Test automation allows reducing the cost of this process and increasing testing effectiveness. In the middle of 1980 the first tools for automated testing appeared and the automated process was implemented in different kinds of SW testing. In short time, it became obviously, automated testing can cause many problems such as increasing product cost, decreasing reliability and even project fail. This thesis describes automated testing process, its concept, lists main problems, and gives an algorithm for automated test tools selection. Also this work presents an overview of the main automated test tools for embedded systems.

Integrating user experience into early phases of software development

The value and benefits of user experience (UX) are widely recognized in the modern world and UX is seen as an integral part of many fields. This dissertation integrates UX and understanding end users with the early phases of software development. The concept of UX is still unclear, as witnessed by more than twenty-five definitions and ongoing argument about its different aspects and attributes. This missing consensus forms a problem in creating a link between UX and software development: How to take the UX of end users into account when it is unclear for software developers what UX stands for the end users. Furthermore, currently known methods to estimate, evaluate and analyse UX during software development are biased in favor of the phases where something concrete and tangible already exists. It would be beneficial to further elaborate on UX in the beginning phases of software development. Theoretical knowledge from the fields of UX and software development is presented and linked with surveyed and analysed UX attribute information from end users and UX professionals. Composing the surveys around the identified 21 UX attributes is described and the results are analysed in conjunction with end user demographics. Finally the utilization of the gained results is explained with a proof of concept utility, the Wizard of UX, which demonstrates how UX can be integrated into early phases of software development. The process of designing, prototyping and testing this utility is an integral part of this dissertation. The analyses show statistically significant dependencies between appreciation towards UX attributes and surveyed end user demographics. In addition, tests conducted by software developers and industrial UX designer both indicate the benefits and necessity of the prototyped Wizard of UX utility. According to the conducted tests, this utility meets the requirements set for it: It provides a way for software developers to raise their know-how of UX and a possibility to consider the UX of end users with statistical user profiles during the early phases of software development. This dissertation produces new and relevant information for the UX and software development communities by demonstrating that it is possible to integrate UX as a part of the early phases of software development.

L'Indicateur des locations : guides des locataires : publication spéciale des annonces de ventes d'immeubles, renseignements et avis divers ...

1862/07/15 (N1)-1862/07/30.

L'Indicateur des locations : guides des locataires : publication spéciale des annonces de ventes d'immeubles, renseignements et avis divers ...

1862/08/01 (N2)-1862/08/15.

L'Indicateur des locations : guides des locataires : publication spéciale des annonces de ventes d'immeubles, renseignements et avis divers ...

Etat de collection : juillet 1862 (n° 1-30). août 1862 (n° 2-15)

Avaliação hidráulica de um sistema de irrigação localizada de baixa pressão, projetado pelo software "bubbler"

Conduziu-se este trabalho com o objetivo de avaliar o desempenho de um sistema de irrigação a baixa pressão, bubbler, em condições de campo. A avaliação consistiu de um estudo dividido em duas fases, em que, na primeira, foi elaborado o dimensionamento hidráulico do sistema de irrigação, com uso do programa computacional Bubbler versão 1.1, enquanto, na segunda fase, ocorreram a instalação e os testes de campo. Estabeleceram-se as alturas de 0,77; 0,71; 0,68 e 0,67 m na saída das mangueiras emissoras no campo, conforme recomendação do programa. Foram feitas as avaliações de vazão em cada mangueira emissora, para determinar o Coeficiente de Uniformidade de Christiansen (CUC), a Uniformidade de Distribuição (UD) e a Eficiência de Aplicação (EA). Os testes mostraram CUC igual a 96,64%, UD igual a 95,85% e EA igual a 86,98%. O sistema no campo proporcionou vazão média de 64,8 L h-1 contra os 79,2 L h-1 estabelecidos pelo programa. Os valores encontrados de vazão diferiram dos valores projetados pelo aplicativo, em conseqüência da variação dos diâmetros e das perdas de carga (linear e localizada) que apresentaram desvio-padrão de 0,23 m.

Software para o planejamento e a racionalização do uso de sistemas de terraceamento em nível

O desenvolvimento de técnicas que permitam o aumento da eficiência de práticas de conservação do solo é necessário frente aos grandes prejuízos causados pela erosão. Nesse sentido, elaborou-se um software que utiliza bases de dados geradas em um Sistema de Informações Geográficas e que permite o dimensionamento de sistemas de terraceamento em nível de maneira mais racional, considerando as variações espaciais existentes no terreno. Como dados de entrada ao software, devem ser fornecidas imagens de elevação e declividade e, ainda, características de tipo, uso e manejo do solo, a metodologia para o cálculo do espaçamento entre terraços e a recomendação para a escolha do tipo de terraço mais aconselhado. Como resultados, o software fornece uma imagem com o sistema de terraceamento locado, que pode ser salva em diferentes formatos, bem como um relatório, que poderá ser impresso e usado juntamente com a imagem para a implantação do sistema.

On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Episodes in carbohydrate chemistry : from β-linked mannosides to glycoconjugates

Carbohydrates are one of the most abundant classes of biomolecules on earth. In the initial stages of research on carbohydrates much effort was focused on investigation and determination of the structural aspects and complex nature of individual monosaccharides. Later on, development of protective group strategies and methods for oligosaccharide synthesis became the main topics of research. Today, the methodologies developed early on are being utilized in the production of carbohydrates for biological screening events. This multidisciplinary approach has generated the new discipline of glycobiology which focuses on research related to the appearance and biological significance of carbohydrates. In more detail, studies in glycobiology have revealed the essential roles of carbohydrates in cell-cell interactions, biological recognition events, protein folding, cell growth and tumor cell metastasis. As a result of these studies, carbohydrate derived diagnostic and therapeutic agents are likely to be of growing interest in the future. In this doctoral thesis, a journey through the fundamentals of carbohydrate synthesis is presented. The research conducted on this journey was neither limited to the study of any particular phenomena nor to the addressing of a single synthetic challenge. Instead, the focus was deliberately shifted from time to time in order to broaden the scope of the thesis, to continue the learning process and to explore new areas of carbohydrate research. Throughout the work, several previously reported synthetic protocols, especially procedures related to glycosylation reactions and protective group manipulations, were evaluated, modified and utilized or rejected. The synthetic molecules targeted within this thesis were either required for biological evaluations or utilized to study phenomena occuring in larger molecules. In addition, much effort was invested in the complete structural characterization of the synthesized compounds by a combination of NMR spectroscopic techniques and spectral simulations with the PERCH-software. This thesis provides the basics of working with carbohydrate chemistry. In more detail, synthetic strategies and experimental procedures for many different reactions and guidelines for the NMR-spectroscopic characterization of oligosaccharides and glycoconjugates are provided. Therefore, the thesis should prove valuable to researchers starting their own journeys in the ever expanding field of carbohydrate chemistry.

Desenvolvimento de software e hardware para irrigação de precisão usando pivô central

O presente trabalho teve por objetivo desenvolver softwares e hardwares para aplicação ao monitoramento e controle automático para a irrigação de precisão usando sistemas do tipo pivô central. O trabalho foi desenvolvido no Departamento de Engenharia Rural - LER, da Escola Superior de Agricultura "Luiz de Queiroz" - ESALQ, da Universidade de São Paulo - USP, em Piracicaba - SP. Foram utilizados componentes eletrônicos discretos, circuitos integrados diversos, módulos de radiofreqüência, microcontroladores da família Basic Step e um microcomputador. Foram utilizadas as linguagens Delphi e TBasic. O hardware é constituído de dois circuitos eletrônicos, sendo um deles para "interface" com o computador e o outro para monitoramento e transmissão da leitura de tensiômetros para o computador via radiofreqüência. Foram feitas avaliações do alcance e da eficiência na transmissão de dados dos módulos de radiofreqüência e do desempenho do software e do hardware. Os resultados mostraram que tanto os circuitos quanto os aplicativos desenvolvidos apresentaram funcionamento satisfatório. Os testes de comunicação dos rádios indicaram que esses possuem alcance máximo de 50 m. Concluiu-se que o sistema desenvolvido tem grande potencial para utilização em sistemas de irrigação de precisão usando pivô central, bastando para isso que o alcance dos rádios seja aumentado.

Software Security Vulnerabilities in Mobile Peer-to-peer Environment

Increase of computational power and emergence of new computer technologies led to popularity of local communications between personal trusted devices. By-turn, it led to emergence of security problems related to user data utilized in such communications. One of the main aspects of the data security assurance is security of software operating on mobile devices. The aim of this work was to analyze security threats to PeerHood, software intended for performing personal communications between mobile devices regardless of underlying network technologies. To reach this goal, risk-based software security testing was performed. The results of the testing showed that the project has several security vulnerabilities. So PeerHood cannot be considered as a secure software. The analysis made in the work is the first step towards the further implementation of PeerHood security mechanisms, as well as taking into account security in the development process of this project.

PRAPRAG: software para planejamento racional de máquinas agrícolas

O software PRAPRAG é uma ferramenta de escolha de máquinas e implementos agrícolas que apresentam o menor custo por área ou por quantidade produzida, bem como, faz o planejamento de aquisição das máquinas para a propriedade agrícola, do ponto de vista técnico e econômico. Foi utilizada a linguagem de programação Borland Delphi 3.0 e, a partir de prospectos das máquinas e implementos, criou-se um banco de dados onde o usuário pode cadastrar e modificar suas características de uso. O software mostrou-se uma ferramenta útil e uso amigável. O software proporciona maior rapidez, segurança e confiabilidade ao processo produtivo e econômico das propriedades, na seleção e aquisição de conjuntos mecanizados agrícolas, e na determinação de custos com a mão de obra utilizada.

Software para estimativa do custo operacional de máquinas agrícolas - MAQCONTROL

A seleção e a otimização de sistemas mecanizados são os principais objetivos da mecanização racional. Não é suficiente uma compra adequada do maquinário agrícola se sua utilização não for controlada em aspectos operacionais e financeiros. Neste trabalho, é descrito o desenvolvimento de software para estimativa do custo operacional de máquinas agrícolas (MAQCONTROL), utilizando o ambiente de desenvolvimento Borland Delphi e o banco de dados Firebird. Os custos operacionais foram divididos em fixos e variáveis. Nos custos fixos, foram estimadas as despesas com depreciação, juros, alojamento e seguros. Nos custos variáveis, foi dada ênfase aos custos de manutenção como: óleos lubrificantes, filtros, pneus, graxa, combustível, pequenos reparos e troca de peças. Os resultados demonstraram a eficiência do software para os objetivos propostos. Assim, o MAQCONTROL pode ser uma importante ferramenta no processo de administração rural, pois reduz os custos da informação e agiliza a determinação precisa dos custos operacionais de máquinas agrícolas.

Software for calculation of reservoir active capacity with the sequent-peak algorithm

It is presented a software developed with Delphi programming language to compute the reservoir's annual regulated active storage, based on the sequent-peak algorithm. Mathematical models used for that purpose generally require extended hydrological series. Usually, the analysis of those series is performed with spreadsheets or graphical representations. Based on that, it was developed a software for calculation of reservoir active capacity. An example calculation is shown by 30-years (from 1977 to 2009) monthly mean flow historical data, from Corrente River, located at São Francisco River Basin, Brazil. As an additional tool, an interface was developed to manage water resources, helping to manipulate data and to point out information that it would be of interest to the user. Moreover, with that interface irrigation districts where water consumption is higher can be analyzed as a function of specific seasonal water demands situations. From a practical application, it is possible to conclude that the program provides the calculation originally proposed. It was designed to keep information organized and retrievable at any time, and to show simulation on seasonal water demands throughout the year, contributing with the elements of study concerning reservoir projects. This program, with its functionality, is an important tool for decision making in the water resources management.