Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Maximal power output during incremental cycling test is dependent on the curvature constant of the power-time relationship

The aim of this study was to investigate whether the maximal power output (Pmax) during an incremental test was dependent on the curvature constant (W') of the power-time relationship. Thirty healthy male subjects (maximal oxygen uptake = 3.58 ± 0.40 L·min(-1)) performed a ramp incremental cycling test to determine the maximal oxygen uptake and Pmax, and 4 constant work rate tests to exhaustion to estimate 2 parameters from the modeling of the power-time relationship (i.e., critical power (CP) and W'). Afterwards, the participants were ranked according to their magnitude of W'. The median third was excluded to form a high W' group (HIGH, n = 10), and a low W' group (LOW, n = 10). Maximal oxygen uptake (3.84 ± 0.50 vs. 3.49 ± 0.37 L·min(-1)) and CP (213 ± 22 vs. 200 ± 29 W) were not significantly different between HIGH and LOW, respectively. However, Pmax was significantly greater for the HIGH (337 ± 23 W) than for the LOW (299 ± 40 W). Thus, in physically active individuals with similar aerobic parameters, W' influences the Pmax during incremental testing.

Proposta de teste incremental baseado na percepção subjetiva de esforço para determinação de limiares metabólicos e parâmetros mecânicos do nado livre

A percepção subjetiva de esforço (PSE) é determinada de forma não invasiva e utilizada juntamente com a resposta lactacidêmica como indicadores de intensidade durante teste incremental. em campo, especialmente na natação, há dificuldades nas coletas sanguíneas; por isso, utilizam-se protocolos alternativos para estimar o limiar anaeróbio. Assim, os objetivos do estudo foram: prescrever um teste incremental baseado na PSE (Borg 6-20) visando estimar os limiares metabólicos determinados por métodos lactacidêmicos [ajuste bi-segmentado (V LL), concentração fixa-3,5mM (V3,5mM) e distância máxima (V Dmáx)]; relacionar a PSE atribuída em cada estágio com a freqüência cardíaca (FC) e com parâmetros mecânicos de nado [freqüência (FB) e amplitude de braçada (AB)], analisar a utilização da escala 6-20 na regularidade do incremento das velocidades no teste e correlacionar os limiares metabólicos com a velocidade crítica (VC). Para isso, 12 nadadores (16,4 ± 1,3 anos) realizaram dois esforços máximos (200 e 400m); os dados foram utilizados para determinar a VC, velocidade de 400m (V400m) e a freqüência crítica de braçada (FCb); e um teste incremental com intensidade inicial baseada na PSE, respectivamente, 9, 11, 13, 15 e 17; sendo monitorados em todos os estágios a FC, lactacidêmia e os tempos de quatro ciclos de braçadas e das distâncias de 20m (parte central da piscina) e 50m. Posteriormente, foram calculadas as velocidades dos estágios, FB, AB, V LL, V3,5mM e V Dmáx. Utilizaram-se ANOVA e correlação de Pearson para análise dos resultados. Não foram encontradas diferenças entre VC, V Dmáx e V LL, porém a V3,5mM foi inferior às demais velocidades (P < 0,05). Correlações significativas (P < 0,05) foram observadas entre VC versus V400m, V Dmáx e V3,5mM; V400m versus V3,5mM e V Dmáx; V Dmáx versus V LL; e no teste incremental entre PSE versus velocidade, [Lac], FC, FB e AB (P < 0,05). Concluímos que a PSE é uma ferramenta confiável no controle da velocidade dos estágios durante teste incremental na natação.

The Lactate Minimum Test protocol provides valid measures of cycle ergometer VO2 peak

Aim. The aim of the present study was to investigate the validity of the Lactate Minimum Test (LMT) for the determination of peak VO2 on a cycle ergometer and to determine the submaximal oxygen uptake (VO2) and pulmonary ventilation (VE) responses in an incremental exercise test when it is preceded by high intensity exercise (i.e., during a LMT).Methods. Ten trained male athletes (triathletes and cyclists) performed 2 exercise tests in random order on an electromagnetic cycle ergometer: 1) Control Test (CT): an incremental test with an initial work rate of 100 W, and with 25 W increments at 3-min intervals, until voluntary exhaustion; 2) LMT: an incremental test identical to the CT, except that it was preceded by 2 supramaximal bouts of 30-sec (similar to120% VO(2)peak) with a 30-sec rest to induce lactic acidosis. This test started 8 min after the induction of acidosis.Results. There was no significant difference in peak VO2 (65.6+/-7.4 ml.kg(-1).min(-1); 63.8+/-7.5 ml.kg(-1).min(-1) to CT and LMT, respectively). However, the maximal power output (POmax) reached was significantly higher in CT (300.6+/-15.7 W) than in the LMT (283.2+/-16.0 W).VO2 and VE were significantly increased at initial power outputs in LMT.Conclusion. Although the LMT alters the submaximal physiological responses during the incremental phase (greater initial metabolic cost), this protocol is valid to evaluate peak VO2, although the POmax reached is also reduced.

