In order to make the product more reliable and efficient, the failures and their occurrence related to the products should be reduced if not eliminated. To achieve that, the approach of Failure Modes Effects Analysis (FMEA) is used in the process development phase where all the aspects of the product failure are generated and studied. With the passage of time the systems began to become more complex and alone FMEA not good enough approach for the complex systems. To handle a complex system is a hard and tedious job which requires more expertise. In complex systems the individual system might have overlaps, their boundaries are often unclear. The computation of information and its transmission between the components is extensive. Object Oriented FMEA resolves these issues by identifying the structure and screening a proper boundary of the system. It looks deeply in to the operational environment and external shared resources. It then decomposes its functions and behaviors in to separable physical, logical and attributes objects. The OO-FMEA approach obeys to the objectives of modern product development process and its principles. This approach makes it comparatively much easier to analyze the complex auto-motive systems that are built in extensive electrical architecture. The systems components perform their task while being interacted, linked or even independent. In this thesis the OO-FMEA approach is implemented on the Climate System of the SPA Hybrid.

<p>This report discusses various issues regarding the development of a software license handling utility, able to be distributed via the web in a convenient manner. The work was done at one of the world’s leading suppliers of radiology image management systems, Sectra Imtec AB in Linköping. The application should solve some awkward steps when new workstations are to be added to the Sectra system. Instead of</p><p>manually adding information, the application should collect and present only the absolute minimum of information in order to complete the task. One task was to read and store the hardware ID of the client computer and another task was to connect to a management server and collect information about available licenses and present those to the user. Finally the utility should be able to update the server with the choices of the user. During the project some lessons were learned regarding security and web distribution of active content but apart from that the project went on as expected.</p>

This report discusses various issues regarding the development of a software license handling utility, able to be distributed via the web in a convenient manner. The work was done at one of the world’s leading suppliers of radiology image management systems, Sectra Imtec AB in Linköping. The application should solve some awkward steps when new workstations are to be added to the Sectra system. Instead of manually adding information, the application should collect and present only the absolute minimum of information in order to complete the task. One task was to read and store the hardware ID of the client computer and another task was to connect to a management server and collect information about available licenses and present those to the user. Finally the utility should be able to update the server with the choices of the user. During the project some lessons were learned regarding security and web distribution of active content but apart from that the project went on as expected.

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2015-03-06T19:38:17Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T19:38:17Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T17:08:03Z No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-04T17:08:03Z (GMT). No. of bitstreams: 2 DISSERTACAO_DIGITAL_ALMIR_BUARQUE_FEV_2012.pdf: 7439176 bytes, checksum: 3b4db72fb5cc5f5cf69bc769fc7dc50e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / SERPRO / Nos últimos anos, o paradigma de desenvolvimento de software dirigido a modelos tem se consolidado e ganho popularidade. Desta forma, um produto de software pode ser obtido através de transformações dos modelos de mais alto nível de abstração para os de mais baixo nível, sendo essa transformação guiada por metamodelos. Por exemplo, requisitos iniciais de um sistema de software podem ser transformados em modelos conceituais deste sistema. Observamos que, tanto a abordagem de modelagem de requisitos i* (iStar) como a linguagem de modelagem conceitual OO-Method (OO-M), têm ganho notoriedade no âmbito acadêmico e industrial. Nesta dissertação, estamos interessados em transformar modelos de requisitos iniciais, descritos em i*, em modelos conceituais especificados em OO-Method. Em particular, investigaremos como os requisitos não-funcionais (NFR) de produto, relacionados a softgoals internos a um ator sistema do i*, poderão ser analisados nas abordagens que transformam modelos de requisitos i* em modelos conceituais descritos em OO-Method. Erros e omissões dos requisitos não-funcionais têm impacto bastante negativo na qualidade do produto final: custos elevados de correção pós-implantação e inviabilização do projeto de software. Esses requisitos estão entre os mais caros e difíceis de corrigir. Nesta dissertação, é apresentada a proposta OOM-NFR, que analisa os softgoals internos a um ator sistema em modelos i* para verificar conflitos, prioridades e satisfação dos mesmos. Além disso, com base nos metamodelos i* de origem e OO-Method de destino, a proposta especifica um processo de transformação contendo regras que convertem uma instância de um modelo i* em outra instância do modelo OO-Method. Com o processo OOM-NFR, o modelo OO-M gerado reflete as prioridades dos softgoals especificados em i*. Para ilustrar e validar a proposta, foi concebido um exemplo de uma aplicação baseada num sistema real, utilizando-se a linguagem de transformação de modelos Query/View/Transformation (QVT) para automatizar e implementar essas transformações.

