Test Generation Sample Clauses

Test Generation. We extended a popular random test generator, Randoop [Xxxxxxx and Xxxxx 2007], to collect only relevant tests. Note that whether a test is relevant is decided at runtime while Randoop is generating tests. In our initial experiment, it took too long (almost five minutes in some instances) for Randoop to start generating relevant tests. We made a couple of simple changes to Randoop to alleviate the problem. First, our test generator selects the seed method with a 50% chance from specified target methods, unlike the original Randoop that selects the seed method from all legal methods that are in the scope of the tool. As target methods, we used either: (i) the target method m of a change contract if m is public or (ii) public callers of m if m is not public. Such target method specification can be automated with the help of static analysis. The reason for assigning a 50% chance to the target methods (as opposed to assigning 100% chance) is that, otherwise, Randoop does not consider other method calls that may be necessary for constituting a relevant test. The second change we made to Randoop is to address the following problem we found in our initial experiments. It took particularly long for Randoop to generate relevant tests in a case where the update condition of a change contract is satisfied only if void- type methods are called to change the program state properly before the target method is called. For example, if a target method is m2(int i), then the unmodified Randoop opts for generating a sequence that ends with “m2(var2);” preceded by a sequence of statements that ends with a statement to assign a value to variable var2, such as “var2=m1(var1);”. This statement is again preceded by another statement to assign a value to var1. Such a style of Xxxxxxx’s sequence generation tends to exclude void-type method calls in the middle of a sequence. To address the previous issue, we intersperse a statement sequence with random void-type method calls. We also transform statements like “var1.m1(); var2.m2();” into “var2.m1(); var2.m2();” to merge the receivers. We let such a transformation take place with an 80% chance in our experiments. Note that generally there is no guarantee that executing a relevant test in the updated system will execute the target method with isomorphic input because only the previous version was considered when constructing relevant tests. Obviously, by considering the updated system as well, this problem can be avoided in exchange fo...
AutoNDA by SimpleDocs
Test Generation. Whereas the theory of testing equivalences and preorders is used to define semantic relations over LTS using all possible tests, actual testing turns this around: given an LTS s (the specification) and a relation imp over LTS (the implementation relation), determine a (minimal) set of tests Timp(s) that characterizes all implementations i with i imp s. First steps towards systematically generating such test suites (sets of tests) from a specification LTS were made by Xxxxxxxx et al. in [11, 12, 17] leading to the canonical tester theory for the implementation relation conf . The intuition of conf is that after traces, i.e., sequences of actions, that are explicitly specified in the specification LTS, the implementation LTS shall not unexpectedly refuse actions, i.e., the implementation may only refuse a set of actions if the specifi- cation can refuse this set, too. This introduces under-specification, in two ways. First, after traces that are not in the specification LTS, anything is allowed in the implementation. Second, the implementation may refuse less than the spec- ification. In this approach, models were represented using the process algebraic specification language LOTOS [7, 16, 42].

