Components exist in different flavors. For instance, a component can be a binary building block according to the definition of Szyperski [6]. These are directly usable but they cannot be changed or inspected internally (black-box reuse). Components can also be in source form [4, 5]. Such component have to be compiled first before they can be used. Their internals however, can be inspected and e...

The notion of ”don’t care”, that encapsulates the unimportance of which of several scenarios will occur, is a fundamental notion in computer science. It is the core of non-determinism; it is essential in various computational models; it is central in distributed and concurrent algorithms; and it also is relevant in sequential, deterministic algorithms. It is a valuable tool in algorithmic probl...

We describe the practical application of a black-box testing methodology for the validation of the knowledge encoded in WordNet, SUMO and their mapping by using automated theorem provers. In this paper, we concentrate on the part-whole information provided by WordNet and create a large set of tests on the basis of few question patterns. From our preliminary evaluation results, we report on some...

Customers are ultimate judges of products. In order to produce the world-ranking product, customer information must be embodied in the part of production and hierarchy of control. This paper firstly points out the deficiency of QFD and the superiority of TRIZ. And then it constructs the application system of integrating QFD and TRIZ based on the theoretical rationale of the integration. The mai...

Preventing exfiltration of sensitive data is a central challenge facing many modern networking environments. In this paper, we propose a network-wide method of confining and controlling the flow of sensitive data within a network. Our approach is based on black-box differencing – we run two logical copies of the network, one with private data scrubbed, and compare outputs of the two to determin...

Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, beside others, the specification of early requirements. In this paper, we develop a representation of Use Cases in Z and apply it to several examples. Our focus is on instrumenting the formalization for black-box test eva...

A sweep-plane algorithm of Lawrence for convex polytope computation is adapted to generate random tuples on simple polytopes. In our method an affine hyperplane is swept through the given polytope until a random fraction (sampled from a proper univariate distribution) of the volume of the polytope is covered. Then the intersection of the plane with the polytope is a simple polytope with smaller...

Magnetorheological dampers have raised as promising devices for structural seismic protection since they have many attractive features such as small power requirements, reliability, and relatively low cost. These devices have strongly nonlinear behaviour which is very difficult to characterize. For this reason, the modelling of MR dampers has been an active field during the last years and has p...

In recent years, a number of artificial intelligent services have been developed such as defect detection system or diagnosis system for customer services. Unfortunately, the core in these services is a black-box in which human cannot understand the underlying decision making logic, even though the inspection of the logic is crucial before launching a commercial service. Our goal in this paper ...

A method for the automatic generation of test scenarios from the behavioral requirements of a system is presented in this paper. The generated suite of test scenarios validates the system design or implementation against the requirements. The approach proposed here uses a requirements model and a set of four algorithms. The requirements model is an executable model of the proposed system define...