Wireless sensor networks are moving towards emerging standards such as IP, ZigBee and WirelessHART which makes interoperability testing important. Interoperability testing is performed today through black-box testing with vendors physically meeting to test their equipment. Black-box testing can test interoperability but gives no detailed information of the internals in the nodes during the test...

Model-based Debugging is an application of Model-based Diagnosis techniques to debugging computer systems. Its basic principle is to compare a model, i.e., a description of the correct behaviour of a system, to the observed behaviour of the system. In this paper we show how this technique can be applied in the context of model-based mutation testing (MBMT) with timed automata. In MBMT we automa...

A systematic review was conducted to know the state of the art in this field. Subsequently, Medplan platform was designed and developed by a multidisciplinary team composed of hospital pharmacist, primary care physicians, specialist physicians, patients and developers. Medplan was then tested by creating 5 fictitious patients using the white and black-box testing. Once the platform was validate...

• An input f : [n]→ [M ] is equivalent to our usual input x1, . . . , xn where xi = f(i). • A Boolean function f : {0, 1} → {0, 1}. Note that the size of the input table is huge as a function of n. We can think of f as being given by a black box that allows us to evaluate f or in a form that we have to go out and collect. • More generally, a function f : Ω → Z, where Ω is some finite set. • f :...

To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-oriented system specified by a number of primary labeled transition systems (some of them are black-boxes) and aspects. Our algorithms combine automata manipulations over the aspects and primary systems with black-box testi...

Many different testing techniques have been proposed by researchers, but essentially only two main testing philosophies exist, black box and white box. There exists a number of different testing methods for structural testing of procedural languages, however, the features of object-oriented languages are not addressed by such techniques. This dissertation explores a new structural testing techn...

This paper describes part of an STL conformance test suite currently under development. Test suites for all of the STL containers have been written, demonstrating the feasibility of thorough and highly automated testing of industrial component libraries. We describe affordable test suites that provide good code and boundary value coverage, including the thousands of cases that naturally occur f...

Context: Testing a module that has memory using the black-box approach has been found to be expensive and relatively ineffective. Instead, testing without knowledge of the specifications (white-box approach) may not be effective in showing whether a program has been properly implemented as stated in its specifications. We propose instead a grey-box approach called Module Documentation-based Tes...

Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with the definition of appropriate, error-sensitive test data. Besides black-box tests, white-box tests are the most prevalent. In both cases, complete automation of test case design is difficult. Automation of black-box t...