Reducing verification effort in component-based software engineering through built-in testing

Brenner, Daniel; Atkinson, Colin; Malaka, Rainer; Merdes, Matthias; Paech, Barbara; Suliman, D.

doi:10.1007/s10796-007-9029-4

Cited by 37 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the use of self-adaptation presupposes new methods and approaches for quality assurance [40]. We highlight runtime testing [41] that is defined by the execution of tests in the final system environment. There are also studies about formal proof, which is based on mathematical calculations, and model checking, which seeks to evaluate properties of a system in all reachable states, to provide evidence of the quality of these systems.…”

Section: Plos Onementioning

confidence: 99%

Mobile applications for elderly healthcare: A systematic mapping

et al. 2020

View full text Add to dashboard Cite

Context The increase in the population aging has brought more significant concern about how proper care will be provided to the elderly in the future. Thus, the development of technological solutions for the health domain has gained more prominence. Joining this scenario to the growing use of mobile devices for daily activities, several mobile applications focused on the elderly healthcare have been developed with healthcare and software engineer professionals involved. However, there is no survey to help both professionals to take decisions on the target of application, elderly profile, empirical validation techniques, among others. Thus, the following question arises: how have mobile applications for elderly healthcare been addressed in the literature in the past years? Objective To identify the state of the art in the literature concerned with the development of mobile applications for elderly healthcare, considering healthcare and software Engineering viewpoints. Method We performed a systematic mapping conducted by health and software engineering researchers to provide an interdisciplinary investigation of the papers that address mobile applications for elderly healthcare, summarizing the data collected under the following classification: target of application, older adult profile, spatial-temporal distribution, techniques for empirical validation and type of software engineering research. Results We found a total of 2533 papers and, after applying our eligibility criteria, we got 149. We observed aspects related to the digital health initiative type, using the classification proposed by the World Health Organization (WHO), the elderly profile prioritized by the application, the spatial-temporal distribution of the studies, the empirical validation type, and the research contribution of each analyzed paper to the software engineering area. Conclusions Regarding the WHO classification, we noticed that two categories were more frequently found, Clients and Data Services, and that none of the mobile apps were classified in the Health System Manager category. The data extraction result also reveals that most of the applications found in the literature focused on the independent elderly. Moreover, we observed that most of the studies were proposals of solutions for elderly health and the validation process of these solutions generally consisted of controlled experiments and usability evaluations. At last, the research focused on mobile applications for elderly healthcare has been performed mostly by developed countries.

show abstract

Section: Plos Onementioning

confidence: 99%

Mobile applications for elderly healthcare: A systematic mapping

et al. 2020

View full text Add to dashboard Cite

show abstract

“…The main focus was to assess the runtime testability of the SUT provided a set of test methods that can provide isolation, and propose methods for test case selection that can balance between reducing the cost of runtime testability and the cost of runtime diagnosis. The authors in [12,14] propose alleviating the risk of interferences using BITs to test a system in production. [15] proposes the use of the methods in [12,13,14] to avoid interferences.…”

Section: Related Workmentioning

confidence: 99%

“…The authors in [12,14] propose alleviating the risk of interferences using BITs to test a system in production. [15] proposes the use of the methods in [12,13,14] to avoid interferences. Moreover, [15] extended the TTCN Test System Reference Architecture [23] to orchestrate test case execution in production.…”

Section: Related Workmentioning

confidence: 99%

“…Some test methods provide isolation by using only components that can be tested live, i.e. they incorporate specialized modules called Built-In Test modules (BITs) that provide isolation [12]. Other test methods rely on other mechanisms such as cloning (used in canary releases and gradual rollout [6] test methods), snapshot and restore, resource negotiation, or scheduling tests when interferences are less likely to happen [13].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Methods for Live Testing of Cloud Services

Jebbar

Khendek

Toeroe

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Service providers use cloud to reduce the cost of their services and speed up their time to market. There is a huge gap between the environment where the services are developed and first tested, and the environment where they operate. Live testing is defined as testing a service in its production environment without causing any intolerable disruption to its usage. It is considered as one of the solutions to overcome the impact of the difference between the development environment and the production environment on the reliability of the test results. Test interferences are a major challenge for live testing as they may lead to the system mishandling the production traffic. Existing solutions to alleviate the risk of interferences have limited applicability. In this paper we propose a set of test methods, applicable in different situations, for live testing to improve the reliability of test results without causing any intolerable disturbance to the cloud services. To reduce the complexity of these test methods we define the concept of boundary environments and a set of coverage criteria to aim at during live testing.

show abstract

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

Lahami

Krichen

Barhoumi

et al. 2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

This paper presents a model-based black-box testing approach for dynamically adaptive systems. Behavioral models of such systems are formally specified using timed automata. With the aim of obtaining the new test suite and avoiding its regeneration in a cost effective manner, we propose a selective test generation approach. The latter comprises essentially three modules: (1) a model differencing module that detects similarities and differences between the initial and the evolved behavioral models, (2) an old test classification module that identifies reusable and retestable tests from the old test suite, and finally (3) a test generation module that generates new tests covering new behaviors and adapts old tests that failed during animation. To show its efficiency, the proposed technique is illustrated through the Toast application and compared to the classical Regenerate All and Retest All approaches.

show abstract

Reducing verification effort in component-based software engineering through built-in testing

Cited by 37 publications

References 6 publications

Mobile applications for elderly healthcare: A systematic mapping

Mobile applications for elderly healthcare: A systematic mapping

Methods for Live Testing of Cloud Services

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

Contact Info

Product

Resources

About