Test case generation based on mutations over user execution traces
11
Citation
14
Reference
10
Related Paper
Citation Trend
Keywords:
Test suite
Code coverage
Model-Based Testing
Test Management Approach
Regression testing
Test harness
Manual testing
Model-based testing is a kind of black box testing that test suites are derived from behavioral model of SUT through test case generation and execute test suites automatically by model-based testing tool. A model-based testing tool uses various test generation algorithms and criteria to generate test cases. The behavioral model of SUT has to be concise enough to write and validate. Also, be precise enough to specify the behavior which is to be tested. Test cases can be generated automatically from the model and test engineer can control testing and maintain test cases easily. The abstract test cases have to be transformed into executable test cases with more specific information about SUT. Test selection criteria and lots of test generation strategies are commonly used in model-based testing. The complementary of these are key point of model-based testing. For this purpose, several state-based models are developed and test suites which derived from various test generation strategies, especially focused on transition coverage, are performed. Also, testing performances are discussed for test coverage of each test suite.
Test suite
Test Management Approach
Model-Based Testing
Test script
Keyword-driven testing
System under test
Manual testing
White-box testing
Test harness
Executable
Test strategy
Code coverage
Cite
Citations (0)
It is known that software testers, more often than not, lack the time needed to fully test the delivered software product within the time period allotted to them. When problems in the implementation phase of a development project occur, it normally causes the software delivery date to slide. As a result, testers either need to work longer hours, or supplementary resources need to be added to the test team in order to meet aggressive test deadlines. One solution to this problem is to provide testers with a test automation framework to facilitate the development of automated test solutions. The benefits of test automation are most apparent in big software projects. The development of automated test cases requires a lot of effort and time during the first test campaign, but there is a significant amount of time that can be saved with each repetition. Test automation gives a software tester the possibility of achieving unattended testing capability. With end-to-end test automation, a tester can schedule tests to run autonomously. While tests are running, testers can utilize the time saved by performing any requisite manual testing, or developing additional automated test cases to increase test coverage. Automated testing saves time as it provides the capability to perform concurrent/parallel testing. A tester can run multiple tests at the same time, whereas manual tests only allow for sequential test runs. If test automation is employed, testing does not have to end when the workday ends; automated testing can be exercised 24times7. A test automation framework can provide numerous benefits to a software tester. A test automation framework provides the basic set of software tools and services that can aid testers as they develop automated test cases. With a test automation framework, software testers can focus on testing the software product instead of worrying about developing the infrastructure needed to support their test environment. When choosing or developing a test automation framework, it is important to understand all the different components of an organization's software system. A good test automation framework should be general enough to provide functions that help a tester create automated tests for all the different components of the delivered software system. The framework should also be easily extensible so it can evolve as the software system evolves. Whether creating one from scratch or using a commercial product, having a test automation framework available for test teams to use can help streamline the process of developing automated test solutions.
Manual testing
Test Management Approach
Test harness
Keyword-driven testing
Test script
Test strategy
White-box testing
System under test
Non-regression testing
Automatic test equipment
Cite
Citations (30)
Automated testing framework is a platform or a standard for software automation testing, which can provide a reusable foundation for automated test modules and provide automated test management functions. This paper presents a new automated testing framework for the multi-platform mobile applications. MATF (Multi-platform Automatic Testing Framework) uses keyword driven test technology. The framework encapsulates and expands the Appium which is a standard for mobile test automation. It integrates test case management, test plan management, test script generation, test execution and test report generation. The framework can parse the test cases and generate test scripts which apply to the applications of both iOS platform and Android platform automatically. The test results can be recorded to generate test reports by this framework. MATF does not need testers to write the test scripts, which can greatly reduce the costs of testing. The test scripts run stably under this framework. And the test reports are consistent with the results by actual manual testing.
Test Management Approach
Test harness
Test script
Manual testing
Keyword-driven testing
White-box testing
Test plan
Integration testing
Test strategy
System under test
Cite
Citations (10)
As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques have been proposed for reusing these cost-effectively. After reusing test cases, however, it is also important to consider code or behavior that has not been exercised by existing test cases and generate new test cases to validate these. This process is known as test suite augmentation. In this paper we present a directed test suite augmentation technique, that utilizes results from reuse of existing test cases together with an incremental concolic testing algorithm to augment test suites so that they are coverage-adequate for a modified program. We present results of an empirical study examining the effectiveness of our approach.
Test suite
Regression testing
Model-Based Testing
Code coverage
Test Management Approach
Test harness
System under test
Code (set theory)
Cite
Citations (48)
Test script
Test Management Approach
Manual testing
Test harness
Keyword-driven testing
Test strategy
Model-Based Testing
Integration testing
Test plan
System under test
White-box testing
Cite
Citations (0)
Model-based testing is a software test technique that generates tests from an explicit model of software behavior. Modern programmable test tools allow us to use this technique to create useful, flexible and powerful tests at a very reasonable cost. What Is Model-Based Testing? Model-based testing is a technique that generates software tests from explicit descriptions of an application’s behavior. Creating and maintaining a model of an application makes it easier to generate and update tests for that application. Several good model-based test tools are currently available in the market, but the techniques of modelbased testing are not tied to any tool. This paper shows how anyone willing to do some test programming can implement model-based testing in low-cost test language tools. The test language used in this paper is Visual Test [1] from Rational Software. In this paper, I will discuss how to use a test programming language to 1. Create a finite state model of an application. 2. Generate sequences of test actions from the model. 3. Execute the test actions against the application. 4. Determine if the application worked right. 5. Find bugs.
Model-Based Testing
Test Management Approach
Non-regression testing
Manual testing
Keyword-driven testing
White-box testing
System under test
Test harness
Test strategy
Software reliability testing
System integration testing
Cite
Citations (28)
The aim of this paper is to evaluate and establish a mechanism to evaluate testing tools effectively, at the moment, there are many complex systems are built across the platforms and it is very complex problem to establish one common criterion to evaluate the testing tools. There are lot many tools available in the market at the moment, each to0ls have its own features to test software. For this paper, test cases are first manually tested and then as a part of the regression execution, same test cases are coded in the test scripts and being executed over the application under test. Automated testing is developed which saves time and resources, providing a good ROI. Test automation speeds up the testing process and minimizing time to market. An important contribution of this paper is the development of the metric suite that facilitates comparison and selection of a desired testing tool for automated testing.
Manual testing
Keyword-driven testing
Test script
Test Management Approach
Regression testing
Test suite
Test harness
Non-regression testing
White-box testing
Test strategy
System under test
Cite
Citations (9)
To certify complex functionality of intelligent vehicle, functional testing is critical parts of development process. For practical testing, well-defined test suites which have wide test coverage and appropriate number of test cases are mandatory. Model-based testing is a kind of black box testing that test suites are derived from model of SUT and automatically executed by model-based testing tool. Also, test cases can be generated automatically with test sequence generation. For test automation of IVN of intelligent vehicle, several transition-based models and test suites which derived from practical test sequence generation strategy are developed. Also, test reports are generated automatically to analyze test results via IVN testing tool. To model the intelligent front lamp system, MATLAB/Simulink stateflow was used. Test sequence generation using TT (transition tour) can assure test coverage and reduce functional testing time. For actual IVN testing, Vector CANoe which supports IVN simulation and testing of actual bus was used. The test cases of CANoe are derived from the result of TT so that the test suite can assure the test coverage also.
Manual testing
Test suite
Keyword-driven testing
Test Management Approach
Model-Based Testing
System under test
Stateflow
White-box testing
Test harness
Test script
Test plan
System testing
Non-regression testing
Test strategy
Cite
Citations (1)
This paper describes the LEIRIOS Smart Testing™ approach to the functional validation of a subpart of the StarUML case study. This model-based testing process for test automation is shown from start to end: from functional requirements to the publication of generated tests in a test repository and automatic execution of scripts with a test execution robot. This is a short position paper illustrating how LEIRIOS Smart Testing" can help to answer to the question: how to automate the testing of UML/MDA platform StarUML.
Keyword-driven testing
Test script
Manual testing
Test Management Approach
Test harness
Functional testing
Model-Based Testing
White-box testing
Non-regression testing
Regression testing
Test strategy
Software performance testing
System integration testing
Integration testing
Cite
Citations (44)
Software testing
Web testing
Software performance testing
Cite
Citations (3)