unit testing - citeseer query

Software Development Methodology for High Consequence Systems - Baca Bouchard Collins (1997)

Extract: "cleanly compiled"from the first sentence. Unit testing automatically implies cleanly compiled. 3.5.1
to produce code units which have been thoroughly unit tested. Inspection of the code includes a surety

Original link

_{-- Delivered by Feed43 service}

Tight Spiral Projects for Communicating Software.. - Clinton Jeffery Division (1998)

Extract: rapid prototyping, source code control, unit testing and code integration. Maintenance is a
fourth iteration emphasizes revision control, unit testing and integration. Lectures describe a variety

Original link

_{-- Delivered by Feed43 service}

Formally Verified On-Line Diagnosis - Walter, Lincoln, Suri (1997)

Extract: that are capable of testing each other. Unit-to-unit testing assignments are established to obtain test
results could be relied upon when any fault-free unit tested a faulty unit. Derivatives and subsequent work

Original link

_{-- Delivered by Feed43 service}

.6 Rationale for NIST Participation - Required Nist Resources

Extract: testing techniques are typically applied to unit testing of code, while tests for standards are often

Original link

_{-- Delivered by Feed43 service}

An Empirical Study of the Branch Coverage of Different Fault.. - Cline, Werner

Extract: testing. High branch coverage is common in unit testing, but can be a dicult goal to reach in system
While branch coverage is most often measured in unit testing, in recent years it has gained popularity as

Original link

_{-- Delivered by Feed43 service}

Model Checking Java Programs Using Java PathFinder - Havelund, Pressburger (1998)

Extract: can imagine model checking being applied for unit testing, where one focuses on a single class (or a few
this small system. This can be regarded as unit testing the buffer. Concretely, we shall define two

Original link

_{-- Delivered by Feed43 service}

Criteria for Generating Specification-based Tests - Offutt, Xiong, Liu (1999)

Extract: generation is often thought of as useful for unit testing, when individual functions or modules are

Original link

_{-- Delivered by Feed43 service}

A Case Study Of IV&V Cost Effectiveness - Neal, McCaugherty, Joshi, Callahan (1997)

Extract: Design (DD) Phase 4: Implementation (coding and unit testing) Imp) Phase 5: Integration and System Test
examination normally starts during coding and unit testing (Phase 4) and concludes at the end of

Original link

_{-- Delivered by Feed43 service}

IBDL: A Language for Interface Behavior Specification and.. - Viswanadha, al.

Extract: developed at Sun Microsystems Laboratories for unit-testing of Cprograms. Another bene#t of this

Original link

_{-- Delivered by Feed43 service}

Concurrency Control in Advanced Database Applications - Barghouti, Kaiser (1994)

Extract: of the code such as the completion of unit testing. Other traditional concurrency control schemes

Original link

_{-- Delivered by Feed43 service}

Verification and Validation in a Rapid Software Development .. - Callahan, Easterbrook

Extract: they are expensive and poor substitutes for unit testing. Important objectives of unit testing are
for unit testing. Important objectives of unit testing are to ensure that adequate test coverage is
tool was used to develop and perform white-box testing (unit and integrated component level verification)

Original link

_{-- Delivered by Feed43 service}

Test Generation and Recognition with Formal Methods - Ammann, Black (2000)

Extract: several functional source code benchmarks for unit testing, then generated good test sets. Currently we

Original link

_{-- Delivered by Feed43 service}

A Flexible Rule-Chaining Engine for Process-Based.. - Tong, Kaiser, Popovich (1994)

Extract: each of the affected source files has passed unit testing successfully. Each of the steps after reserve
built, the system guidance chained to the unit test rule on "agenda module" and then the build

Original link

_{-- Delivered by Feed43 service}

Manufacturer's CORBA Interface Testing Toolkit: Overview - Flater (1999)

Extract: automatically. Dummy components are useful for unit testing, where one component must be tested in
following varieties of software testing. 3.1 Unit Testing Before a component is integrated into a

Original link

_{-- Delivered by Feed43 service}

An Approach To Analyzing and Testing Component-Based Systems - Harrold, Liang, Sinha (1999)

Extract: testing a component is similar to traditional unit testing. However, traditional unittesting criteria,
traditional unit testing. However, traditional unittesting criteria, such as statement and branch

Original link

_{-- Delivered by Feed43 service}

Criteria for Testing Exception-Handling Constructs in Java.. - Sinha, Harrold (1999)

Extract: are directed towards attaining those goals. Unit testing, for example, tests each individual module in
way in which the criteria can be used during unit testing and integration testing. 4.1 Computation of
from i to j. 4.2 Using the criteria for unit testing Unit testing focuses on testing individual modules

Original link

_{-- Delivered by Feed43 service}

v-Promela: A Visual, Object-Oriented Language for SPIN - Leue, Holzmann

Extract: by a design stage, an implementation and unit testing stage, an integration testing stage, and

Original link

_{-- Delivered by Feed43 service}

Software Quality: A Curriculum Postscript? - Thomas Hilburn Embry-Riddle (2000)

Extract: techniques that are used seem to center around unit testing. Students often end up, like many professional
design phase. At the same time, planning for unit testing begins. Next, as the coding for a unit is

Original link

_{-- Delivered by Feed43 service}

Computing - Glendenning, Raffi (2000)

Extract: Code acceptance and documentation standards. Testing (unit and integration)Maintain a list of

Original link

_{-- Delivered by Feed43 service}

Extended TTCN in Software Testing - Liu, Dasiewicz

Extract: Firstly, the syntax of TTCN too cumbersome for unit testing, which requires a much more lightweight

Original link

_{-- Delivered by Feed43 service}