... Introduç˜ao Separaç˜ao de Interesses Tirania da decomposiç˜ao dominante Interesses transversa... more ... Introduç˜ao Separaç˜ao de Interesses Tirania da decomposiç˜ao dominante Interesses transversais: espalhamento e entrelaçamento de código. Exemplos: logging, trace, persistência, distribuiç˜ao, etc. ... Problemas Tirania da decomposiç˜ao dominante. ...
ABSTRACT Symbolic execution has been used in software testing as a effective technique to automat... more ABSTRACT Symbolic execution has been used in software testing as a effective technique to automatically generate test data. Most of approaches are based only on control-flow criteria and generate input data only for a whole program or function. However, testers may want to generate test data for covering data-flow criteria and also for satisfying specific test requirements. This paper presents an approach for generating test data to cover only test requirements selected by users, considering both control-and data-flow criteria. A prototype was implemented to support test data generation for Java programs and to perform a preliminary evaluation of the approach. The results, although in a limited context, are encouraging and motivate future experiments.
Proceedings - 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, 2011
ABSTRACT In previous work we proposed testable services as a solution to provide third-party test... more ABSTRACT In previous work we proposed testable services as a solution to provide third-party testers with structural coverage information after a test session, yet without revealing their internal details. However, service testers, e.g., integrators that use testable services into their compositions, do not have enough information to improve their test set when they get a low coverage measure because they do not know which test requirements have not been covered. This paper proposes an approach in which testable services are provided along with test metadata that will help their testers to get a higher coverage. We show the approach on a case study of a real system that uses orchestrations and testable services.
AbstractWeb services are an emerging Service-Oriented Architecture technology to integrate appli... more AbstractWeb services are an emerging Service-Oriented Architecture technology to integrate applications using open standards based on XML. Software Engineering tools integration is a promising area since companies adopt different software processes and need different ...
2010 Brazilian Symposium on Software Engineering, 2010
Testing Service Oriented Architecture applications is a challenging task due to the high dynamism... more Testing Service Oriented Architecture applications is a challenging task due to the high dynamism, the low coupling and the low testability of services. Web services, a popular implementation of services, are usually provided as black box and using testing techniques based on implementation is limited. This paper presents an approach to support the use of the structural testing technique on
ABSTRACT This paper reports on a historical perspective of the evaluation studies present in soft... more ABSTRACT This paper reports on a historical perspective of the evaluation studies present in software testing research published in the Brazilian Symposium on Software Engineering (SBES) in comparison to the International Conference on Software Engineering (ICSE). The survey characterizes the software testing-related papers published in the 25-year history of SBES, investigates the types of evaluation presented in these publications, and how the rate of evaluations has evolved over the years. A similar analysis within the same period is made for ICSE, allowing for a comparison between the national and international scenario. Results show that the rate of papers that present evaluation studies in SBES has significantly increased over the years. However, among the papers that described some kind of evaluation, only around 20% performed more rigorous evaluations (i.e. case studies, quasi experiments, or controlled experiments). Such percentage is low when compared to ICSE, which presented 40% of papers with more rigorous evaluations within the same period. Nevertheless, we noticed that both venues still lack the publication of research reporting controlled experiments: only a single paper in each conference presented this type of evaluation.
... Introduç˜ao Separaç˜ao de Interesses Tirania da decomposiç˜ao dominante Interesses transversa... more ... Introduç˜ao Separaç˜ao de Interesses Tirania da decomposiç˜ao dominante Interesses transversais: espalhamento e entrelaçamento de código. Exemplos: logging, trace, persistência, distribuiç˜ao, etc. ... Problemas Tirania da decomposiç˜ao dominante. ...
ABSTRACT Symbolic execution has been used in software testing as a effective technique to automat... more ABSTRACT Symbolic execution has been used in software testing as a effective technique to automatically generate test data. Most of approaches are based only on control-flow criteria and generate input data only for a whole program or function. However, testers may want to generate test data for covering data-flow criteria and also for satisfying specific test requirements. This paper presents an approach for generating test data to cover only test requirements selected by users, considering both control-and data-flow criteria. A prototype was implemented to support test data generation for Java programs and to perform a preliminary evaluation of the approach. The results, although in a limited context, are encouraging and motivate future experiments.
Proceedings - 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, 2011
ABSTRACT In previous work we proposed testable services as a solution to provide third-party test... more ABSTRACT In previous work we proposed testable services as a solution to provide third-party testers with structural coverage information after a test session, yet without revealing their internal details. However, service testers, e.g., integrators that use testable services into their compositions, do not have enough information to improve their test set when they get a low coverage measure because they do not know which test requirements have not been covered. This paper proposes an approach in which testable services are provided along with test metadata that will help their testers to get a higher coverage. We show the approach on a case study of a real system that uses orchestrations and testable services.
AbstractWeb services are an emerging Service-Oriented Architecture technology to integrate appli... more AbstractWeb services are an emerging Service-Oriented Architecture technology to integrate applications using open standards based on XML. Software Engineering tools integration is a promising area since companies adopt different software processes and need different ...
2010 Brazilian Symposium on Software Engineering, 2010
Testing Service Oriented Architecture applications is a challenging task due to the high dynamism... more Testing Service Oriented Architecture applications is a challenging task due to the high dynamism, the low coupling and the low testability of services. Web services, a popular implementation of services, are usually provided as black box and using testing techniques based on implementation is limited. This paper presents an approach to support the use of the structural testing technique on
ABSTRACT This paper reports on a historical perspective of the evaluation studies present in soft... more ABSTRACT This paper reports on a historical perspective of the evaluation studies present in software testing research published in the Brazilian Symposium on Software Engineering (SBES) in comparison to the International Conference on Software Engineering (ICSE). The survey characterizes the software testing-related papers published in the 25-year history of SBES, investigates the types of evaluation presented in these publications, and how the rate of evaluations has evolved over the years. A similar analysis within the same period is made for ICSE, allowing for a comparison between the national and international scenario. Results show that the rate of papers that present evaluation studies in SBES has significantly increased over the years. However, among the papers that described some kind of evaluation, only around 20% performed more rigorous evaluations (i.e. case studies, quasi experiments, or controlled experiments). Such percentage is low when compared to ICSE, which presented 40% of papers with more rigorous evaluations within the same period. Nevertheless, we noticed that both venues still lack the publication of research reporting controlled experiments: only a single paper in each conference presented this type of evaluation.
Uploads
Papers by Marcelo Eler