• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 117,696
Next 10 →

Table 2 shows the results of running each of these tests in summary form based on whether the test was satis able due to a test case error (TESTERR) satis - able due to a device timeout (TIMEOUT) unsatis able because the wrong area was being searched (UNSAT) or satis able due to the bug being found (BUG.) The rst two columns indicate case type and how many test cases there were for each case. The columns labeled \quasi-symbolic quot; report the average number of evaluations (times the simulator was run to complete all case splitting) and time for each test using quasi-symbolic values only. Note, that these were run on a version of the simulator optimized for quasi-symbolic values only. The last two columns give these same values using CD-MTBDD-based approximations.

in Symbolic Simulation with Approximate Values
by Chris Wilson, David L. Dill, Randal E. Bryant, Al E. Bryant 2000
"... In PAGE 12: ... Table2 . Results of Directed Test Experiment The results show that the amount of case splitting is virtually identical for satis able tests between the two methods.... ..."
Cited by 3

TABLE III A SUMMARY OF How MANY EDGES WERE ADDED BY THE LDRG ALGORITHM, SHOWN AS A PERCENT OF IHE TOIAL NUMBER OF THE 100 CASES TESTED

in TABLE III Ri N TIMES OF EQUAL WIDTH WiD-ri1 CONSiIRAINED ALGORITHMS (TIMES ARE iN MS)
by unknown authors

Tables Secondly, systems have user interfaces and user interfaces contain objects or ridgets. Their number drives the effort required to test those user interfaces. The more objects the tester has to manipulate, the higher the test effort. As is the case with the database tables, it is easier to test many user interfaces with few objects than a few interfaces with many objects. Thus, the user interface testability is the relationship of user interfaces to objects contained therein, whereby it is assumed that each user interface has at least two objects, giving the metric

in Editors
by Alain Abran, Manfred Bundschuh, Reiner Dumke, Christof Ebert, Horst Zuse 1992
Cited by 1

Table 3: Scaling factors for -irradiations and beam tests. The numbers indicate for various dE/dx thresholds, how many particles (flux in case of beam tests) are needed per square centimetre to reach the equivalent of 1 second at LHC peak luminosity. The numbers are slightly conservative for dE/dx below 78 keV, since low energy neutron interactions have not been taken into account for the beam tests.

in Factors to scale highly ionizing particle rates in MSGC irradiation tests to the LHC radiation environment
by Mika Huhtinen Cern, Mika Huhtinen
"... In PAGE 25: ...The conclusions to be drawn from Table3 are: -irradiations: If the critical dE/dx values are below 78 keV/500 m (up to 400 times the average loss of a minimum ionizing particle), then -irradiations are a good tool for testing the chambers. The scaling factor depends on the exact dE/dx threshold, but has a minimum of 74, when the critical dE/dx for the chamber is just below the average ionization loss of the injected .... ..."

Table 4. Test cases for the SPEDI framework.

in SPEDI: Static Patch Extraction and Dynamic Insertion
by Brian Fahs
"... In PAGE 5: ... Many of these cases stress multiple different features simultaneously. These test cases, their descriptions, and results are displayed in Table4 . The results in the table are the expected outcome of the test.... ..."

Table 5: Average NumberofTest Cases Per Set

in Experiments with Data Flow and Mutation Testing
by A. Jefferson Offutt, Jie Pan, Tong Zhang, Kanupriya Tewary 1994
"... In PAGE 10: ...92 0.76 Table 4: NumberofFaults Found by Mutation-Adequate and Data Flow-Adequate Test Data 6 TEST SET SIZE Table5 gives the average number of test cases for the mutation-adequate test sets and the data #0Dow-adequate test sets for each program. The most obvious observation is that in most cases, mutation requires many more test cases than data #0Dow does.... ..."

Table 1. Test Suite and Statistics about Strongly Connected Components (SCC). For the test cases there were very few (no more than 3) SCCs containing more than one class. On the other hand, those few SCCs can be very large, containing nearly 5000 edges in the case case of the Drawserv test case. The matrix test case, listed on line 3, did not contain any cycles, although there are self loops for some of the classes; some classes contain as many as four (4) of these self loop edges, as illustrated on the third row, last column of data in this table.

in The implementation of an extensible system for comparison and visualization of class ordering methodologies
by Nicholas A. Kraft, Errol L. Lloyd, Brian A. Malloy, Peter J. Clarke
Cited by 1

Table 2: Average NumberofTest Cases Per Set

in Empirical Comparisons of Data Flow and Mutation Testing
by A. Jefferson Offutt, Kanupriya Tewary 1992
"... In PAGE 9: ...For the other four test sets we #0Crst generated as many test cases as possible using Godzilla #28 the same procedure as for the other experimental programs#29 and then for the adequacy calculations added the quot;strong quot; test case mentioned above, that killed the rest of the mutants. Table2 gives the average number of test cases for the mutation adequate test sets and the data #0Dow adequate test sets for each program. The most obvious observation is that in most cases, mutation requires many more test cases than does data #0Dow.... In PAGE 12: ... The only program for which the mutation adequate test sets were not data #0Dow adequate was regula. Table2 shows that the average number of test cases required for the data #0Dow adequate test set for regula is 23.8, which is slightly more than the average number of test cases required by the mutation adequate test sets.... ..."

Table 3 b) Without a priori knowledge of the shape of the solution In the most general case, we do not have a priori information on the shape of the solution. In order to nd the optimal solution, many paths must be tested which can have very various shapes.

in Integration of Global Information for Roads Detection In Satellite Images
by Nicolas Merlet, Nicolas Merlet, Josiane Zerubia, Josiane Zerubia, Projet Pastis

Table 2 is an example of an C7BTB4BLBN BGBN BFBN BEB5. Although the use of orthogonal arrays for testing has been discussed in the literature [2, 27] these may be of less interest in component testing because they could lead to overly large test suites with AL BQ BD. For cases of DA and CZ where an orthogonal array with AL BP BD does exist, clearly this is the optimal test suite. However, there are many val- ues of DA and CZ where an orthogonal array with AL BPBDdoes

in Constructing test suites for interaction testing
by Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugridge 2003
"... In PAGE 2: ...Browser OS Connection Printer 1 NetScape Windows LAN Local 2 NetScape Linux ISDN Networked 3 NetScape Macintosh PPP Screen 4 IE Windows ISDN Screen 5 IE Macintosh LAN Networked 6 IE Linux PPP Local 7 Other Windows PPP Networked 8 Other Linux LAN Screen 9 Other Macintosh ISDN Local Table2 . Test Suite to Cover all Pairs from Ta- ble 1 four way interactions.... ..."
Cited by 23
Next 10 →
Results 1 - 10 of 117,696
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University