Papers by Alexandre Correa
This paper presents an approach for RESTful Web Services test case generation. RESTful Web Servic... more This paper presents an approach for RESTful Web Services test case generation. RESTful Web Services have features that are not fully covered by traditional software testing techniques. The proposed approach uses model transformation techniques to generate platform independent test cases from UML class models enriched with Object Constraint Language (OCL) constraints. These test cases are then transformed into platform specific test cases that can be used to verify the implementation of CRUD RESTful Web Services. Resumo. Este trabalho apresenta uma abordagem para geração de casos de teste para Web Services RESTful. Web Services RESTful possuem características que não são cobertas pelas técnicas tradicionais de teste de software. A abordagem proposta utiliza técnicas de transformação de modelos para gerar casos de teste independentes de plataforma a partir de modelos de classes UML enriquecidos com restrições Object Constraint Language (OCL). Tais casos de teste são, então, transformados em casos de teste específicos de plataforma que podem ser usados para verificar a implementação de Web Services RESTful do tipo CRUD.
This article introduces a statistical approach for the maximization of the financial benefits yie... more This article introduces a statistical approach for the maximization of the financial benefits yielded by software projects that have been broken down into a considerable number of minimum marketable features modules (MMFs) and architectural elements (AEs). As the statistical approach requires a polynomial computational effort to run and provides approximation solutions with an arbitrarily chosen degree of confidence, it allows managers and developers to be more confident about the rightness of the decisions they make with little additional computational effort.
Anais do VII Simpósio Brasileiro de Sistemas de Informação (SBSI 2011), 2011
Este artigo avalia o impacto das mínimo marketable features modules (NMMF) e architectural elemen... more Este artigo avalia o impacto das mínimo marketable features modules (NMMF) e architectural elements não essenciais (NAEs) em projetos de software. Mostra que a criação de valor destas unidades de software pode ser bem diferente das unidades de software essenciais, e discute o impacto da identificação previa de NMMFs e NAES sobre o valor de projetos de software para o negócio e para a implantação de estratégias de negócio.
2015 29th Brazilian Symposium on Software Engineering, 2015
The flexibility and ease-of-use of spreadsheets allow users with little CS background to build co... more The flexibility and ease-of-use of spreadsheets allow users with little CS background to build computational solutions to solve their problems. However, inexperienced users may build erroneous spreadsheets. Modeling is commonly used in software development to allow users to visualize, communicate, and validate different aspects of a system before starting its construction. This work proposes a Model-Driven Engineering (MDE) approach that automatically generates spreadsheets from conceptual models aiming to reduce the number of errors introduced by users while using spreadsheets. Initially, we designed and executed an empirical study to identify the most common errors users commit when developing spreadsheets. The results of this study have shown that even users who classify themselves as experienced spreadsheet developers commit a large number of errors while developing a spreadsheet. Also, it has shown that formula-related errors are the most common errors introduced by users (55%). A second study involved humans using a spreadsheet generated by our approach and showed initial evidence that the approach can build spreadsheets that avoid the introduction of several types of errors often present in spreadsheets manually created by users. In this sense, we observed 98% correct answers to 234 questions involving spreadsheet manipulation.
This paper presents an approach for RESTful Web Services test case generation. RESTful Web Servic... more This paper presents an approach for RESTful Web Services test case generation. RESTful Web Services have features that are not fully covered by traditional software testing techniques. The proposed approach uses model transformation techniques to generate platform independent test cases from UML class models enriched with Object Constraint Language (OCL) constraints. These test cases are then transformed into platform specific test cases that can be used to verify the implementation of CRUD RESTful Web Services.
Journal of Software, 2014
Since the first electronic computers hit the market in the 1950’s, governments have been amongst ... more Since the first electronic computers hit the market in the 1950’s, governments have been amongst the biggest users of Information Technology (IT) worldwide. Therefore, it is in the general public’s best interests that government officials are provided with concepts, methods and tools that help them to optimise the results yielded by IT investments. This paper presents a method that identifies the best implementation order for a portfolio of IT projects that has been broken down into a large number of subprojects. The method builds on previous proposals by providing a framework that properly considers the intangible benefits that are a matter of common concern in the public sector.
Journal of Software, 2013
These days information technology (IT) is well known for the critical role it plays in earning an... more These days information technology (IT) is well known for the critical role it plays in earning and sustaining competitive advantage, and also for yielding a myriad of intangible benefits that are hard to quantify. If an investment in IT is aimed at improving services in the public sector, then the chances of running into intangibles are much higher. After all, voters’ support, spontaneous media exposure, pressure-groups’ reactions, public security and people’s well-being are common concerns in the conception and deployment of government ideas and projects. This paper presents a method that facilitates the evaluation of IT investments in the public sector. The method enables public officers to maximize the appropriation of the intangible benefits yielded by the investments they make in IT.
Journal of Software, 2012
This paper presents a method that allows managers and information technology professionals to bet... more This paper presents a method that allows managers and information technology professionals to better evaluate how efficiently risk is being managed within the confines of a portfolio of software projects. The method, which is based upon optimization and risk modeling, favors actions that increase the efficiency of risk management and, as a result, the likelihood of projects being delivered on time, within budget and in accordance with the requirements they were intended to be satisfied.
Journal of Software, 2011
This paper evaluates the impact of nonessential minimum marketable features modules (NMMF) and no... more This paper evaluates the impact of nonessential minimum marketable features modules (NMMF) and nonessential architectural elements (NAEs) on software projects; shows that the value-creation path of these selfcontained software units may be quite different from that of essential software units; and discusses the impact of early NMMF and NAE identification on the value of software projects to business and the deployment of business strategy. Moreover, the paper demonstrates that the existence of flexible precedence relations among MMFs and AEs may also be exploited to further increase the value of software development initiatives.
Projeto Final de Curso, …, 2001
Page 1. Uma Ferramenta de Auxílio à Recuperação de Modelos UML de Projeto a partir de Código Java... more Page 1. Uma Ferramenta de Auxílio à Recuperação de Modelos UML de Projeto a partir de Código Java GUSTAVO OLANDA VERONESE 1 FELIPE JEZINI NETTO 2 CLAUDIA MARIA LIMA WERNER 1 ALEXANDRE LUIS CORREA 1 ...
Page 1. Identification of Problematic Constructions in Object Oriented Applications: an Approach ... more Page 1. Identification of Problematic Constructions in Object Oriented Applications: an Approach Based on Heuristics, Design Patterns and Anti-Patterns Alexandre L. Correa Cláudia ML Werner Gerson Zaverucha Federal University ...
This paper presents an approach for RESTful Web Services test case generation. RESTful Web Servic... more This paper presents an approach for RESTful Web Services test case generation. RESTful Web Services have features that are not fully covered by traditional software testing techniques. The proposed approach uses model transformation techniques to generate platform independent test cases from UML class models enriched with Object Constraint Language (OCL) constraints. These test cases are then transformed into platform specific test cases that can be used to verify the implementation of CRUD RESTful Web Services. An experimental study showed that the proportion of testers, using ad hoc techniques capable of achieving at least 95% coverage restrictions approach is covered by at most 20%. Resumo. Este trabalho apresenta uma abordagem para geração de casos de teste de Web Services RESTful. A abordagem proposta utiliza técnicas de transformação de modelos para gerar casos de teste independentes de plataforma a partir de modelos de classes UML enriquecidos com restrições Object Constraint...
... Page 6. 46 Vol. 32(1) - 2008 Marcela P. Moritz, Rui G. Carneiro, Débora C. Santiago, Moacyr E... more ... Page 6. 46 Vol. 32(1) - 2008 Marcela P. Moritz, Rui G. Carneiro, Débora C. Santiago, Moacyr E. Medri, Alexandre Correa, Kelly C. Nakamura, Ericka Pignoni & José C. Gomes ... Médias seguidas de letras diferentes nas colunas diferem entre si pelo teste T a 5% de probabilidade. ...
The recent trend in software engineering to model-centered methodologies is an excellent opportun... more The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the development activities is shifted from implementation code to more abstract models then software developers need a formalism to provide a complete, unambiguous and consistent model at a very detailed level. OCL is currently the only language that can bring this level of detail to UML models. The purpose of the workshop was to identify future challenges for OCL and to discuss how OCL and its current tool support can be improved to meet these challenges. The workshop gathered numerous experts from academia and industry to report on success stories, to formulate wishes to the next generation of OCL tools, and to identify weaknesses in the language, which make OCL sometimes cumbersome to use. The workshop could also attract numerous people whose aim was to get an overview on the state of the art of OCL tool support and on how OCL can efficiently be applied in practice.
... MLM Campos, Federal University of Rio de Janeiro, Brazil [email protected]. ... Our experience ... more ... MLM Campos, Federal University of Rio de Janeiro, Brazil [email protected]. ... Our experience on writing use cases for business information systems using a catalogue of use case fragments suggested that they can be a facilitator in several aspects, not only improving the writing ...
Page 1. A method for Validating the Compliance of Business Processes to Business Rules Bruno de M... more Page 1. A method for Validating the Compliance of Business Processes to Business Rules Bruno de Moura Araujo Post-Graduate Program in Informatics (PPGI) Federal University of Rio de Janeiro Rio de Janeiro, Brazil +55 21 3101-3900 [email protected] ...
Object Oriented (OO) languages do not guarantee that a system is flexible enough to absorb future... more Object Oriented (OO) languages do not guarantee that a system is flexible enough to absorb future requirements, nor that its components can be reused in other contexts. This paper presents an approach to OO design expertise reuse, which is able to detect certain constructions that compromise future expansion or modification of OO systems, and suggest their replacement by more adequate ones. Both reengineering legacy systems, and systems that are still under development are considered by the approach. A tool (OOPDTool) was developed to support the approach, comprising a knowledge base of good design constructions, that correspond to heuristics and design patterns, as well as problematic constructions (i.e., anti-patterns).
Page 1. Precise Specification and Validation of Transactional Business Software Alexandre L. Corr... more Page 1. Precise Specification and Validation of Transactional Business Software Alexandre L. Correa COPPE/UFRJ Federal University of Rio de Janeiro -Brazil [email protected] Cláudia ML Werner COPPE/UFRJ Federal ...
The Object Constraint Language (OCL) is a OMG standard that plays an important role in the elabor... more The Object Constraint Language (OCL) is a OMG standard that plays an important role in the elaboration of precise models. However, it is not hard to find models and metamodels containing overly complex OCL expressions. Refactoring is a technique that can be used in this context since its goal is to reduce complexity by incrementally improving the internal software quality. Indeed several refactorings have already been proposed to improve the quality of OCL expressions. This paper presents the results of an empirical study that investigates the impact of poor OCL constructs, also known as OCL Smells, and OCL refactoringson the understandability of OCL expressions. Current results show that most refactorings significantly improve the understandability of OCL specifications.
Uploads
Papers by Alexandre Correa