Frameworks have been used since the early eighties. Now that frameworks are becoming increasingly popular, several problems are surfacing. Those problems can be categorized into evolution problems (i.e. problems with changes over time) and composition problems (i.e. problems that occur when more than one framework is used in an application). This master thesis focusses on preventing these problems in an early stage in the development of a framework. Guidelines for building OO Frameworks are presented and the guidelines are tried out in the domain of communication protocols.

O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. / The development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutation-based criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -- with the definition of testing criteria; empirical -- with the conduction of empirical studies; and to testing automation -- with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work.

Computer software is ubiquitous. More than 35 × 10 18 computer instructions are executed around the globe each second. As computers dominate more aspects of our lives, there is a growing need to reason more accurately about computer software. Most contemporary computer software is written using object-oriented (OO) programming languages, such as J AVA, C#, and C++. How should we mathematically characterize object-oriented software? This is the question this thesis addresses by presenting an accurate domain-theoretic model of mainstream object-oriented programming. Mainstream object-oriented languages are class-based. In such languages, the name of a class is part of the meaning of an object, a property often called "nominality". Most mainstream OO languages also conform to a static type discipline. Hence, the focus of this thesis is the construction of an accurate model of nominal, statically-typed OO languages. In statically-typed nominal OO languages, class names are also part of the meaning of corresponding class types, and class inheritance (subclassing) is explicitly declared; one class is a subclass of another only if it is declared as such. When static type systems are formulated to describe sets of objects, subtyping is defined so that subclassing is consistent with subtyping. Nevertheless, some programming languages (PL) theoreticians dismiss this identification as a design error because the only published models of OO languages exclude nominal information from objects and define subtyping in a way that ignores nominality. In nominal OO languages, program behavior depends on the nominal information embedded in objects. This thesis builds a model of OO languages called NOOP that includes nominal information and defines static types in accord with mainstream OO language designs. In NOOP , the meaning of every object includes its class name. Similarly, types are defined such that objects belong to a particular class type if and only if they are members of classes that inherit from the class corresponding to the class type. To demonstrate the utility of the model, we show that in NOOP inheritance and OO subtyping coincide. This work shows that mainstream OO languages are not technically defective in identifying inheritance and subtyping. In models that include nominal information and define types that respect nominal information, this identification is mathematically correct. The folklore among OO programming language researchers that "inheritance is not subtyping" is incorrect.

O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. / The development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutation-based criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -- with the definition of testing criteria; empirical -- with the conduction of empirical studies; and to testing automation -- with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work.

Um processo para o desenvolvimento de frameworks para sistemas de informação baseados na Web é proposto. Esse processo é composto pelos subprocessos de engenharia reversa de sistemas baseados na Web, de criação de uma linguagem de padrões e de construção e instanciação do framework. O subprocesso de engenharia reversa utiliza sistemas presentes na Web para derivar um modelo do domínio de aplicação. O desenvolvimento da linguagem de padrões é baseado no modelo do domínio e a construção do framework utiliza essa linguagem de padrões como base de todo o processo. Os produtos resultantes do uso desse processo para o domínio dos leilões virtuais, a Linguagem de Padrões LV e o Framework Qd+, também são apresentados. / A process for the development of web-based information systems frameworks is proposed. This process comprises a reverse engineering - for web-based information systems -, a pattern language creation, and a framework instantiation subprocesses. The reverse engineering subprocess uses existing WISs to derive an application domain model. The pattern language is created from the application domain model and the framework is developed from this pattern language. The deliverables of the application of this process to the online auctions domain, the Pattern Language for Online Auctions and the Qd+ Framework, are also presented.