The Experts below are selected from a list of 206889 Experts worldwide ranked by ideXlab platform
Andrea Arcuri - One of the best experts on this subject based on the ideXlab platform.
-
sound empirical evidence in Software Testing
International Conference on Software Engineering, 2012Co-Authors: Gordon Fraser, Andrea ArcuriAbstract:Several promising techniques have been proposed to automate different tasks in Software Testing, such as test data generation for object-oriented Software. However, reported studies in the literature only show the feasibility of the proposed techniques, because the choice of the employed artifacts in the case studies (e.g., Software applications) is usually done in a non-systematic way. The chosen case study might be biased, and so it might not be a valid representative of the addressed type of Software (e.g., internet applications and embedded systems). The common trend seems to be to accept this fact and get over it by simply discussing it in a threats to validity section. In this paper, we evaluate search-based Software Testing (in particular the EvoSuite tool) when applied to test data generation for open source projects. To achieve sound empirical results, we randomly selected 100 Java projects from SourceForge, which is the most popular open source repository (more than 300,000 projects with more than two million registered users). The resulting case study not only is very large (8,784 public classes for a total of 291,639 bytecode level branches), but more importantly it is statistically sound and representative for open source projects. Results show that while high coverage on commonly used types of classes is achievable, in practice environmental dependencies prohibit such high coverage, which clearly points out essential future research directions. To support this future research, our SF100 case study can serve as a much needed corpus of classes for test generation.
-
A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage
IEEE Transactions on Software Engineering, 2012Co-Authors: Andrea ArcuriAbstract:In the presence of an internal state, often a sequence of function calls is required to test Software. In fact, to cover a particular branch of the code, a sequence of previous function calls might be required to put the internal state in the appropriate configuration. Internal states are not only present in object-oriented Software, but also in procedural Software (e.g., static variables in C programs). In the literature, there are many techniques to test this type of Software. However, to the best of our knowledge, the properties related to the choice of the length of these sequences have received only a little attention in the literature. In this paper, we analyze the role that the length plays in Software Testing, in particular branch coverage. We show that, on “difficult” Software Testing benchmarks, longer test sequences make their Testing trivial. Hence, we argue that the choice of the length of the test sequences is very important in Software Testing. Theoretical analyses and empirical studies on widely used benchmarks and on an industrial Software are carried out to support our claims.
-
longer is better on the role of test sequence length in Software Testing
International Conference on Software Testing Verification and Validation, 2010Co-Authors: Andrea ArcuriAbstract:In the presence of an internal state, often it is required a sequence of function calls to test Software. In fact, to cover a particular branch of the code, a sequence of previous function calls might be required to put the internal state in the appropriate configuration. Internal states are not only present in object-oriented Software, but also in procedural Software(e.g., static variables in C programs). In the literature, there are many techniques to test this type of Software. However, to our best knowledge, the properties related to choosing the length of these sequences have received only little attention in the literature. In this paper, we analyse the role that the length plays in Software Testing, in particular branch coverage. We show that on “difficult” Software Testing benchmarks longer test sequences make their Testing trivial. Hence, we argue that the choice of the length of the test sequences is very important in Software Testing.
P Dhavachelvan - One of the best experts on this subject based on the ideXlab platform.
-
a new approach in development of distributed framework for automated Software Testing using agents
Knowledge Based Systems, 2006Co-Authors: P Dhavachelvan, G Uma, V S K VenkatachalapathyAbstract:Software Testing is the technical kernel of Software quality engineering, and to develop critical and complex Software systems not only requires a complete, consistent and unambiguous design, and implementation methods, but also a suitable Testing environment that meets certain requirements, particularly, to face the complexity issues. Traditional methods, such as analyzing each requirement and developing test cases to verify correct implementation, are not effective in understanding the Software's overall complex behavior. In that respect, existing approaches to Software Testing are viewed as time-consuming and insufficient for the dynamism of the modern business environment. This dynamics requires new tools and techniques, which can be employed in tandem with innovative approaches to using and combining existing Software engineering methods. This work advocates the use of a recently proposed Software engineering paradigm, which is particularly suited to the construction of complex and distributed Software-Testing systems, which is known as Agent-Oriented Software Engineering. This methodology is a new one, which gives the basic approach to agent-based frameworks for Testing.
-
complexity measures for Software systems towards multi agent based Software Testing
International Conference on Intelligent Sensing and Information Processing, 2005Co-Authors: P Dhavachelvan, G UmaAbstract:Bringing together agents and other fields of Software engineering might be difficult, as the advantages of agent technology are still not widely recognized. Effectiveness claims of agent-oriented Software engineering are based upon the strategies for addressing complex systems. Agent technologies facilitate the automated Software Testing by virtue of their high-level decomposition, independency and parallel activation. The informal interpretations of qualitative agent theories are not sufficient to distinguish agent-based approaches from other approaches in Software Testing. In this paper, we do not just described the agent-based approach in Software Testing, also developed an evaluation framework for agent-oriented approach in Software Testing and proposed a multi-agent system for Software Testing. This paper therefore provides a timely summary and enhancement of agent theory in Software Testing, which motivates recent efforts in adapting concepts and methodologies for agent-oriented Software Testing (AOST) to complex systems, which has not previously done. The 'multi-modal' approach proposed here is to offer a definition for encompassing to cover the Software Testing phenomena, based on agents, at the preliminary level, yet sufficiently tight that it can rule out complex systems that are clearly not agent-based.
Giuliano Antoniol - One of the best experts on this subject based on the ideXlab platform.
-
keynote paper search based Software Testing for Software security breaking code to make it safer
International Conference on Software Testing Verification and Validation Workshops, 2009Co-Authors: Giuliano AntoniolAbstract:Ensuring security of Software and computerized systems is a pervasive problemplaguing companies and institutions and affecting many areas of modern life.Software vulnerability may jeopardize information confidentiality and cause Software failure leading tocatastrophic threats to humansor severe economic losses.Size, complexity, extensibility, connectivity and the search for cheapsystems make it very hard or even impossible to manually tacklevulnerability detection.Search based Software Testing attempts to solve two aspects of the cost - vulnerabilityproblem. First, it's cheaper because itis far less labor intensive when compared to traditional Testing techniques.As a result, it can be used to more thoroughly testSoftware and reduce the risk that a vulnerabilityslips into production code. Also, search based Software Testing canbe specifically tailored to tacklethe subset of well known security vulnerabilities responsible formost security threats.This paper is divided into two parts. It examines promisingsearch based Testing approaches to detecting Software vulnerabilities, and then presentssome of the most interesting open research problems.
-
Search Based Software Testing for Software Security: Breaking Code to Make it Safer
2009Co-Authors: Giuliano AntoniolAbstract:Ensuring security of Software and computerized systems is a pervasive problem plaguing companies and institutions and affecting many areas of modern life. Software vulnera- bility may jeopardize information confidentiality and cause Software failure leading to catastrophic threats to humans or severe economic losses. Size, complexity, extensibility, connectivity and the search for cheap systems make it very hard or even impossible to manually tackle vulnerability detection. Search based Software Testing attempts to solve two as- pects of the cost - vulnerability problem. First, it's cheaper because it is far less labor intensive when compared to traditional Testing techniques. As a result, it can be used to more thoroughly test Software and reduce the risk that a vulnerability slips into production code. Also, search based Software Testing can be specifically tailored to tackle the subset of well known security vulnerabilities responsible for most security threats. This paper is divided into two parts. It examines promising search based Testing approaches to detecting Software vul- nerabilities, and then presents some of the most interesting open research problems.
G Uma - One of the best experts on this subject based on the ideXlab platform.
-
a new approach in development of distributed framework for automated Software Testing using agents
Knowledge Based Systems, 2006Co-Authors: P Dhavachelvan, G Uma, V S K VenkatachalapathyAbstract:Software Testing is the technical kernel of Software quality engineering, and to develop critical and complex Software systems not only requires a complete, consistent and unambiguous design, and implementation methods, but also a suitable Testing environment that meets certain requirements, particularly, to face the complexity issues. Traditional methods, such as analyzing each requirement and developing test cases to verify correct implementation, are not effective in understanding the Software's overall complex behavior. In that respect, existing approaches to Software Testing are viewed as time-consuming and insufficient for the dynamism of the modern business environment. This dynamics requires new tools and techniques, which can be employed in tandem with innovative approaches to using and combining existing Software engineering methods. This work advocates the use of a recently proposed Software engineering paradigm, which is particularly suited to the construction of complex and distributed Software-Testing systems, which is known as Agent-Oriented Software Engineering. This methodology is a new one, which gives the basic approach to agent-based frameworks for Testing.
-
complexity measures for Software systems towards multi agent based Software Testing
International Conference on Intelligent Sensing and Information Processing, 2005Co-Authors: P Dhavachelvan, G UmaAbstract:Bringing together agents and other fields of Software engineering might be difficult, as the advantages of agent technology are still not widely recognized. Effectiveness claims of agent-oriented Software engineering are based upon the strategies for addressing complex systems. Agent technologies facilitate the automated Software Testing by virtue of their high-level decomposition, independency and parallel activation. The informal interpretations of qualitative agent theories are not sufficient to distinguish agent-based approaches from other approaches in Software Testing. In this paper, we do not just described the agent-based approach in Software Testing, also developed an evaluation framework for agent-oriented approach in Software Testing and proposed a multi-agent system for Software Testing. This paper therefore provides a timely summary and enhancement of agent theory in Software Testing, which motivates recent efforts in adapting concepts and methodologies for agent-oriented Software Testing (AOST) to complex systems, which has not previously done. The 'multi-modal' approach proposed here is to offer a definition for encompassing to cover the Software Testing phenomena, based on agents, at the preliminary level, yet sufficiently tight that it can rule out complex systems that are clearly not agent-based.
V S K Venkatachalapathy - One of the best experts on this subject based on the ideXlab platform.
-
a new approach in development of distributed framework for automated Software Testing using agents
Knowledge Based Systems, 2006Co-Authors: P Dhavachelvan, G Uma, V S K VenkatachalapathyAbstract:Software Testing is the technical kernel of Software quality engineering, and to develop critical and complex Software systems not only requires a complete, consistent and unambiguous design, and implementation methods, but also a suitable Testing environment that meets certain requirements, particularly, to face the complexity issues. Traditional methods, such as analyzing each requirement and developing test cases to verify correct implementation, are not effective in understanding the Software's overall complex behavior. In that respect, existing approaches to Software Testing are viewed as time-consuming and insufficient for the dynamism of the modern business environment. This dynamics requires new tools and techniques, which can be employed in tandem with innovative approaches to using and combining existing Software engineering methods. This work advocates the use of a recently proposed Software engineering paradigm, which is particularly suited to the construction of complex and distributed Software-Testing systems, which is known as Agent-Oriented Software Engineering. This methodology is a new one, which gives the basic approach to agent-based frameworks for Testing.
