The Experts below are selected from a list of 258 Experts worldwide ranked by ideXlab platform

Pavel Herout - One of the best experts on this subject based on the ideXlab platform.

  • Verification of SimCo — Simulation tool for testing of Component-Based Application
    Eurocon 2013, 2013
    Co-Authors: Richard Lipka, Premek Brada, Tomáš Potužák, Pavel Herout
    Abstract:

    In software testing, most attention is given to verify the functionality of produced software. However, the quality of services (such as time to response or amount of produced data) is also important, especially in world of mobile or embedded devices. These properties are often estimated by using models of components, instead of testing the components from real Applications. We have developed a simulation-based, non-invasive tool for testing and verifying characteristics of components or parts of component Applications. In this paper, we present our approach to testing these properties and verification of functionality of our tool. Our approach allows testing of components without changing their implementation, as a black box objects. The results of our simulation tool are compared with results obtained from self-measuring Application in order to validate the functionality of our simulation.

  • EUROMICRO-SEAA - Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework
    2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
    Co-Authors: Tom #x B, Richard Lipka, Premek Brada, Potu #x B, Pavel Herout
    Abstract:

    Component-Based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -- a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving Component-Based Application for the control of a road traffic crossroad.

  • Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework
    2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
    Co-Authors: Tom´ Potu´k, Richard Lipka, Premek Brada, Pavel Herout
    Abstract:

    Component-Based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -- a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving Component-Based Application for the control of a road traffic crossroad.

Richard Lipka - One of the best experts on this subject based on the ideXlab platform.

  • Deep Object Comparison for Interface-based Regression Testing of Software Components
    2018 Federated Conference on Computer Science and Information Systems (FedCSIS), 2018
    Co-Authors: Tomáš Potužák, Richard Lipka
    Abstract:

    In this paper, we describe the deep object comparison (DOC) algorithm, which is used for comparison of general objects in Java programming language based on their internal structures and values of primitive attributes. The DOC algorithm was designed to be utilized in our interface-based regression testing of software components, which enables to uncover subtle changes of the behavior of a Component-Based Application under test with a newly installed version of a software component in comparison to its behavior with an old version of this component.

  • Interface-based semi-automated testing of software components
    2017 Federated Conference on Computer Science and Information Systems (FedCSIS), 2017
    Co-Authors: Tomáš Potužák, Richard Lipka, Premek Brada
    Abstract:

    The Component-Based software development enables to construct Applications from reusable components providing particular functionalities and simplifies Application evolution. To ensure the correct functioning of a given Component-Based Application and its preservation across evolution steps, it is necessary to test not only the functional properties of the individual components but also the correctness of their mutual interactions and cooperation. This is complicated by the fact that third-party components often come without source code and/or documentation of functional and interaction properties. In this paper, we describe an approach for performing rigorous semi-automated testing of software components with unavailable source code. Utilizing an automated analysis of the component interfaces, scenarios invoking methods with generated parameter values are created. When they are performed on a stable Application version and their runtime effects (component interactions) are recorded, the resulting scenarios with recorded effects can be used for accurate regression testing of newly installed versions of selected components. Our experiences with a prototype implementation show that the approach has acceptable demands on manual work and computational resources.

  • Verification of SimCo — Simulation tool for testing of Component-Based Application
    Eurocon 2013, 2013
    Co-Authors: Richard Lipka, Premek Brada, Tomáš Potužák, Pavel Herout
    Abstract:

    In software testing, most attention is given to verify the functionality of produced software. However, the quality of services (such as time to response or amount of produced data) is also important, especially in world of mobile or embedded devices. These properties are often estimated by using models of components, instead of testing the components from real Applications. We have developed a simulation-based, non-invasive tool for testing and verifying characteristics of components or parts of component Applications. In this paper, we present our approach to testing these properties and verification of functionality of our tool. Our approach allows testing of components without changing their implementation, as a black box objects. The results of our simulation tool are compared with results obtained from self-measuring Application in order to validate the functionality of our simulation.

  • EUROMICRO-SEAA - Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework
    2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
    Co-Authors: Tom #x B, Richard Lipka, Premek Brada, Potu #x B, Pavel Herout
    Abstract:

    Component-Based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -- a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving Component-Based Application for the control of a road traffic crossroad.

  • Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework
    2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
    Co-Authors: Tom´ Potu´k, Richard Lipka, Premek Brada, Pavel Herout
    Abstract:

    Component-Based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -- a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving Component-Based Application for the control of a road traffic crossroad.

