Assisted Coverage Closure
نویسندگان
چکیده
The malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain specific guidance, such as ISO26262 for automotive safety. This paper describes academic and industrial co-operation in tool development to support one of the most stringent of the requirements — achieving full code coverage in requirements-driven testing. We present a verification workflow supported by a tool that integrates the coverage measurement tool RapiCover with the test-vector generator FShell. The tool assists closing the coverage gap by providing the engineer with test vectors that help in debugging coverage-related code quality issues and creating new test cases, as well as justifying the presence of unreachable parts of the code in order to finally achieve full effective coverage according to the required criteria. To illustrate the practical utility of the tool, we report about an application of the tool to a case study from automotive industry.
منابع مشابه
Vacuum-assisted wound closure after resection of musculoskeletal tumors.
UNLABELLED Resection of musculoskeletal tumors may result in large soft tissue defects that cannot be closed primarily and require prolonged dressing changes and complex surgical interventions for wound coverage. We retrospectively reviewed 23 patients with such defects treated with a vacuum-assisted wound closure system and compared the outcome of these patients with a control group. The study...
متن کاملTechnical Note on Vacuum Assisted Closure-Basket Fixation of Scrotal Skin Grafts
641 With great interest, we have read the publication “The Vacuum Assisted Closure (VAC)-Basket for Easy Fixation of Scrotal Skin Grafts” by Huettinger et al. [1]. The authors describe their experience with a self-constructed vacuum-assisted closure basket for fixation of splitthickness skin grafts in the urogenital area for defect coverage after Fournier’s gangrene. We would like to congratula...
متن کاملVacuum Assisted Closure- utilization as home based therapy in the management of complex diabetic extremity wounds
OBJECTIVE Vacuum assisted closure is a reported technique to manage complex wounds. We have utilized this technique by using simple locally available material in the management of our patients on outpatient basis. The objective of this study is to present our experience. METHODS This study was conducted from June 2011 to June 2013 at Dow University Hospital and Aga Khan University Hospital, K...
متن کاملExtended negative pressure wound therapy-assisted dermatotraction for the closure of large open fasciotomy wounds in necrotizing fasciitis patients
BACKGROUND Necrotizing fasciitis (NF) is a rapid progressive infection of the subcutaneous tissue or fascia and may result in large open wounds. The surgical options to cover these wounds are often limited by the patient condition and result in suboptimal functional and cosmetic wound coverage. Dermatotraction can restore the function and appearance of the fasciotomy wound and is less invasive ...
متن کاملVacuum-assisted wound closure (VAC) with simultaneous bone transport in the leg: a technical note.
Successful treatment of infected non union in long bone fractures has always been a challenge. Segmental excision followed by bone transport is one of the common modalities of treatment in such difficult cases. The soft tissue coverage of the resulting wounds was however not well described in the literature. The authors would like to report a simple technique that was used. After segmental bone...
متن کاملTreatment of sternal wound infection with vacuum-assisted closure.
INTRODUCTION Previous work has demonstrated the efficacy of vacuum-assisted closure (VAC) in the treatment of poststernotomy local wound infections, compared to historical treatment protocol. The negative pressure has been found to protect wounds against contamination, prevent wound fluid retention, increase blood flow, and increase rates of granulation tissue formation. For this study, a retro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016