Comparative Evaluation of Automatic Test Case Generation Methods
نویسندگان
چکیده
Software testing is an inevitable activity in software development which is critical in quality of software and consumes approximately 50% of software cost. Test case generation is the work most intensive in software testing also it has a strong effect on efficiency and effectiveness of software testing. Because of these reasons, it has been as one of the most important issues in the software testing researches for many decades. To guarantee high software quality, it is required to achieve maximum test adequacy coverage. This paper presents a comparative study of the methods that is used to generated test cases automatically. keywords: Software testing; Test case generation; automatic test case generation methods
منابع مشابه
Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملSoftware Verification: Testing vs. Model Checking
In practice, software testing has been the established method for finding bugs in programs for a long time. But in the last 15 years, software model checking has received a lot of attention, and many successful tools for software model checking exist today. We believe it is time for a careful comparative evaluation of automatic software testing against automatic software model checking. We chos...
متن کاملConformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
In this paper we describe a comprehensive approach for conformance testing of embedded reactive systems. Based on a formal specification, namely UML state machines, we automatically generate test cases and use them to check the functional conformance of a system under test. Our test cases include not only stimuli to trigger the system under test, they also include possible correct observations ...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کامل