scholarly journals On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment

Author(s):  
Khaled El-Fakih ◽  
Tariq Salameh ◽  
Nina Yevtushenko
2020 ◽  
Vol 5 (1) ◽  
Author(s):  
Misael Mongiovì ◽  
Andrea Fornaia ◽  
Emiliano Tramontana

Abstract The availability of effective test suites is critical for the development and maintenance of reliable software systems. To increase test effectiveness, software developers tend to employ larger and larger test suites. The recent availability of software tools for automatic test generation makes building large test suites affordable, therefore contributing to accelerating this trend. However, large test suites, though more effective, are resources and time consuming and therefore cannot be executed frequently. Reducing them without decreasing code coverage is a needed compromise between efficiency and effectiveness of the test, hence enabling a more regular check of the software under development. We propose a novel approach, namely REDUNET, to reduce a test suite while keeping the same code coverage. We integrate this approach in a complete framework for the automatic generation of efficient and effective test suites, which includes test suite generation, code coverage analysis, and test suite reduction. Our approach formulates the test suite reduction as a set cover problem and applies integer linear programming and a network-based optimisation, which takes advantage of the properties of the control flow graph. We find the optimal set of test cases that keeps the same code coverage in fractions of seconds on real software projects and test suites generated automatically by Randoop. The results on ten real software systems show that the proposed approach finds the optimal minimisation and achieves up to 90% reduction and more than 50% reduction on all systems under analysis. On the largest project our reduction algorithm performs more than three times faster than both integer linear programming alone and the state-of-the-art heuristic Harrold Gupta Soffa.


2018 ◽  
Vol 144 ◽  
pp. 106-120 ◽  
Author(s):  
Amanda Schwartz ◽  
Daniel Puckett ◽  
Ying Meng ◽  
Gregory Gay
Keyword(s):  

Author(s):  
Mohammed Akour ◽  
Mamdouh Alenezi

<span>Test suite code coverage is usually used to indicate the capability of a test suite in detecting faults. Earlier research studies, which explored the relationship among test suite effectiveness and code coverage, have not addressed this relationship evolutionally. Moreover, some of these works were studied small or identical domain systems, which make the result generalization process unclear for other systems. Finally, some of these studies were conducted with automatically generated test suites, which might not present the real situation for studied systems, so the results cannot be generalized to real test suites. In this paper, the authors empirically explore three open-source software systems along with their 11 versions. These versions are evolved over time and might have more sources of code and test suites. This work objective is to study the correlation between test suite effectiveness, the size of the test suite, and coverage for three Java programs during their evolution. In this work, the code coverage, test suite LOC and mutation testing coverage are measured to assess the correlation between the effectiveness of fault detection, code coverage, and test suite size. Based on the result we cannot generalize the assumption that test size is always revealing a positive correlation with its effectiveness, but still weak to the high correlation between test effectiveness, test size, and coverage.</span><p> </p>


Crisis ◽  
2010 ◽  
Vol 31 (6) ◽  
pp. 303-310 ◽  
Author(s):  
Bas Verwey ◽  
Jeroen A. van Waarde ◽  
Molla A. Bozdağ ◽  
Iris van Rooij ◽  
Edwin de Beurs ◽  
...  

Background: Assessment of suicide attempters in a general hospital may be influenced by the condition of the patient and the unfavorable circumstances of the hospital environment. Aims: To determine whether the results of a reassessment at home shortly after discharge from hospital differ from the initial assessment in the hospital. Methods: In this prospective study, systematic assessment of 52 suicide attempters in a general hospital was compared with reassessment at home, shortly after discharge. Results: Reassessments at home concerning suicide intent, motives for suicide attempt, and dimensions of psychopathology did not differ significantly from the initial hospital assessment. However, patients’ motives for the suicide attempt had changed to being less impulsive and more suicidal, worrying was significantly higher, and self-esteem was significantly lower. A third of the patients had forgotten their aftercare arrangements and most patients who initially felt no need for additional help had changed their mind at reassessment. Conclusions: Results from this group of suicide attempters suggest that a brief reassessment at home shortly after discharge from hospital should be considered.


2019 ◽  
Vol 24 (4) ◽  
pp. 312-321 ◽  
Author(s):  
Diana Moreira ◽  
Fernando Barbosa

Abstract. Delay discounting (DD) is the process of devaluing results that happen in the future. With this review, we intend to identify specificities in the processes of DD in impulsive behavior. Studies were retrieved from multiple literature databases, through rigorous criteria (we included systematic reviews and empirical studies with adult human subjects), following the procedures of the Cochrane Collaboration initiative. Of the 174 documents obtained, 19 were considered eligible for inclusion and were retained for in-depth analysis. In addition, 13 studies from the manual search were included. Thus, a total of 32 studies were selected for review. The objectives/hypotheses, results, and the main conclusion(s) were extracted from each study. Results show that people with pronounced traits of impulsivity discount rewards more markedly, that is, they prefer immediate rewards, though of less value, or postponed losses, even though they worsen in the future. Taken together, the existing data suggest the importance of inserting DD as a tool for initial assessment in conjunction with measures of addiction and stress level, as well as the consideration of new therapies.


2020 ◽  
pp. 44-48
Author(s):  
V. A. Aleksandrov ◽  
L. N. Shilova ◽  
A. V. Aleksandrov

The development of renal dysfunction in patients with rheumatoid arthritis (RA) is due to the presence and severity of autoimmune disorders, chronic systemic inflammation, a multiplicity of comorbid conditions, and pharmacotherapy features. The most important parameter that describes the general condition of the kidneys is glomerular filtration rate (GFR). This review presents the data on the possibilities of modern methods for determining estimated GFR (e-GFR) and the specificity of their use in various clinical situations that accompany the course of RA. For the initial assessment of GFR in patients with RA it is advisable to use the measurement of e-GFR based on serum creatinine concentration using the CKD-EPI equation (2009) (with or without indexing by body surface area). In cases where the e-GFR equations are not reliable enough or the results of this test are insufficient for clinical decision making, the serum cystatin C level should be measured and the combined GFR calculation based on creatinine and cystatin C should be used.


Sign in / Sign up

Export Citation Format

Share Document