Operator, organizational, direct support, and general support maintenance manual including repair parts and special tool lists ... : various machine gun mounts and combinations used on tactical and armored vehicles : mounts, machine gun ... 1005-774-6836 (M548 carrier).

"February 1973."

Operator's, organizational, direct support, and general support maintenance manual for tool outfit, Hydraulic Systems Test and Repair (HSTRU) (NSN 4940-01-036-5784).

Includes index.

Operators, organizational, direct support, general support and depot maintenance manual including repair parts and special tool lists : teletypewriter terminal AN/MGC-22, (NSN 5815-00-766-5080).

Includes index.

Operator, organizational, direct support, general support, and depot maintenance manual, including repair parts and special tool lists : public address set AN/PIQ-5A.

"January 1969."

Direct support, general support and depot maintenance manual, including repair parts and special tool lists : radar set AN/PPS-4A (NSN-5840-00-168-1566).

Includes index.

Operator, organizational, direct support, general support, and depot maintenance manual including repair parts and special tool lists : filter kit, infrared, MK-1159/PAS-5.

"May 1969."

Operator's, organizational, direct support and general support maintenance manual (including repair parts and special tools lists) : b power supply PP-3940/G (including repair parts and special tool lists).

"28 February 1966."

Direct support maintenance repair parts and special tool lists (including depot report maintenance repair parts and special tools) for digital data generator SG-1139( )/G, (NSN 6625-01-136-2046).

Includes index.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.