Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling. This paper presents the real-time extended interface automata (RTEIA) which adds clearer and more detailed temporal information description by the application of time words. We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field. Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper. The feasibility and efficiency of this method have been verified in the testing of one real aircraft braking system.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4032670 | PMC |
| http://dx.doi.org/10.1155/2014/731041 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Bone and Nerve Response to Sciatic Compression Neuropathy in a Rabbit Model.
J Orthop Res
January 2025
Department of Orthopaedic Surgery, Montefiore Einstein, Bronx, New York, USA.
Compression neuropathy is a prevalent medical condition, including common types such as carpal tunnel syndrome, cubital tunnel syndrome, sciatica, and many others. While the neurological consequences are well understood, the effects on bone properties and the potential downstream impact on fracture risk remain less clear. This study aimed to assess the influence of compressive neuropathy on bone properties using a rabbit model of sciatic nerve compression.
View Article and Find Full Text PDFAssessment of healthcare facilities' readiness to provide antenatal care in Ethiopia: facility based study using service provision assessment data.
Arch Public Health
January 2025
School of Women's and Children's Health, University of New South Wales Sydney, Kensington, Australia.
Background: Readiness of healthcare facilities is essential for delivering quality healthcare services. There is limited evidence on the antenatal care (ANC) readiness of healthcare facilities in Ethiopia. This study aimed to assess the readiness of ANC services and its influencing factors in Ethiopian healthcare facilities.
View Article and Find Full Text PDFLos olvidados: Non-BRCA variants associated with Hereditary breast cancer in Mexican population.
Breast Cancer Res
January 2025
Servicio de Oncología, Centro Universitario Contra el Cáncer (CUCC), Hospital Universitario "Dr. José Eleuterio González", Universidad Autónoma de Nuevo León, 66451, Monterrey, Nuevo León, México.
Background: Hereditary predisposition to breast and ovarian cancer syndrome (HBOC) is a pathological condition with increased cancer risk, including breast (BC), ovarian cancer (OC), and others. HBOC pathogenesis is caused mainly by germline pathogenic variants (GPV) in BRCA1 and BRCA2 genes. However, other relevant genes are related to this syndrome diagnosis, prognosis, and treatment, including TP53, PALB2, CHEK2, ATM, etc.
View Article and Find Full Text PDFEffect of high-quality nursing interventions on the quality of life and cardiac index in acute coronary syndrome patients treated with drug-eluting stents: a randomized trial study.
BMC Nurs
January 2025
Department of Nursing, Jahrom University of Medical Sciences, Jahrom, Iran.
Background: Nursing care is important and necessary for Acute Coronary Syndrome patients who have undergone angiography and stenting, to minimize complications. The purpose of this study was to assess the effects of High-Quality Nursing Interventions on the quality of life and cardiac index of Acute Coronary Syndrome patients, treated with drug-eluting stents.
Methods: In this randomized trial, 70 patients of the cardiac intensive care units in one of Jahrom university of medical sciences hospitals (Iran) were selected from July 2023 to October 2023 by the available method, and randomly allocated (stochastic assignment) to two intervention (High-Quality Nursing Interventions) and control groups (routine nursing care).
Spatial analysis and associated risk factors of HIV prevalence in Botswana: insights from the 2021 Botswana AIDS Impact Survey (BAIS V).
BMC Infect Dis
January 2025
Department of Geography, Binghamton University, New York, USA.
Background: The global burden of HIV and AIDS continues to significantly impact public health, particularly in Sub-Saharan Africa. This study investigates the spatial distribution and associated risk factors of HIV prevalence in Botswana using data from the 2021 Botswana AIDS Impact Survey (BAIS V).
Methods: The analysis included 12,653 adults aged 15-64 years and employed chi-square tests, multilevel mixed-effects regression, and spatial analysis techniques.
Want AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!