Efeito da cadência de pedalada sobre as respostas metabólica e cardiovascular durante o exercício incremental e de carga constante em indivíduos ativos

The main purpose of this study was to analyze the effect of the pedaling cadence (500 × 100 rpm) on the heart rate (HR) and the blood lactate response during incremental and constant workload exercises in active individuals. Nine active male individuals (20.9 ± 2.9 years old; 73.9 ± 6.5 kg; 1.79 ± 0.9 m) were submitted to two incremental tests, and to 6-8 constant workload tests to determine the intensity corresponding to the maximal steady state lactate (MLSSintens) in both cadences. The maximal power (Pmax) attained during the incremental test, and the MLSSintens were significantly lower at 100 rpm (240.9 ± 12.6 W; 148.1 ± 154.W) compared to 50 rpm (263.9 ± 18.6 W; 186.1 ± 21.2 W), respectively. The HRmax did not change between cadences (50 rpm = 191.1 ± 8.8 bpm; 100 rpm = 192.6 ± 9.9 bpm). Regardless the cadence, the HRmax percentage (70, 80, 90, and 100%) determined the same lactate concentrations during the incremental test. However, when the intensity was expressed in Pmax percentage or in absolute power, the lactate and the HR values were always higher at highest cadences. The HR corresponding to MLSSintens was similar between cadences (50 rpm = 162.5 ± 9.1 bpm; 100 rpm = 160.4 ± 9.2 bpm). Based on these results, it can be conclude that regardless the cadence employed (50 × 100 rpm), the use of the HR to individualize the exercise intensity indicates similar blood lactate responses, and this relationship is also kept in the exercise of constant intensity performed at MLSSintens. On the other hand, the use of the Pmax percentages depend on the cadence used, indicating different physiological responses to a same percentage.

Análise de parâmetros eletromiográficos e cinemáticos durante teste incremental de corrida: Priscila de Brito Silva. -

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Analysis of cardiopulmonary and metabolic variables measured during laboratory and sport-specific incremental tests for table tennis performance prediction

Purpose. - The purposes of this study were: i) to compare the physiological responses measured during a specific table tennis incremental test with the physiological responses measured during cycling, arm cranking, and treadmill running tests; and ii) to verify the accuracy of table tennis performance prediction based on the physiological responses from these tests.Methods. - Eleven national level male table tennis players participated in the study and undertook incremental tests using ergometers. Table tennis performance was defined as the ranking obtained during a simulated tournament between the participants.Results. - In general, peak values for physiological variables (e.g., (V) over dotO(2PEAK) and [La]PEAK) were significantly lower (P < 0.05) in the specific test (e.g., (V) over dotO(2PEAK) = 39.9 +/- 1.5 ml.kg(-1) per minute and [La]PEAK = 6.4 +/- 0.5 mmol.L-1) than during cycling (e.g., (V) over dotO(2PEAK) = 41.3 +/- 1.4 ml.kg(-1) per minute and [La]PEAK = 10.2 +/- 0.7 mmol.L-1) or running (e.g., (V) over dotO(2PEAK) = 43.9 +/- 1.5 ml.kg(-1) per minute and [La]PEAK = 10.0 +/- 0.7 mmol.L-1), but higher than during arm cranking (e.g., (V) over dotO(2PEAK) = 26.6 +/- 1.6 ml.kg(-1) per minute and [La]PEAK = 8.9 +/- 0.6 mmol.L-1). At respiratory compensation point intensity (RCP), only the variables measured on arm cranking were lower (P < 0.05) than on the other ergometers. Stepwise multiple regression analysis showed significant correlation between table tennis performance and lactate concentration ([La]) and also rate of perceived effort (RPE) at RCP during cycling (r = 0.89; P < 0.05).Conclusion. - In conclusion, the significant differences obtained between the specific and laboratory ergometers demonstrate the need to use a specific test to measure physiological parameters in table tennis and the physiological parameters measured, independent of the ergometer used, are unable to predict table tennis performance. (C) 2013 Elsevier Masson SAS. All rights reserved.

