Taxonomy of Model Based Testing Sample Clauses

Taxonomy of Model Based Testing. In [30], a the taxonomy of model-based testing is presented, this taxonomy is an enrichment of the taxonomy presented in [9]. Figure 2-5: A taxonomy of model-based testing [9] The first dimension is the subject of the model, namely the intended behavior of the SUT or the possible behavior of the environment of the SUT. The model can describe the behavior of the SUT or the external environment of the SUT or both. Redundancy / Independence reflects the source of the test model. The test model can be a testing-specific model that is built from the specification documents or it can be generated from another model that is used to generate both test cases and code. Model characteristics relate to nondeterminism, to the incorporation of timing issues, and to the continuous or event-discrete nature of the model. The fourth dimension is what paradigm and notation are used to describe the model. The fifth dimension defines the facilities that are used to control the generation of tests. Accordingly, tools can be classified according to which kinds of test selection criteria they support. The sixth dimension is the technology that is used during test generation. The seventh dimension is about the execution options for the execution of a test. The eighth and last dimension are concerned with the test evaluation, also called the test assessment, is the process that exploits the test oracle. It is a mechanism for analyzing the SUT output and deciding about the test result.
Sample 1
AutoNDA by SimpleDocs

Related to Taxonomy of Model Based Testing

  • Vehicle Base Specifications Note: The actual vehicle awarded may exceed the minimum specifications stated below. The Authorized User may elect to add additional Options, delete Options, or substitute a vehicle feature that is an Option with another Option. See Contract Section III.6

  • Repair Testing At the time of repair of a LIS trunk group, at no additional charge, tests will be performed to ensure that the service is operational and meets the applicable technical parameters.

  • Meter Testing Company shall provide at least twenty-four (24) hours' notice to Seller prior to any test it may perform on the revenue meters or metering equipment. Seller shall have the right to have a representative present during each such test. Seller may request, and Company shall perform, if requested, tests in addition to the every fifth-year test and Seller shall pay the cost of such tests. Company may, in its sole discretion, perform tests in addition to the fifth year test and Company shall pay the cost of such tests. If any of the revenue meters or metering equipment is found to be inaccurate at any time, as determined by testing in accordance with this Section 10.2 (Meter Testing), Company shall promptly cause such equipment to be made accurate, and the period of inaccuracy, as well as an estimate for correct meter readings, shall be determined in accordance with Section 10.3 (Corrections).

  • CORRECTIVE MEASURE The contractor shall repair any deficiencies in excess of the performance guideline.

  • Loop Testing/Trouble Reporting 2.1.6.1 Think 12 will be responsible for testing and isolating troubles on the Loops. Think 12 must test and isolate trouble to the BellSouth portion of a designed/non- designed unbundled Loop (e.g., UVL-SL2, UCL-D, UVL-SL1, UCL-ND, etc.) before reporting repair to the UNE Customer Wholesale Interconnection Network Services (CWINS) Center. Upon request from BellSouth at the time of the trouble report, Think 12 will be required to provide the results of the Think 12 test which indicate a problem on the BellSouth provided Loop.

  • Quality- and Cost-Based Selection Except as ADB may otherwise agree, the Borrower shall apply quality- and cost-based selection for selecting and engaging consulting services.

  • Quality-based Selection Services for assignments which the Bank agrees meet the requirements set forth in paragraph 3.2 of the Consultant Guidelines may be procured under contracts awarded on the basis of Quality-based Selection in accordance with the provisions of paragraphs 3.1 through 3.4 of the Consultant Guidelines.

  • Corrective Measures If the Participating Generator fails to meet or maintain the requirements set forth in this Agreement and/or the CAISO Tariff, the CAISO shall be permitted to take any of the measures, contained or referenced in the CAISO Tariff, which the CAISO deems to be necessary to correct the situation.

  • Benchmarks for Measuring Accessibility For the purposes of this Agreement, the accessibility of online content and functionality will be measured according to the W3C’s Web Content Accessibility Guidelines (WCAG) 2.0 Level AA and the Web Accessibility Initiative Accessible Rich Internet Applications Suite (WAI-ARIA) 1.0 for web content, which are incorporated by reference. Adherence to these accessible technology standards is one way to ensure compliance with the College’s underlying legal obligations to ensure that people with disabilities are able to acquire the same information, engage in the same interactions, and enjoy the same benefits and services within the same timeframe as their nondisabled peers, with substantially equivalent ease of use; that they are not excluded from participation in, denied the benefits of, or otherwise subjected to discrimination in any College programs, services, and activities delivered online, as required by Section 504 and the ADA and their implementing regulations; and that they receive effective communication of the College’s programs, services, and activities delivered online.

  • Maintenance and Testing 54.5.1. Sprint is only responsible for maintaining the facilities that it owns.

Time is Money Join Law Insider Premium to draft better contracts faster.