An important activity in software development is the testing of developed software using the appropriate techniques. Obviously, these techniques have to take into account the type of the software process and the type of the developed software. This article proposes a technique for testing classes developed during a special type of software process, namely object-oriented prototyping. Furthermor...

The paper proposes a security testing technique to detect known vulnerabilities of web applications using both static and dynamic analysis. We also present a process to improve the security of web applications by mitigating many of the vulnerabilities revealed in the testing phase, and address a new method for detecting unknown vulnerabilities by applying dynamic black-box testing based on a fu...

Black-box testing methods are widely used in system level and integration testing. But in the context of COTS-based engineering, when newly modified COTS components are adopted into the system and the source code is not available, black-box testing is a necessary and feasible approach to assure that these COTS products do not adversely affect the software. In this paper, we first discuss challe...

Quality assessment of speech enhancement systems is a nontrivial task, especially when (residual) noise and echo signal components occur. We present a signal separation scheme that allows for a detailed analysis of unknown speech enhancement systems in a black box test scenario. Our approach separates the speech, (residual) noise, and (residual) echo component of the speech enhancement system i...

Regression testing is an expensive and frequently executed maintenance activity used to revalidate the modified software. As the regression testing is a frequently executed activity in the software maintenance phase, it occupies a large portion of the software maintenance budget. Any reduction in the cost of regression testing would help to reduce the software maintenance cost. The current rese...

An important motivation for software testing is to increase con dence that the software no longer contains faults. In this paper we explain a technique for using fewer tests to gain an equivalent con dence in software. Our techniques complement random black box testing. To be able to use fewer tests and gain equivalent con dence, we must either (1) isolate and remove software characteristics th...

The idea of using models in mutation analysis dates back to mid 1980s. Recently, it is shown that, with some proper adaptations, mutation testing can also be utilized as a black-box testing approach. For this purpose, a modeling structure, a set of mutation operators, coverage criteria and test case generation methods are required. This paper compares event-based and state-based realizations of...

Testentwurfsverfahren werden in die beiden Kategorien White-Box und Black-Box eingeteilt. Die Black-Box-Verfahren setzen auf der Spezifikation auf, um daraus systematisch Testfälle abzuleiten. Die White-Box-Verfahren nutzen hierfür zusätzlich den Programmtext. Oft werden beide als gleichwertig angesehen, wobei die White-BoxVerfahren eher auf den unteren Teststufen (Komponentenund Integrationste...

We propose to use deductive program verification systems to generate specifications for given programs and to then use these specifications as input for black-box testing tools. In this way, (1) the black-box testing method can make use of information about the program’s structure that is contained in the specification, and (2) we get a separation of concerns and a clear interface between progr...