- Sponsor:
- sigsoft
No abstract available.
Proceeding Downloads
Early detection of faults related to database schematic changes
Modern software applications consisting of a multi-tiered application structure have often a database as an essential tier. The correct functioning of a multi-tiered application is dependent on its correct database connectivity. The modifications in ...
Evaluating applicability of combinatorial testing in an industrial environment: a case study
Case studies for evaluating tools in software engineering are powerful. Although they cannot achieve the scientific rigour of formal experiments, the results can provide sufficient information to help companies judge if a specific technology being ...
Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applications
In this paper we introduce the open source testing system QCEP-TS for realizing executable acceptance test driven development (EATDD) of complex event processing (CEP) applications. We will motivate the need of EATDD in this domain and argue that state ...
Practical experience and evaluation of continuous code static analysis with C++Test
The static code analysis tools are a fundamental instruments to validate the developed code. They allow detecting bugs (as memory leak, accessing arrays out of bounds, etc.. ), structural errors and preventing entire classes of errors. This work refers ...
Model-based test case generation using symbolic execution
In this paper, we present a test case generation method in which test cases are generated from Excel-based functional specications, called error-check/update specications. This method has the following two characteristics. 1) Logical structures and ...
Analysis and testing of matlab simulink models: a systematic mapping study
Matlab Simulink is one of the major modeling and simulation tools applied in different embedded systems domain. Quality assurance is an essential, but often highly effort-consuming part of software development. A lot of different quality assurance ...
Model-based testing in legacy software modernization: an experience report
With the advent of cloud computing more and more vendors strive to modernize legacy applications and deploy them into the cloud. In particular when the legacy system is still applied in the field, the vendor must ensure a seamless change to the ...
Towards quality of model-based testing in the ioco framework
Since testing is an expensive process, automatic testing with smart test selection has been proposed as a way to reduce such expense. Such a selection of tests can be done using specification coverage functions. Model-based ioco theory, however, uses ...
An auto-review tool for model-based testing of safety-critical systems
Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their ...
Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study
Test suite maintenance tends to have the biggest impact on the overall cost of test automation. Frequently modifications applied on a web application lead to have one or more test cases broken and repairing the test suite is a time-consuming and ...
Automatic, load-independent detection of performance regressions by transaction profiles
Performance regression testing is an important step in the production process of enterprise applications. Yet, analysing this type of testing data is mainly conducted manually and depends on the load applied during the test. To ease such a manual task ...
A system for automated testing in development of measuring devices for industrial process instrumentation
In this paper, we present the KROHNE TestCenter (KTC), a custom-made test system for automated verification on integration (and partly system) level in the field of industrial process instrumentation. The KTC has been designed and developed at KROHNE ...
FITNESS: a framework for automatic testing of ASTERIX based software systems
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a systems functionality themselves, following hand-written instructions: ...
Index Terms
- Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Recommendations
Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary
ICSTW '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation WorkshopsThis paper summarizes the presentations and discussions at the 6th International Workshop on Search-Based Software Testing (SBST 2013), held in conjunction with the IEEE International Conference on Software Testing, Verification and Validation (ICST ...