Flight control system design factors for applying automated testing techniques

Automated validation of flight-critical embedded systems is being done at ARC Dryden Flight Research Facility. The automated testing techniques are being used to perform closed-loop validation of man-rated flight control systems. The principal design features and operational experiences of the X-29 forward-swept-wing aircraft and F-18 High Alpha Research Vehicle (HARV) automated test systems are discussed. Operationally applying automated testing techniques has accentuated flight control system features that either help or hinder the application of these techniques. The paper also discusses flight control system features which foster the use of automated testing techniques

Functional Requirements-Based Automated Testing for Avionics

We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order to generate tests automatically that are good enough to replace existing labor-intensive test writing procedures while maintaining independence from implementation artefacts. Given that existing manual processes are often empirical and subjective, we begin by formally defining a metric, which extends recognized best practice from code coverage analysis strategies to generate tests that adequately cover the requirements. We then formulate the automated test generation procedure and apply its prototype in case studies with industrial partners. In review, the method developed here is demonstrated to significantly reduce the human effort for the qualification of software products under DO-178 guidance

Automated testing data reduction computer program

The capability of a computer program which can be part of a larger computer program for a fully automated multiaxial testing facility is described. The program was designed to process test data from tubular or flat specimens made from isotropic or anistropic materials, including high modulus fiber composites. Data from a large number of strain gages and combinations of applied loads can be used. Options are provided for single element, 90-degree, rectangular or Delta rosettes, or any combinations of these types of strain gages. Options are provided for strain gage transverse sensitivities. The program outputs include: structural axes strains and stresses, initial and strain-dependent elastic constants, shift of principal strain direction with load, and local curvatures from back-to-back strain gages, and either Calcomp or microfilm plots. The computer program is described with respect to its flow chart, input/output, embedding or linking with other programs

Automated testing of developmental satellite communications systems and subsystems

Lower frequency bands allocated for satellite communications use are becoming saturated due to steadily increasing demand. An ongoing program to develop the new technologies required to meet the demands of future systems is described. Higher frequency components and more efficient system techniques are developed. In order to accurately evaluate the performance of these technologies, an automated test system was designed and built. The automated system's design an capabilities are discussed

Automated Testing of Web Pages

Práce se týká automatizace testů uživatelského rozhraní. Po stručném úvodu jsou popsány některé nástroje, které usnadňují tvorbu automatických testů uživatelského rozhraní webových aplikací a následně je prezentován návrh architektury automatizačního frameworku, který umožňuje jeho uživatelům psát automatizační testy jednoduše. Práce končí rozborem praktických příkladů a validací návrhu.This paper deals with user interface testing automation. After a brief introduction a description of tools facilitating the making of a suite of automated web application user interface tests follows. Afterwards a proposition of an architecture design of an automation framework allowing its users to write user interface test easily is provided. The paper concludes with an analysis of practical examples and validation of the architecture design.