Results 211 to 220 of about 402,416 (268)
Some of the next articles are maybe not open access.
Static Estimation of Test Coverage
2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009Test coverage is an important indicator for unit test quality. Tools such as Clover compute coverage by first instrumenting the code with logging functionality, and then logging which parts are executed during unit test runs. Since computation of test coverage is a dynamic analysis, it presupposes a working installation of the software.
Tiago L. Alves, Joost Visser 0001
openaire +2 more sources
Testing interconnections to static RAMs
IEEE Design & Test of Computers, 1991A method for testing the interconnections of ordinary static RAMs with a processor that has a boundary-scan register and an IEEE 1149.1 test-access port is described. The method uses an enhanced boundary-scan-register design that manipulates the test-access-port controller states to meet the static RAM's timing constraints.
openaire +2 more sources
Testing static analyses for precision and soundness
Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020Static analyses compute properties of programs that are true in all executions, and compilers use these properties to justify optimizations such as dead code elimination. Each static analysis in a compiler should be as precise as possible while remaining sound and being sufficiently fast.
Jubi Taneja +2 more
openaire +2 more sources
Automated Test Generation and Static Analysis
Programming and Computer Software, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1976
The engineer generally thinks of the practical, quantitative properties of materials as single, approximate values such as those found in a handbook1 or encyclopedia.2 Such values represent selected or average results culled from the technical literature, where the data come from standardized tests, especially those of the ASTM.3 The tests are ...
Theodore George Rochow +1 more
openaire +1 more source
The engineer generally thinks of the practical, quantitative properties of materials as single, approximate values such as those found in a handbook1 or encyclopedia.2 Such values represent selected or average results culled from the technical literature, where the data come from standardized tests, especially those of the ASTM.3 The tests are ...
Theodore George Rochow +1 more
openaire +1 more source
Testing meets static and runtime verification
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018Test driven development (TDD) is a technique where test cases are used to guide the development of a system. This technique introduces several advantages at the time of developing a system, e.g. writing clean code, good coverage for the features of the system, and evolutionary development. In this paper we show how the capabilities of a testing focused
Jesús Mauricio Chimento +2 more
openaire +1 more source
STARTS: STAtic regression test selection
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017Regression testing is an important part of software development, but it can be very time consuming. Regression test selection (RTS) aims to speed up regression testing by running only impacted tests—the subset of tests that can change behavior due to code changes. We present STARTS, a tool for STAtic Regression Test Selection.
Owolabi Legunsen +2 more
openaire +2 more sources
Detecting Damage in a Beam by Static Tests
Key Engineering Materials, 2005This paper presents a constructive procedure for the identification of a single crack in a beam based on the knowledge of the damage-induced variations in the static deflection of the beam. The crack is simulated by an equivalent rotational spring connecting the two adjacent segments of the beam.
CADDEMI, Salvatore, MORASSI A.
openaire +4 more sources
Static and Dynamic Tests of Concrete Bridge
Journal of Structural Engineering, 1987Both static and dynamic tests were carried out on an old reinforced concrete bridge prior to its demolition. The purpose of the static test was to calibrate the mathematical model used in the structural analysis. By comparing deflections, the restraining moments at the supports were estimated.
Lee, Peter KK, Ho, Duen, Chung, HungWan
openaire +2 more sources
Testing Static Equilibrium for Legged Robots
IEEE Transactions on Robotics, 2008Consider a legged robot at fixed foot placements. Where can the robot move its center of mass (CM) while remaining in static equilibrium? If the terrain is flat, the CM must lie above the convex hull of the robot's feet. If the terrain is not flat, this often-used approximation can be arbitrarily bad.
Timothy Bretl, Sanjay Lall
openaire +1 more source