Arilo Neto | Universidade Federal do Amazonas (original) (raw)
Papers by Arilo Neto
The selection of software technologies represents a risk factor to a software project. Therefore,... more The selection of software technologies represents a risk factor to a software project. Therefore, using tailored software technologies to support this task can contribute to reduce the risk of inadequate choices made by software engineers. This paper presents the results of ...
IEEE Software, 2008
voice of evidence 10 I E E E S o f t w a r E P u b l i s h e d b y t h e I E E E C o m p u t e r ... more voice of evidence 10 I E E E S o f t w a r E P u b l i s h e d b y t h e I E E E C o m p u t e r S o c i e t y 0 7 4 0 -7 4 5 9 / 0 8 / $ 2 5 . 0 0 © 2 0 0 8 I E E E E d i t o r : F o r r e s t S h u l l n F r a u n h o f e r C e n t e r f o r E x p e r i m e n t a l S o f t w a r e E n g i n e e r i n g , M a r y l a n d n f s h u l l @ f c -m d . u m d . e d u
Clei Electronic Journal, 2008
Dependency cycles among components (classes) represent a practical challenge when identifying the... more Dependency cycles among components (classes) represent a practical challenge when identifying the class integration order in object-oriented software testing. Classical approaches, such as "top-down" or "bottom-up" integration (or their combination) become less useful due to their acyclic characteristics. Some OO integration testing strategies explore the principle of breaking these dependency cycles, but broken dependencies imply that the target class will have to be stubbed when integrating and testing the source class, which increases the testing effort. This paper describes an integration testing strategy that guides software engineers to identify the class integration order with the minimum number of implemented stubs. This strategy can be directly applied to high level OO design (UML class) diagrams allowing the reduction of extra construction efforts related to additional classes needed in other strategies. The results from experimental studies have indicated its feasibility and effectiveness. The use of such integration testing strategy can be supported by a case tool, also described in this paper.
... A análise de tais dados, no contexto do processo de desenvolvimento seguindo um ciclo de vida... more ... A análise de tais dados, no contexto do processo de desenvolvimento seguindo um ciclo de vida incremental, nos permitiu observar ... Kalinowski, M., Spínola, RO, Dias Neto, AC, Bott, A., Travassos, GH (2007) “Inspeções de Requisitos de Software em Desenvolvimento ...
Software technologies, such as model-based testing approaches, have specific characteristics and ... more Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is important to support the decision regarding their use in software projects. In particular, a choice of modelbased testing approach can influence testing success or failure. Therefore, this paper aims at describing knowledge acquired from a systematic review regarding model-based testing approaches and proposing an infrastructure towards supporting their selection for software projects.
Advances in Computers, 2010
... The paper must be available in the Web (digital libraries or technical databases), because we... more ... The paper must be available in the Web (digital libraries or technical databases), because we need to access the original file to extract information regarding the MBT techniques; ... The paper must describe model-based software testing techniques, which is the focus ...
This paper describes a systematic review performed on modelbased testing (MBT) approaches. A sele... more This paper describes a systematic review performed on modelbased testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity. This paper defines and explains the review methodology and presents some results.
The technical literature regarding model-based testing (MBT) has several techniques with differen... more The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.
The experimental methodology provides ways for the verification of techniques effectiveness appli... more The experimental methodology provides ways for the verification of techniques effectiveness applied in Software Engineering. It defines steps to be accomplished for the transference of a SE process, since its creation in laboratory until its application in industry. This paper describes the experimentation using for the heuristics characterization for identify the classes integration testing order.
Abstract The combination of testing techniques is considered an effective strategy to evaluate a ... more Abstract The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software Engineering field. This ...
Experimental studies have been used as a mechanism to acquire knowledge through a scientific appr... more Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce amount of information, and explore science in scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in software engineering.
In this paper, we describe the planning, execution, and initial results analysis of a survey acco... more In this paper, we describe the planning, execution, and initial results analysis of a survey accomplished with Model Based Testing researchers and practitioners. This survey has two purposes: observing (1) which attributes could be adequate to characterize Model-based Testing Approaches and (2) what is the relevance of them when selecting MBT approaches for software projects. An initial list of attributes
Software testing can be applied during the software development with the purpose of improving the... more Software testing can be applied during the software development with the purpose of improving the final product quality. However, there is a gap between the state of the art and the state of the practice regarding software testing area. There are just a few evidences concerned with effectiveness of software testing practices suggested by the technical literature in the industry. Based on this context, this paper shows the characterization of the software testing actual state for a specific software development scenario, where it has been evaluated what practices are being applied by these organizations. The results have shown the lack, limitation, and interest of these organizations in the applying of testing for their software projects. Resumo. As atividades de teste estão sempre presentes no desenvolvimento de um software com o objetivo de contribuir para a qualidade do produto final. No entanto, percebe-se a existência de uma grande diferença entre o estado da arte e o estado da prática de teste de software. Existem poucas evidências relatadas da efetividade das práticas de teste de software sugeridas pela literatura técnica na indústria. Baseado neste contexto, este artigo apresenta a caracterização do estado atual das práticas de teste em um cenário de desenvolvimento de software específico, onde foram avaliadas quais práticas de teste estão sendo adotadas pelas organizações. Os resultados indicam carência, limitação e o interesse dessas organizações em aplicar práticas de teste de software em seus projetos.
This position paper describes an infrastructure to support activities in Experimentation Processs... more This position paper describes an infrastructure to support activities in Experimentation Processs Definition and Planning phases. The purpose of this infrastructure is to provide a framework to allow the creation and filling of Experimental Plans during Experimentation Process enactment.
The selection of software technologies represents a risk factor to a software project. Therefore,... more The selection of software technologies represents a risk factor to a software project. Therefore, using tailored software technologies to support this task can contribute to reduce the risk of inadequate choices made by software engineers. This paper presents the results of ...
IEEE Software, 2008
voice of evidence 10 I E E E S o f t w a r E P u b l i s h e d b y t h e I E E E C o m p u t e r ... more voice of evidence 10 I E E E S o f t w a r E P u b l i s h e d b y t h e I E E E C o m p u t e r S o c i e t y 0 7 4 0 -7 4 5 9 / 0 8 / $ 2 5 . 0 0 © 2 0 0 8 I E E E E d i t o r : F o r r e s t S h u l l n F r a u n h o f e r C e n t e r f o r E x p e r i m e n t a l S o f t w a r e E n g i n e e r i n g , M a r y l a n d n f s h u l l @ f c -m d . u m d . e d u
Clei Electronic Journal, 2008
Dependency cycles among components (classes) represent a practical challenge when identifying the... more Dependency cycles among components (classes) represent a practical challenge when identifying the class integration order in object-oriented software testing. Classical approaches, such as "top-down" or "bottom-up" integration (or their combination) become less useful due to their acyclic characteristics. Some OO integration testing strategies explore the principle of breaking these dependency cycles, but broken dependencies imply that the target class will have to be stubbed when integrating and testing the source class, which increases the testing effort. This paper describes an integration testing strategy that guides software engineers to identify the class integration order with the minimum number of implemented stubs. This strategy can be directly applied to high level OO design (UML class) diagrams allowing the reduction of extra construction efforts related to additional classes needed in other strategies. The results from experimental studies have indicated its feasibility and effectiveness. The use of such integration testing strategy can be supported by a case tool, also described in this paper.
... A análise de tais dados, no contexto do processo de desenvolvimento seguindo um ciclo de vida... more ... A análise de tais dados, no contexto do processo de desenvolvimento seguindo um ciclo de vida incremental, nos permitiu observar ... Kalinowski, M., Spínola, RO, Dias Neto, AC, Bott, A., Travassos, GH (2007) “Inspeções de Requisitos de Software em Desenvolvimento ...
Software technologies, such as model-based testing approaches, have specific characteristics and ... more Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is important to support the decision regarding their use in software projects. In particular, a choice of modelbased testing approach can influence testing success or failure. Therefore, this paper aims at describing knowledge acquired from a systematic review regarding model-based testing approaches and proposing an infrastructure towards supporting their selection for software projects.
Advances in Computers, 2010
... The paper must be available in the Web (digital libraries or technical databases), because we... more ... The paper must be available in the Web (digital libraries or technical databases), because we need to access the original file to extract information regarding the MBT techniques; ... The paper must describe model-based software testing techniques, which is the focus ...
This paper describes a systematic review performed on modelbased testing (MBT) approaches. A sele... more This paper describes a systematic review performed on modelbased testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity. This paper defines and explains the review methodology and presents some results.
The technical literature regarding model-based testing (MBT) has several techniques with differen... more The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.
The experimental methodology provides ways for the verification of techniques effectiveness appli... more The experimental methodology provides ways for the verification of techniques effectiveness applied in Software Engineering. It defines steps to be accomplished for the transference of a SE process, since its creation in laboratory until its application in industry. This paper describes the experimentation using for the heuristics characterization for identify the classes integration testing order.
Abstract The combination of testing techniques is considered an effective strategy to evaluate a ... more Abstract The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software Engineering field. This ...
Experimental studies have been used as a mechanism to acquire knowledge through a scientific appr... more Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce amount of information, and explore science in scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in software engineering.
In this paper, we describe the planning, execution, and initial results analysis of a survey acco... more In this paper, we describe the planning, execution, and initial results analysis of a survey accomplished with Model Based Testing researchers and practitioners. This survey has two purposes: observing (1) which attributes could be adequate to characterize Model-based Testing Approaches and (2) what is the relevance of them when selecting MBT approaches for software projects. An initial list of attributes
Software testing can be applied during the software development with the purpose of improving the... more Software testing can be applied during the software development with the purpose of improving the final product quality. However, there is a gap between the state of the art and the state of the practice regarding software testing area. There are just a few evidences concerned with effectiveness of software testing practices suggested by the technical literature in the industry. Based on this context, this paper shows the characterization of the software testing actual state for a specific software development scenario, where it has been evaluated what practices are being applied by these organizations. The results have shown the lack, limitation, and interest of these organizations in the applying of testing for their software projects. Resumo. As atividades de teste estão sempre presentes no desenvolvimento de um software com o objetivo de contribuir para a qualidade do produto final. No entanto, percebe-se a existência de uma grande diferença entre o estado da arte e o estado da prática de teste de software. Existem poucas evidências relatadas da efetividade das práticas de teste de software sugeridas pela literatura técnica na indústria. Baseado neste contexto, este artigo apresenta a caracterização do estado atual das práticas de teste em um cenário de desenvolvimento de software específico, onde foram avaliadas quais práticas de teste estão sendo adotadas pelas organizações. Os resultados indicam carência, limitação e o interesse dessas organizações em aplicar práticas de teste de software em seus projetos.
This position paper describes an infrastructure to support activities in Experimentation Processs... more This position paper describes an infrastructure to support activities in Experimentation Processs Definition and Planning phases. The purpose of this infrastructure is to provide a framework to allow the creation and filling of Experimental Plans during Experimentation Process enactment.