Reliability of peak running speeds obtained from different incremental treadmill protocols

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Effect of an acute β-adrenergic blockade on the blood glucose response during lactate minimum test

The aim of this study was to determine the relationship between blood lactate and glucose during an incremental test after exercise induced lactic acidosis, under normal and acute β-adrenergic blockade. Eight fit males (cyclists or triathletes) performed a protocol to determine the intensity corresponding to the individual equilibrium point between lactate entry and removal from the blood (incremental test after exercise induced lactic acidosis), determined from the blood lactate (Lacmin) and glucose (Glucmin) response. This protocol was performed twice in a double-blind randomized order by ingesting either propranolol (80 mg) or a placebo (dextrose), 120 min prior to the test. The blood lactate and glucose concentration obtained 7 minutes after anaerobic exercise (Wingate test) was significantly lower (p<0.01) with the acute β-adrenergic blockade (9.1±1.5 mM; 3.9±0.1 mM), respectively than in the placebo condition (12.4±1.8 mM; 5.0±0.1 mM). There was no difference (p>0.05) between the exercise intensity determined by Lacmin (212.1±17.4 W) and Glucmin (218.2±22.1 W) during exercise performed without acute β-adrenergic blockade. The exercise intensity at Lacmin was lowered (p<0.05) from 212.1±17.4 to 181.0±15.6 W and heart rate at Lacmin was reduced (p<0.01) from 161.2±8.4 to 129.3±6.2 beats min-1 as a result of the blockade. It was not possible to determine the exercise intensity corresponding to Glucmin with β-adrenergic blockade, since the blood glucose concentration presented a continuous decrease during the incremental test. We concluded that the similar pattern response of blood lactate and glucose during an incremental test after exercise induced lactic acidosis, is not present during β-adrenergic blockade suggesting that, at least in part, this behavior depends upon adrenergic stimulation.

Running-based anaerobic sprint test as a procedure to evaluate anaerobic power

The aim of this study was to evaluate the use of the running anaerobic sprint test (RAST) as a predictor of anaerobic capacity, compare it to the maximal accumulated oxygen deficit (MAOD) and to compare the RAST's parameters with the parameters of 30-s all-out tethered running on a treadmill. 39 (17.0±1.4 years) soccer players participated in this study. The participants underwent an incremental test, 10 submaximal efforts [50-95% of velocity correspondent to VO2MAX (vVO2MAX)] and one supramaximal effort at 110% of vVO2MAX for the determination of MAOD. Furthermore, the athletes performed the RAST. In the second stage the 30-s all-out tethered running was performed on a treadmill (30-s all-out), and compared with RAST. No significant correlation was observed between MAOD and RAST parameters. However, significant correlations were found between the power of the fifth effort (P5) of RAST with peak and mean power of 30-s all-out (r=0.73 and 0.50; p<0.05, respectively). In conclusion, the parameters from RAST do not have an association with MAOD, suggesting that this method should not be used to evaluate anaerobic capacity. Although the correlations between RAST parameters with 30-s all-out do reinforce the RAST as an evaluation method of anaerobic metabolism, such as anaerobic power.

Reproducibility of heart rate and rating of perceived exertion values obtained from different incremental treadmill tests

Objective The present study aimed to examine the reproducibility of heart rate (HR) and rating of perceived exertion (RPE) values obtained during different incremental treadmill tests. Equipment and methods Twenty male, recreational, endurance-trained runners (10-km running pace: 10–15 km·h−1) performed, in a counterbalanced order, three continuous incremental exercise tests with different speed increments (0.5 km·h−1, 1 km·h−1 and 2 km·h−1). Thereafter, each participant performed the three tests again, maintaining the same order as before. The reproducibility of the HR and RPE values were analyzed for all protocols during submaximal intensities (8, 10, 12, and 14 km·h−1). In addition, it was examined the reproducibility of maximal HR (HRmax) and peak RPE (RPEpeak). Results The variability of both the HR and RPE values showed a tendency to decrease over the stages during the incremental test and was not or slightly influenced by the incremental test design. The HR at 14 km·h−1 and HRmax presented the highest reproducibility (CV < 2%). In contrast, the submaximal RPE values showed higher variability indices (i.e., CV > 5.0%). In conclusion, the HR values were highly reproducible during the stages of the incremental test, in contrast to the RPE values that presented limited reproducibility.

Correlation between Hoff test performance, body composition and aerobic and anaerobic fitness in professional soccer players

