Automatic generation of test cases for functional testing is a challenging task. It involves complex sub tasks such as capturing user scenarios, parsing user scenarios to generate test cases, ensuring test coverage criteria, test script generation from test cases, test execution and report generation. In this paper, a method is proposed to generate test cases after parsing Sequence diagram and ...

Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation description of a test, independent of the way a given software system is designed. This paper presents a sur...

This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives. Models written in this p...

In this work, we consider the automatic generation of test inputs for Mercury programs. We use an abstract representation of a program that allows to reason about program executions as paths in a control-flow graph. Next, we define how such a path corresponds to a set of constraints whose solution defines input values for the predicate under test such that when the predicate is called with resp...

Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation description of a test, independent of the way a given software system is designed. This paper presents a sur...

A new technique is proposed in this paper to extend the Integrated Classification Tree Methodology (ICTM) developed by Chen et al. [13] This software assists testers to construct test cases from functional specifications. A Unified Modelling Language (UML) class diagram and Object Constraint Language (OCL) are used in this paper to represent the software specifications. Each classification and ...

Manual testing is hard and time consuming and it maybe impossible for large systems or tester mistake in the test. The software testing is the rising cost of activities in development software and the test case generation is important activity in software testing. Hence researches performed to automate testing such as automatic test case generation. This paper reports a survey of recent researc...

The research in Software Testing accumulate large amount of data. As the software technology more advanced day by day, the complexity of software is increasing. Software testing is costly and time consuming process in software development life cycle. Software developer faces many problem when create test cases because if any inaccurate or incomplete step follow during create test cases then it ...

Service-oriented computing (SOC) proposes loosely coupled interacting services as building blocks for distributed applications. This distributed nature makes the guarantee of correctness a challenging task. Based on the specification of a service (the public view), we introduce an approach to automatically generate test cases for black-box testing to check for compliance between the specificati...