scholarly journals Towards a GUI Test Model Using State Charts and Programming Code

2013 ◽  
pp. 271-276 ◽  
Author(s):  
Daniel Mauser ◽  
Alexander Klaus ◽  
Konstantin Holl
Keyword(s):  
Test Model ◽  
State Charts

Requirements Traceability within Model-Based Testing

2011 ◽  
Vol 2 (2) ◽  
pp. 1-21 ◽  
Author(s):  
Vanessa Grosch
Keyword(s):  
Model Checking ◽  
Graphical Representation ◽  
Timed Automata ◽  
Test Cases ◽  
Test Model ◽  
Requirements Traceability ◽  
Formal Approach ◽  
Model Based ◽  
State Charts ◽  
Model Based Testing

Requirements traceability enables the linkage between all development artifacts during the development process. Within model-based testing, requirements traceability links the original requirements with test model elements and generated test cases. Current approaches are either not practical or lack the necessary formal foundation for generating requirements-based test cases using model-checking techniques involving the requirements trace. This paper describes a practical and formal approach to ensure requirements traceability. The descriptions of the requirements are defined on path fragments of timed automata or timed state charts. The graphical representation of these paths is called a computation sequence chart (CSC). CSCs are automatically transformed into temporal logic formulae. A model-checking algorithm considers these formulae when generating test cases.

Requirements Traceability within Model-Based Testing

2013 ◽  
pp. 88-107
Author(s):  
Vanessa Grosch
Keyword(s):  
Model Checking ◽  
Graphical Representation ◽  
Timed Automata ◽  
Test Cases ◽  
Test Model ◽  
Requirements Traceability ◽  
Formal Approach ◽  
Model Based ◽  
State Charts ◽  
Model Based Testing

Requirements traceability enables the linkage between all development artifacts during the development process. Within model-based testing, requirements traceability links the original requirements with test model elements and generated test cases. Current approaches are either not practical or lack the necessary formal foundation for generating requirements-based test cases using model-checking techniques involving the requirements trace. This paper describes a practical and formal approach to ensure requirements traceability. The descriptions of the requirements are defined on path fragments of timed automata or timed state charts. The graphical representation of these paths is called a computation sequence chart (CSC). CSCs are automatically transformed into temporal logic formulae. A model-checking algorithm considers these formulae when generating test cases.

New crash test model

Nature ◽  
2001 ◽  
Author(s):  
Philip Ball
Keyword(s):  
Crash Test ◽  
Test Model

DEVELOPMENT OF A RAPID PROTOTYPING METHODOLOGY FOR WIND TUNNEL TEST MODEL DESIGN

2019 ◽  
Author(s):  
Bruno Ricardo Massucatto Padilha ◽  
Guilherme Barufaldi ◽  
ROBERTO GIL ANNES DA SILVA
Keyword(s):  
Wind Tunnel ◽  
Rapid Prototyping ◽  
Wind Tunnel Test ◽  
Test Model ◽  
Model Design

Markov Chains for Random Urinalysis 1: Age-Test Model

1993 ◽  
Author(s):  
Theodore J. Thompson ◽  
James P. Boyle ◽  
Douglas J. Hentschel
Keyword(s):  
Markov Chains ◽  
Test Model

scholarly journals Neural Network Based Contact Force Control Algorithm for Walking Robots

Sensors ◽  
2021 ◽  
Vol 21 (1) ◽  
pp. 287
Author(s):  
Byeongjin Kim ◽  
Soohyun Kim
Keyword(s):  
Neural Network ◽  
Contact Force ◽  
Force Control ◽  
Control Algorithm ◽  
Position Control ◽  
Linear Quadratic Regulator ◽  
Walking Robots ◽  
Test Model ◽  
Linear Quadratic ◽  
Contact Force Control

Walking algorithms using push-off improve moving efficiency and disturbance rejection performance. However, the algorithm based on classical contact force control requires an exact model or a Force/Torque sensor. This paper proposes a novel contact force control algorithm based on neural networks. The proposed model is adapted to a linear quadratic regulator for position control and balance. The results demonstrate that this neural network-based model can accurately generate force and effectively reduce errors without requiring a sensor. The effectiveness of the algorithm is assessed with the realistic test model. Compared to the Jacobian-based calculation, our algorithm significantly improves the accuracy of the force control. One step simulation was used to analyze the robustness of the algorithm. In summary, this walking control algorithm generates a push-off force with precision and enables it to reject disturbance rapidly.

scholarly journals Functionalized Nanoplastics (NPs) Increase the Toxicity of Metals in Fish Cell Lines

2021 ◽  
Vol 22 (13) ◽  
pp. 7141
Author(s):  
Carmen González-Fernández ◽  
Francisco Guillermo Díaz Baños ◽  
María Ángeles Esteban ◽  
Alberto Cuesta
Keyword(s):  
Sparus Aurata ◽  
Gilthead Seabream ◽  
Fish Cell ◽  
Test Model ◽  
Fish Cell Lines ◽  
Polystyrene Nanoparticles ◽  
Commercial Fish ◽  
Cellular Protection ◽  
Marine Life

Nanoplastics (NPs) are one of the most abundant environment-threatening nanomaterials on the market. The objective of this study was to determine in vitro if functionalized NPs are cytotoxic by themselves or increase the toxicity of metals. For that, we used 50 nm polystyrene nanoparticles with distinct surface functionalization (pristine, PS-Plain; carboxylic, PS-COOH; and amino PS-NH2) alone or combined with the metals arsenic (As) and methylmercury (MeHg), which possess an environmental risk to marine life. As test model, we chose a brain-derived cell line (SaB-1) from gilthead seabream (Sparus aurata), one of the most commercial fish species in the Mediterranean. First, only the PS-NH2 NPs were toxic to SaB-1 cells. NPs seem to be internalized into the cells but they showed little alteration in the transcription of genes related to oxidative stress (nrf2, cat, gr, gsta), cellular protection against metals (mta) or apoptosis (bcl2, bax). However, NPs, mainly PS-COOH and PS-NH2, significantly increased the toxicity of both metals. Since the coexistence of NPs and other pollutants in the aquatic environment is inevitable, our results reveal that the combined effect of NPs with the rest of pollutants deserves more attention.

Sign in / Sign up

Export Citation Format

Share Document