Purpose The purpose of the study was to investigate a possible association between the distance covered in the Hoff test with parameters of maximal oxygen uptake (V_O2MAX), anaerobic threshold, anaerobic fitness, and body composition of professional adult soccer players. Methods Twenty-five professional soccer players (20 ± 3 years) participated in the study. On different days the athletes performed: a graded incremental exercise test in a laboratory to measure V_O2MAX; a specific soccer field test called the Hoff test; a running anaerobic sprint test (RAST); an incremental test on an oval circuit to determine the velocity relative to anaerobic threshold (VAnT) and an estimation of body composition. Results The average V_O2MAX corresponded to 4.1 ± 0.1 L min-1 (54.1 ± 1.2 mL kg-1 min-1 ). The average distance covered during the Hoff test was 1,442.4 ± 30.0 m. The distance covered during the Hoff test showed significant correlations with absolute and expressed in an appropriated scale V_O2MAX (r = 0.44, p = 0.02; r = 0.42, p = 0.02, respectively) while no significant differences were found with body composition, VAnT and RAST variables. Conclusions The present study demonstrated that the distance covered during the Hoff test has weak correlation with V_O2MAX determined in treadmill running, and no correlation with VAnT, body composition and RAST outcomes, probably due to the non-specificity of the proposed tests when associated with the Hoff test.

Ottimizzazione del consumo dei grassi durante esercizio fisico: studio di un test per il target mirato di allenamento individuale

Il primo studio ha verificato l'affidabilità del software Polimedicus e gli effetti indotti d'allenamento arobico all’intensità del FatMax. 16 soggetti sovrappeso, di circa 40-55anni, sono stati arruolati e sottoposti a un test incrementale fino a raggiungere un RER di 0,95, e da quel momento il carico è stato aumentato di 1 km/ h ogni minuto fino a esaurimento. Successivamente, è stato verificato se i valori estrapolati dal programma erano quelli che si possono verificare durante a un test a carico costante di 1ora. I soggetti dopo 8 settimane di allenamento hanno fatto un altro test incrementale. Il dati hanno mostrato che Polimedicus non è molto affidabile, soprattutto l'HR. Nel secondo studio è stato sviluppato un nuovo programma, Inca, ed i risultati sono stati confrontati con i dati ottenuti dal primo studio con Polimedicus. I risultati finali hanno mostrato che Inca è più affidabile. Nel terzo studio, abbiamo voluto verificare l'esattezza del calcolo del FatMax con Inca e il test FATmaxwork. 25 soggetti in sovrappeso, tra 40-55 anni, sono stati arruolati e sottoposti al FATmaxwork test. Successivamente, è stato verificato se i valori estrapolati da INCA erano quelli che possono verificarsi durante un carico di prova costante di un'ora. L'analisi ha mostrato una precisione del calcolo della FatMax durante il carico di lavoro. Conclusione: E’ emersa una certa difficoltà nel determinare questo parametro, sia per la variabilità inter-individuale che intra-individuale. In futuro bisognerà migliorare INCA per ottenere protocolli di allenamento ancora più validi.

A modified TRIMP to quantify the in-season training load of team sport players

Thatcher, Rhys, et al., 'A modified TRIMP to quantify the in-season training load of team sport players', Journal of Sport Sciences, (2007) 25(6) pp.629-634 RAE2008

Effects of exercise intensity on salivary antimicrobial proteins and markers of stress in active men

In the present study, we assessed the effects of exercise intensity on salivary immunoglobulin A (s-IgA) and salivary lysozyme (s-Lys) and examined how these responses were associated with salivary markers of adrenal activation. Using a randomized design, 10 healthy active men participated in three experimental cycling trials: 50% maximal oxygen uptake (VO2max), 75%VO2max, and an incremental test to exhaustion. The durations of the trials were the same as for a preliminary incremental test to exhaustion (22.3 min, sx = 0.8). Timed, unstimulated saliva samples were collected before exercise, immediately after exercise, and 1 h after exercise. In the incremental exhaustion trial, the secretion rates of both s-IgA and s-Lys were increased. An increase in s-Lys secretion rate was also observed at 75%VO2max. No significant changes in saliva flow rate were observed in any trial. Cycling at 75%VOmax and to exhaustion increased the secretion of alpha-amylase and chromogranin A immediately after exercise; higher cortisol values at 75%VO2max and in the incremental exhaustion trial compared with 50%VO2max were observed 1 h immediately after exercise only. These findings suggest that short-duration, high-intensity exercise increases the secretion rate of s-IgA and s-Lys despite no change in the saliva flow rate. These effects appear to be associated with changes in sympathetic activity and not the hypothalamic - pituitary - adrenal axis.