M. Chaudron - One of the best experts on this subject based on the ideXlab platform.

  • Predicting real-time properties of Component-Based Applications
    2020
    Co-Authors: E. Bondarev, M. Chaudron
    Abstract:

    In this paper we discuss the prediction of timing properties of a multi-tasking Component-Based Application already during the design phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. response times) of a real-time Application will be satisfied. This can be achieved by predicting the real-time behaviour of a Component-Based Application. In this paper, we extend an existing scenario-based approach [2] with the possibility to model the behaviour of an Application and the behavior of the underlying components. This extension allows an Application developer to predict the real-time properties of a component assembly before its actual implementation. The modelling involves the specification of synchronization constraints for tasks and the simulation of Application behaviour. A concluding casestudy of video encoder development reveals that the approach is not only feasible but also brings a contribution to the design of the softwareintensive multimedia real-time systems.

  • Towards predicting real-time properties of a component assembly
    Proceedings. 30th Euromicro Conference 2004., 2004
    Co-Authors: E. Bondarev, P. De With, M. Chaudron
    Abstract:

    This work addresses the prediction of timing properties of a Component-Based Application already during the composition phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. end-to-end deadlines) of a real-time Application that is executed on a target system is satisfied. This is obtained by predicting the real-time behaviour of a Component-Based Application. We extend an already existing scenario-based approach [J. Muskens et al. (2004)] with the possibility to model the behaviour of an Application and the behavior of the underlying components. As a result, an Application developer can reason accurately about the dynamic resource consumption and real-time properties of a component assembly. The modeling involves the specification of synchronization constraints for tasks and the simulation of Application behaviour. A concluding case-study of video encoder development reveals that the approach is not only feasible but also addresses yet unsolved problems of task parallel execution and synchronization.

Premek Brada - One of the best experts on this subject based on the ideXlab platform.

  • Verification of SimCo — Simulation tool for testing of Component-Based Application
    Eurocon 2013, 2013
    Co-Authors: Richard Lipka, Premek Brada, Tomáš Potužák, Pavel Herout
    Abstract:

    In software testing, most attention is given to verify the functionality of produced software. However, the quality of services (such as time to response or amount of produced data) is also important, especially in world of mobile or embedded devices. These properties are often estimated by using models of components, instead of testing the components from real Applications. We have developed a simulation-based, non-invasive tool for testing and verifying characteristics of components or parts of component Applications. In this paper, we present our approach to testing these properties and verification of functionality of our tool. Our approach allows testing of components without changing their implementation, as a black box objects. The results of our simulation tool are compared with results obtained from self-measuring Application in order to validate the functionality of our simulation.

  • EUROMICRO-SEAA - Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework
    2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
    Co-Authors: Tom #x B, Richard Lipka, Premek Brada, Potu #x B, Pavel Herout
    Abstract:

    Component-Based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -- a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving Component-Based Application for the control of a road traffic crossroad.

  • Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework
    2012 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
    Co-Authors: Tom´ Potu´k, Richard Lipka, Premek Brada, Pavel Herout
    Abstract:

    Component-Based software development is an important trend in software engineering. Using this approach, a system can be constructed from a set of individual components (i.e. pieces of software with defined interfaces and functionality). On deployment, components are usually not tested for their correct functionality since this is considered to be implied. Simulation tests are nevertheless often used to determine extra-functional properties and quality of services. However, only models of the components are usually used for such testing. In this paper, we present the SimCo -- a simulation framework for testing of real software components in a simulation environment. This enables thorough tests of components without the need to create their (potentially incorrect) models. The SimCo itself is constructed from components as well in order to enable its modularity and usability. The utilization of the SimCo is demonstrated on a case study involving Component-Based Application for the control of a road traffic crossroad.

E. Bondarev - One of the best experts on this subject based on the ideXlab platform.

  • Predicting real-time properties of Component-Based Applications
    2020
    Co-Authors: E. Bondarev, M. Chaudron
    Abstract:

    In this paper we discuss the prediction of timing properties of a multi-tasking Component-Based Application already during the design phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. response times) of a real-time Application will be satisfied. This can be achieved by predicting the real-time behaviour of a Component-Based Application. In this paper, we extend an existing scenario-based approach [2] with the possibility to model the behaviour of an Application and the behavior of the underlying components. This extension allows an Application developer to predict the real-time properties of a component assembly before its actual implementation. The modelling involves the specification of synchronization constraints for tasks and the simulation of Application behaviour. A concluding casestudy of video encoder development reveals that the approach is not only feasible but also brings a contribution to the design of the softwareintensive multimedia real-time systems.

  • Towards predicting real-time properties of a component assembly
    Proceedings. 30th Euromicro Conference 2004., 2004
    Co-Authors: E. Bondarev, P. De With, M. Chaudron
    Abstract:

    This work addresses the prediction of timing properties of a Component-Based Application already during the composition phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. end-to-end deadlines) of a real-time Application that is executed on a target system is satisfied. This is obtained by predicting the real-time behaviour of a Component-Based Application. We extend an already existing scenario-based approach [J. Muskens et al. (2004)] with the possibility to model the behaviour of an Application and the behavior of the underlying components. As a result, an Application developer can reason accurately about the dynamic resource consumption and real-time properties of a component assembly. The modeling involves the specification of synchronization constraints for tasks and the simulation of Application behaviour. A concluding case-study of video encoder development reveals that the approach is not only feasible but also addresses yet unsolved problems of task parallel execution and synchronization.