Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Statically Indeterminate Problem Solving

Statically Indeterminate Problem Solving

Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...

Distribution Reliability and Automation

Distribution Reliability and Automation

Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...

Automatic Processing and Automatic Social Behavior

Automatic Processing and Automatic Social Behavior

Automatic processing refers to the cognitive operations that occur without conscious intent or awareness, playing a fundamental role in shaping social cognition and behavior. These processes enable individuals to navigate complex social environments efficiently by relying on mental shortcuts and pre-existing knowledge structures known as schemas. One of the most influential mechanisms underlying automatic processing is priming, which subtly activates mental representations through exposure to...

Control Systems: Applications

Control Systems: Applications

Electrical engineering plays a pivotal role in our daily lives, with control systems at the heart of many applications, from home appliances to sophisticated space shuttles. Control systems manage and regulate the behavior of devices and processes, ensuring they function safely, correctly, and efficiently.
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The...

State Space Representation

State Space Representation

The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

The subpleural pulmonary microvasculature in newborn yak (Bos grunniens).

Veterinary research communications·2008

Same author

Experimental confirmation of potential swept source optical coherence tomography performance limitations.

Applied optics·2008

Same author

A germin-like protein gene family functions as a complex quantitative trait locus conferring broad-spectrum disease resistance in rice.

Plant physiology·2008

Same author

[Spatial and temporal changes of palatal cell proliferation and cell apoptosis of retinoic acid induced mouse cleft palate in different embryonic stages].

Hua xi kou qiang yi xue za zhi = Huaxi kouqiang yixue zazhi = West China journal of stomatology·2008

Same author

Identification of an Atlantic salmon IFN multigene cluster encoding three IFN subtypes with very different expression properties.

Developmental and comparative immunology·2008

Same author

Non-Gaussian statistics and superdiffusion in a driven-dissipative dusty plasma.

Physical review. E, Statistical, nonlinear, and soft matter physics·2008

Same journal

Opportunities and Challenges of Integrating Ethiopian Traditional Medicine System Into Modern Medicine: A Narrative Review.

TheScientificWorldJournal·2026

Same journal

Exploring the Antiparasitic Activity of the Sea Cucumber Isostichopus sp. aff. badionotus From the Northern Coast of Colombia Against Trypanosoma cruzi.

TheScientificWorldJournal·2026

Same journal

Kalanchoe ceratophylla (Crassulaceae): The True Identity of Sidingin, a Medicinal Plant From Sumatra, Based on Morphological and Molecular Evidence.

TheScientificWorldJournal·2026

Same journal

Genetic Variation of Chicken Growth Differentiation Factor-9 Gene and Association With Egg Characteristics: A Systematic Review.

TheScientificWorldJournal·2026

Same journal

Applied Research on the Effect of Risks on Public Health Building Projects' Performance: Empirical Results From Tanzania.

TheScientificWorldJournal·2026

Same journal

Projected Impacts of Climate and Land Use/Land Cover Change on Sediment Yield and Surface Runoff in the Baro River Sub-Basin, Ethiopia.

TheScientificWorldJournal·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Apr 28, 2026

Interactive and Visualized Online Experimentation System for Engineering Education and Research

Interactive and Visualized Online Experimentation System for Engineering Education and Research

Published on: November 24, 2021

Real-time extended interface automata for software testing cases generation.

Shunkun Yang¹, Jiaqi Xu¹, Tianlong Man¹

¹School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China.

Thescientificworldjournal

|June 4, 2014

Summary

This summary is machine-generated.

This study introduces real-time extended interface automata (RTEIA) to improve software component interface testing by enhancing temporal descriptions and input control. The method was successfully validated on an aircraft braking system.

More Related Videos

One Dimensional Turing-Like Handshake Test for Motor Intelligence

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on: December 15, 2010

Efficient Sampling of Genetically Encoded Biosensor Design Space Enabled with a Design of Experiments and Automation Workflow

Efficient Sampling of Genetically Encoded Biosensor Design Space Enabled with a Design of Experiments and Automation Workflow

Published on: October 17, 2025

Related Experiment Videos

Last Updated: Apr 28, 2026

Interactive and Visualized Online Experimentation System for Engineering Education and Research

Interactive and Visualized Online Experimentation System for Engineering Education and Research

Published on: November 24, 2021

One Dimensional Turing-Like Handshake Test for Motor Intelligence

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on: December 15, 2010

Efficient Sampling of Genetically Encoded Biosensor Design Space Enabled with a Design of Experiments and Automation Workflow

Efficient Sampling of Genetically Encoded Biosensor Design Space Enabled with a Design of Experiments and Automation Workflow

Published on: October 17, 2025

Area of Science:

Computer Science
Software Engineering
Systems Engineering

Background:

Traditional modeling languages struggle with temporal information and input control for complex software interfaces.
Software component interface testing is critical due to intricate interactions.

Purpose of the Study:

To present a novel approach, real-time extended interface automata (RTEIA), for enhanced software interface testing.
To address limitations in temporal description and input control in existing modeling languages.

Main Methods:

Introduction of real-time extended interface automata (RTEIA) incorporating time words for detailed temporal descriptions.
Development of input interface automata for each input to manage input control and interface coverage.
Presentation of RTEIA definitions and a testing case generation algorithm.

Main Results:

The proposed RTEIA method enhances temporal information description and input controlling for software testing.
A testing case generation algorithm is detailed alongside the RTEIA definitions.
Feasibility and efficiency were confirmed through testing a real aircraft braking system.

Conclusions:

RTEIA offers a robust solution for the challenges in software component interface testing.
The method provides improved temporal accuracy and control over software testing inputs.
Validated on a critical system, RTEIA demonstrates practical applicability and effectiveness.