Testing Components

نویسندگان

  • Neelam Soundarajan
  • Benjamin Tyler
چکیده

Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal incrementally with derived classes, including derived classes that exploit polymorphism to extend the behavior of the base class. In this paper, we report on our work towards developing such a testing approach.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The effectiveness of acceptance and commitment-based psychotherapy based on the components of personality organization and defense styles of people with borderline personality disorder

The aim of this study was the effectiveness of acceptance and commitment therapy on the organization of personality and defense styles of people with borderline personality. The research method was single-subject design A-B-A The statistical population includes all people with borderline personality disorder who were referred to the outpatient department of Zare Psychiatric Hospital and Mana Ho...

متن کامل

Estimation of Software Reliability by Sequential Testing with Simulated Annealing of Mean Field Approximation

Various problems of combinatorial optimization and permutation can be solved with neural network optimization. The problem of estimating the software reliability can be solved with the optimization of failed components to its minimum value. Various solutions of the problem of estimating the software reliability have been given. These solutions are exact and heuristic, but all the exact approach...

متن کامل

Distance protection closed-loop testing using RTDS

This paper presents a distance protection test procedure by applying the Real-Time Digital Simulator (RTDS) of a power system. RTDS is a tool to design, develop, and test power-system protection. The RTDS enables real-time computation of electromagnetic phenomena with a calculation time step of even 50μs. The hardware allows the import and export of many signals from the simulator to an ext...

متن کامل

Systematic review and meta-analysis of diagnostic value of epicutaneous patch ‎testing in patients with oral lichenoid lesions

BACKGROUND AND AIM: We sought to carry out a systematic review and meta-analysis of the diagnostic value of ‎epicutaneous patch testing in patients with oral lichenoid lesions (OLLs).‎ METHODS: Bibliographic searches were conducted in electronic databases such as PubMed, the Cochrane library, ‎EBSCO, Scopus, Web of knowledge and Google scholar from January 1990 to December 2011. Search terms re...

متن کامل

The Effect of Dual Task Interference on Gait in Aging: Role of Working Memory Components

The purpose of the present study was to investigate the effect of concurrent cognitive tasks activating phonological loop and visuospatial scratchpad of working memory on gait in older adults.12 older adults with the age range of 65-70 years performed walking trials in 3 counterbalanced testing conditions including single walking, walking while performing visuospatial task and walking while per...

متن کامل

An Approach to Testing Black-Box Components Using Contract-Based Mutation

Component Based Software Development (CBSD) is gaining popularity in recent years. In this way of software development, software components, which are typically black-box components, are intensively reused to construct new systems. To ensure the quality of software systems composed of black-box components, a primary concern is how to ensure the quality of black-box components. Thus, adequate te...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001