نتایج جستجو برای: box testing

تعداد نتایج: 418764  

2003
Merijn de Jonge

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...

Journal: :Informatics in Education 2009
David Ginat

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...

2017
Javier Álvez German Rigau

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...

2011
Deng Chaoqun

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...

2011
Jason Croft Matthew Caesar

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...

2000
Wolfgang Grieskamp Markus Lepper

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...

Journal: :Math. Comput. 1998
Josef Leydold Wolfgang Hörmann

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...

2010
N. Aguirre F. Ikhouane J. Rodellar S. A. Neild

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...

Journal: :CoRR 2017
Jaedeok Kim Jingoo Seo

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 ...

Journal: :Journal of Intelligent and Robotic Systems 2005
Steven J. Cunning Jerzy W. Rozenblit

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید