31 research outputs found

    Ciclo de vida para el aprendizaje por compartición de conocimientos entre sistemas inteligentes autónomos

    Get PDF
    En este artículo se describe el trabajo de investigación que en la actualidad se está desarrollando dentro del área de “Sistemas Inteligentes Autónomos”. El objetivo principal de este trabajo es la continuación y profundización de la arquitectura LOPE (Learning by Observation in Planning Environments) con la incorporación de un ciclo de vida de aprendizaje compuesto de distintos layers que acompañan el aprendizaje del agente desde las teorías del creador, las teorías que se generan como producto de su entrenamiento y las que surgen de la interacción del agente con otros agentes y con el mundo de actuación.Eje: Procesamiento Concurrente, Paralelo y DistribuidoRed de Universidades con Carreras en Informática (RedUNCI

    Ciclo de vida para el aprendizaje por compartición de conocimientos entre sistemas inteligentes autónomos

    Get PDF
    En este artículo se describe el trabajo de investigación que en la actualidad se está desarrollando dentro del área de “Sistemas Inteligentes Autónomos”. El objetivo principal de este trabajo es la continuación y profundización de la arquitectura LOPE (Learning by Observation in Planning Environments) con la incorporación de un ciclo de vida de aprendizaje compuesto de distintos layers que acompañan el aprendizaje del agente desde las teorías del creador, las teorías que se generan como producto de su entrenamiento y las que surgen de la interacción del agente con otros agentes y con el mundo de actuación.Eje: Procesamiento Concurrente, Paralelo y DistribuidoRed de Universidades con Carreras en Informática (RedUNCI

    Ciclo de vida para el aprendizaje por compartición de conocimientos entre sistemas inteligentes autónomos

    Get PDF
    En este artículo se describe el trabajo de investigación que en la actualidad se está desarrollando dentro del área de “Sistemas Inteligentes Autónomos”. El objetivo principal de este trabajo es la continuación y profundización de la arquitectura LOPE (Learning by Observation in Planning Environments) con la incorporación de un ciclo de vida de aprendizaje compuesto de distintos layers que acompañan el aprendizaje del agente desde las teorías del creador, las teorías que se generan como producto de su entrenamiento y las que surgen de la interacción del agente con otros agentes y con el mundo de actuación.Eje: Procesamiento Concurrente, Paralelo y DistribuidoRed de Universidades con Carreras en Informática (RedUNCI

    Ontología para el aprendizaje y compartición de conocimientos entre sistemas autónomos

    Get PDF
    En el presente trabajo se presenta una propuesta de modelo de un Sistema Autónomo Inteligente (AIS) a través de una ontología sobre la base de la arquitectura LOPE-LC (Learning by Observation in Planning Environments, Life Cycle) con la incorporación de un ciclo de vida de aprendizaje compuesto de distintas layers que acompañan el aprendizaje y compartición de conocimiento entre AISs. Desde las teorías del creador, las teorías que se generan como producto de su entrenamiento y las que surgen de la interacción entre con el ambiente de su mundo de actuación y otros AISs. Se consideran desde la Ingeniería del Software los conceptos de ciclo de vida, arquitecturas y modelos. Desde la perspectiva de la Ingeniería del Conocimiento, la modelización de conocimiento a través de una ontología preliminar que represente al AIS para su actuación aprendizaje y compartición de conocimientos.This paper presents a proposal for a model of an Intelligent Autonomous System (AIS) by means of an ontology based on the architecture Lopes-LC (Learning by Observation in Planning Environments, Life Cycle) by adding a cycle life learning composed of different layers that go with learning and sharing knowledge between AIS. As from the theories of the creator, theories that are generated as a product of his training and those arising from the interaction with the environment of his world of action and other AISs. It was considered from the software engineering concepts lifecycle, architectures and models. From the perspective of knowledge engineering, knowledge modelling through a preliminary ontology representing the AIS for their action learning and sharing knowledge.Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

    Ontología para el aprendizaje y compartición de conocimientos entre sistemas autónomos

    Get PDF
    En el presente trabajo se presenta una propuesta de modelo de un Sistema Autónomo Inteligente (AIS) a través de una ontología sobre la base de la arquitectura LOPE-LC (Learning by Observation in Planning Environments, Life Cycle) con la incorporación de un ciclo de vida de aprendizaje compuesto de distintas layers que acompañan el aprendizaje y compartición de conocimiento entre AISs. Desde las teorías del creador, las teorías que se generan como producto de su entrenamiento y las que surgen de la interacción entre con el ambiente de su mundo de actuación y otros AISs. Se consideran desde la Ingeniería del Software los conceptos de ciclo de vida, arquitecturas y modelos. Desde la perspectiva de la Ingeniería del Conocimiento, la modelización de conocimiento a través de una ontología preliminar que represente al AIS para su actuación aprendizaje y compartición de conocimientos.This paper presents a proposal for a model of an Intelligent Autonomous System (AIS) by means of an ontology based on the architecture Lopes-LC (Learning by Observation in Planning Environments, Life Cycle) by adding a cycle life learning composed of different layers that go with learning and sharing knowledge between AIS. As from the theories of the creator, theories that are generated as a product of his training and those arising from the interaction with the environment of his world of action and other AISs. It was considered from the software engineering concepts lifecycle, architectures and models. From the perspective of knowledge engineering, knowledge modelling through a preliminary ontology representing the AIS for their action learning and sharing knowledge.Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

    Metamorphic Testing of Navigation Software: A Pilot Study with Google Maps

    Get PDF
    Millions of people use navigation software every day to commute and travel. In addition, many systems rely upon the correctness of navigation software to function, ranging from directions applications to self-driving machinery. Navigation software is difficult to test because it is hard or very expensive to evaluate its output. This difficulty is generally known as the oracle problem, a fundamental challenge in software testing. In this study, we propose a metamorphic testing strategy to alleviate the oracle problem in testing navigation software, and conduct a case study by testing the Google Maps mobile app, its web service API, and its graphical user interface. The results show that our strategy is effective with the detection of several real-life bugs in Google Maps. This study is the first work on automated testing of navigation software with the detection of real-life bugs

    Automated metamorphic testing on the analyses of feature models

    Get PDF
    Copyright © 2010 Elsevier B.V. All rights reserved.Context: A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged to be time-consuming, error-prone and in most cases infeasible due to the combinatorial complexity of the analyses, this is known as the oracle problem.Objective: In this paper, we propose using metamorphic testing to automate the generation of test data for feature model analysis tools overcoming the oracle problem. An automated test data generator is presented and evaluated to show the feasibility of our approach.Method: We present a set of relations (so-called metamorphic relations) between input FMs and the set of products they represent. Based on these relations and given a FM and its known set of products, a set of neighbouring FMs together with their corresponding set of products are automatically generated and used for testing multiple analyses. Complex FMs representing millions of products can be efficiently created by applying this process iteratively.Results: Our evaluation results using mutation testing and real faults reveal that most faults can be automatically detected within a few seconds. Two defects were found in FaMa and another two in SPLOT, two real tools for the automated analysis of feature models. Also, we show how our generator outperforms a related manual suite for the automated analysis of feature models and how this suite can be used to guide the automated generation of test cases obtaining important gains in efficiency.Conclusion: Our results show that the application of metamorphic testing in the domain of automated analysis of feature models is efficient and effective in detecting most faults in a few seconds without the need for a human oracle.This work has been partially supported by the European Commission(FEDER)and Spanish Government under CICYT project SETI(TIN2009-07366)and the Andalusian Government project ISABEL(TIC-2533)

    Third-party management in software development: proposal of a methodology

    Get PDF
    Outsourcing allows organizations to reduce costs, optimize the use of resources, provide added value in services and goods, and concentrate on achieving the strategic objectives of the business. However, many software projects have failed due to the lack of knowledge of the factors involved in its planning. Some of these elements are poor communication with the supplier, weak monitoring of the status of tasks, lack of active participation of users and stakeholders at all stages of the process, and software quality assurance. Consequently, this research aims to aid the management of the outsourcing process and proposes a methodology for its management during system development. The methodology comprises 7 phases, each one with its inputs, tasks, and outputs, which are used by the following stages. In summary, it synthesizes the best practices for the management of third parties

    An innovative approach for testing bioinformatics programs using metamorphic testing

    Get PDF
    Background: Recent advances in experimental and computational technologies have fueled the development of many sophisticated bioinformatics programs. The correctness of such programs is crucial as incorrectly computed results may lead to wrong biological conclusion or misguide downstream experimentation. Common software testing procedures involve executing the target program with a set of test inputs and then verifying the correctness of the test outputs. However, due to the complexity of many bioinformatics programs, it is often difficult to verify the correctness of the test outputs. Therefore our ability to perform systematic software testing is greatly hindered

    How effectively does metamorphic testing alleviate the oracle problem?

    Get PDF
    In software testing, something which can verify the correctness of test case execution results is called an oracle. The oracle problem occurs when either an oracle does not exist, or exists but is too expensive to be used. Metamorphic testing is a testing approach which uses metamorphic relations, properties of the software under test represented in the form of relations among inputs and outputs of multiple executions, to help verify the correctness of a program. This paper presents new empirical evidence to support this approach, which has been used to alleviate the oracle problem in various applications and to enhance several software analysis and testing techniques. It has been observed that identification of a sufficient number of appropriate metamorphic relations for testing, even by inexperienced testers, was possible with a very small amount of training. Furthermore, the cost-effectiveness of the approach could be enhanced through the use of more diverse metamorphic relations. The empirical studies presented in this paper clearly show that a small number of diverse metamorphic relations, even those identified in an ad hoc manner, had a similar fault-detection capability to a test oracle, and could thus effectively help alleviate the oracle problem
    corecore