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

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

2014
Benjamin Doerr Carola Doerr Timo Kötzing

We analyze the unbiased black-box complexity of jump functions with small, medium, and large sizes of the fitness plateau surrounding the optimal solution. Among other results, we show that when the jump size is (1/2−ε)n, that is, only a small constant fraction of the fitness values is visible, then the unbiased black-box complexities for arities 3 and higher are of the same order as those for ...

2008
Aasia Riasat Syed Sajjad Rizvi Farheen Zehara Faraz Arain

Due to increasing demand for simulation and modeling, efforts are needed to build up more powerful simulation and modeling methodologies that can help to facilitate learning complex dynamic systems. By learning we mean the acquisition of knowledge, skills and experience for better and faster learning of the various types of complex dynamic systems. System dynamics is one of the successful well ...

2012
Muhammad Zohaib Z. Iqbal

The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on black-box testing as they have typically no easy access to precise design information. Black-box testing in this context is mostly about selecting test scenarios that are more likely to lead to unsafe situations in the environment. Our Model-Based Testing (MBT) metho...

2008
Markus Bender

Background This technical report describes implementation of the ideas explained in [1], mainly done in the jmltest package in KeY and referred to as JML-Test. JMLTest is used to enrich an existing specification of a method with structural information of the methods body. The enriched specification is written to a file with JML annotations. The objective is to use a blackbox testing tool with t...

2002
Ludger Martin

To ensure that components are reusable and reliable, it is important to verify their functionality. In this paper, we present a tool for component integration testing. The components are tested as black boxes. The test tool HotAgent Test enables the tester to specify a test case in a visual way. The tool HotAgent Regression is presented to run the specified tests in regression.

Journal: :Softw. Test., Verif. Reliab. 2001
Stephen H. Edwards

This paper outlines a general strategy for automated black-box testing of software components that includes: automatic generation of component test drivers, automatic generation of black-box test data, and automatic or semi-automatic generation of component wrappers that serve as test oracles. This research in progress unifies several threads of testing research, and preliminary work indicates ...

Journal: :Theor. Comput. Sci. 2000
Marek Karpinski Alfred J. van der Poorten Igor E. Shparlinski

We obtain new algorithms for testing whether a given by a black box multivariate polynomial over p-adic elds given by a black box is identical to zero. We also remark on the zero testing of polynomials in residue rings. Our results complement a known results on the zero testing of polynomials over the integers, the rationals, and over nite elds. c © 2000 Elsevier Science B.V. All rights reserved.

1998
Thomas Ball Daniel Ho Frank Ruskey Richard Webber Lee White

The maturity of object-oriented methods has led to the wide availability of container classes: classes that encapsulate classical data structures and algorithms. Container classes are included in the C++ and Java standard libraries, and in many proprietary libraries. The wide availability and use of these classes makes reliability essential, and testing plays a key role in achieving that reliab...

2016
Jonas Duregård

Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of test cases, and over more heavy-we...

2016
Abhinandan H. Patil Neena Goveas Krishnan Rangarajan

Regression test suite study has been research topic for decades. In this paper we investigate the Regression test suite prioritization using residual test coverage algorithm for white box testing and introduce new statistical technique for black box testing. Our contribution in this paper is mainly problem solution to breaking the tie in residual coverage algorithm. Further we introduce new met...

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

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