Related to Test Generation

  • Synchronous Generation The Interconnection Customer shall design its Small Generating Facility to maintain a composite power delivery at continuous rated power output at the Point of Interconnection at a power factor within the range of 0.95 leading to 0.95 lagging, unless the NYISO or the Transmission Owner in whose Transmission District the Small Generating Facility interconnects has established different requirements that apply to all similarly situated generators in the New York Control Area or Transmission District (as applicable) on a comparable basis, in accordance with Good Utility Practice.

  • Non-Synchronous Generation The Interconnection Customer shall design its Small Generating Facility to maintain a composite power delivery at continuous rated power output at the high-side of the generator substation at a power factor within the range of 0.95 leading to 0.95 lagging, unless the NYISO or the Transmission Owner in whose Transmission District the Small Generating Facility interconnects has established a different power factor range that applies to all similarly situated non-synchronous generators in the control area or Transmission District (as applicable) on a comparable basis, in accordance with Good Utility Practice. This power factor range standard shall be dynamic and can be met using, for example, power electronics designed to supply this level of reactive capability (taking into account any limitations due to voltage level, real power output, etc.) or fixed and switched capacitors, or a combination of the two. This requirement shall only apply to newly interconnecting non-synchronous generators that have not yet executed a Facilities Study Agreement as of September 21, 2016.

  • Generating Facility The Interconnection Customer’s device for the production of electricity identified in the Interconnection Request, but shall not include the Interconnection Customer’s Interconnection Facilities.

  • Generator Subject to the provisions of this Section 29.36, Tenant shall be entitled to install, operate and maintain a generator and any other equipment related thereto, including, without limitation, a fuel system, wiring and shaft space (“Generator”) next to the Building at Tenant’s sole cost and expense (without paying any additional fee or rental to Landlord for the use thereof). Prior to the installation of the Generator, Tenant shall inspect the proposed location to determine a suitable location for the Generator, and Tenant shall submit written plans and specifications relative to the type, size and proposed location (including any proposed screening) of the Generator to Landlord for its review and written approval. Tenant shall be solely responsible for the cost of acquisition, installation, operation, and maintenance of the Generator; and Tenant shall install, maintain and operate the Generator in accordance with all federal, state, and local laws, statutes, ordinances, rules and regulations, including without limitation, obtaining and maintaining any and all permits, approvals and licenses required to install and operate the Generator by any governmental authority having jurisdiction. Landlord and Tenant agree that, upon the expiration of earlier termination of the Lease Term, Tenant shall not be required to remove the Generator, any associated cabling, wiring and screening or other improvements. Tenant shall not be entitled to grant or assign to any third party (other than a permitted assignee of Tenant’s rights under the Lease or a permitted subtenant relative to the Premises (or a portion thereof)) the right to use the Generator without Landlord’s prior written consent (which consent may be granted or withheld in Landlord’s discretion). Upon reasonable advance notice to Tenant (and provided Landlord reasonably coordinates with Tenant and provides an alternate source of backup generator capacity during said transition), Landlord shall be entitled to cause the Generator to be moved to another location near the Building, at Landlord’s cost and expense. Tenant shall pay all personal property taxes on the Generator. Tenant shall also pay any increases in the real property taxes of the Building due to the installation of the Generator within thirty (30) days of receipt of notice from Landlord which includes proof of such increase in taxes. Tenant’s indemnity obligations under Section 5.4.1.5 of the Lease, relating to the use of Hazardous Materials, shall apply to the use and operation of the Generator. Finally, Tenant’s insurance obligations under Section 10.3 of the Lease shall apply to the Generator.

  • Emergency Generator 1) During the Term as it applies to the 9449 Expansion Space, as extended from time to time, Tenant shall have the right to install a supplemental emergency generator (the “Generator”) to provide emergency additional electrical capacity to the 9449 Building. The Generator shall be placed at a location at the 9449 Building designated by Tenant and reasonably approved by Landlord. Notwithstanding the foregoing, Tenant’s right to install the Generator shall be subject to: (i) Landlord’s reasonable approval of the manner in which the Generator is installed, the manner in which any cables are run to and from the Generator to the Premises and the measures that will be taken to eliminate any vibrations or sound disturbances from the operation of the Generator; and (ii) the covenants, conditions and restrictions of record applicable to the Project, architectural review and any necessary approval by the local municipality and county governments or agencies having authority and jurisdiction over such matters. Landlord shall have the right to require Tenant to provide a reasonably acceptable enclosure (e.g. wood fencing and landscaping) to hide or disguise the existence of the Generator and to minimize any adverse effect that the installation of the Generator may have on the appearance of the 9449 Building and Project. Tenant shall be solely responsible for obtaining all necessary governmental and regulatory permits and approvals and for the cost of installing, operating, maintaining, repairing and removing the Generator. Tenant shall also be responsible for the cost of all utilities consumed and utility connections required in the operation of the Generator. 2) Tenant shall be responsible for assuring that the installation, maintenance, repair, operation and removal of the Generator does not damage the 9449 Building or Project and Tenant shall be responsible for any damages caused thereby. For avoidance of doubt, the installation, maintenance, operation, repair or removal of the Generator shall be subject to the indemnity provisions set forth in Section 10.3 of the Lease. 3) Tenant shall be responsible for the installation, operation, repair, cleanliness, maintenance and removal of the Generator and appurtenances, all of which shall remain the personal property of Tenant and shall be removed by Tenant at its own expense as of the 9449 Extended Expiration Date or any earlier expiration or termination of Tenant’s right to possession of the 9449 Expansion Space in accordance with the Lease and this Amendment. Tenant shall repair any damage caused by such removal, including the patching of any holes to match, as closely as possible, the color surrounding the area where the Generator and appurtenances were attached. Such maintenance and operation shall be performed in a manner to avoid any unreasonable interference with any other tenants or Landlord. Tenant agrees to maintain the Generator, including without limitation, any enclosure installed around the Generator, in good condition and repair. Tenant shall be responsible for performing any maintenance and improvements to any enclosure surrounding the Generator so as to keep such enclosure in good condition. 4) Tenant, subject to the reasonable rules and regulations enacted by Landlord, shall have unlimited access to the Generator and its surrounding area for the purpose of installing, operating, repairing, maintaining, using and removing the Generator. 5) Tenant shall only test the Generator before or after normal business hours. 6) Notwithstanding anything in this Amendment or the Lease to the contrary, Tenant may use the Generator for its intended purpose as and when needed (as reasonably determined by Tenant), without any restriction or hindrance from Landlord or any other tenant, subject only to applicable Laws and unreasonable disturbances to other tenants in the Project.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract. a. The contractor shall notify all potential subcontractors and suppliers and lessors of their EEO obligations under this contract. b. The contractor will use good faith efforts to ensure subcontractor compliance with their EEO obligations.

  • Plant The expression ‘Plant’ as used in the tender papers shall mean every temporary accessory necessary or considered necessary by the Engineer to execute, construct, complete and maintain the work and all altered, modified, substituted and additional works ordered in the time and the manner herein provided and all temporary materials and special and other articles and appliance of every sort kind and description whatsoever intended or used therefore.

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If CSTC chooses to subtend a Verizon access Tandem, CSTC’s NPA/NXX must be assigned by CSTC to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG. 9.2.2 CSTC shall establish Access Toll Connecting Trunks pursuant to applicable access Tariffs by which it will provide Switched Exchange Access Services to Interexchange Carriers to enable such Interexchange Carriers to originate and terminate traffic to and from CSTC’s Customers. 9.2.3 The Access Toll Connecting Trunks shall be two-way trunks. Such trunks shall connect the End Office CSTC utilizes to provide Telephone Exchange Service and Switched Exchange Access to its Customers in a given LATA to the access Tandem(s) Verizon utilizes to provide Exchange Access in such LATA. 9.2.4 Access Toll Connecting Trunks shall be used solely for the transmission and routing of Exchange Access to allow CSTC’s Customers to connect to or be connected to the interexchange trunks of any Interexchange Carrier which is connected to a Verizon access Tandem.

  • Electrical appliance safety The Hirer shall ensure that any electrical appliances brought by them to the premises and used there shall be safe, in good working order, and used in a safe manner in accordance with the Electricity at Work Regulations 1989. Where a residual circuit breaker is provided the hirer must make use of it in the interests of public safety.

  • Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where Xxxx has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to Xxxx. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for Xxxx (e.g. hairpinning): 1. Roll the circuit(s) from the IDLC to any spare copper that exists to the customer premises. 2. Roll the circuit(s) from the IDLC to an existing DLC that is not integrated. 3. If capacity exists, provide "side-door" porting through the switch. 4. If capacity exists, provide "Digital Access Cross Connect System (DACS)- door" porting (if the IDLC routes through a DACS prior to integration into the switch). 2.6.2 Arrangements 3 and 4 above require the use of a designed circuit. Therefore, non- designed Loops such as the SL1 voice grade and UCL-ND may not be ordered in these cases. 2.6.3 If no alternate facility is available, and upon request from Xxxx, and if agreed to by both Parties, BellSouth may utilize its Special Construction (SC) process to determine the additional costs required to provision facilities. Xxxx will then have the option of paying the one-time SC rates to place the Loop.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!