A number of activities involved in testing software are known to be difficult and time consuming. Among them is the definition and coding of test oracles and the isolation of faults once failures have been detected. Through a thorough and rigorous empirical study, we investigate how the instrumentation of contracts could address both issues. Contracts are known to be a useful technique in specifying the precondition and postcondition of operations and class invariants, thus making the definition of object‐oriented analysis or design elements more precise. It is one of the reasons the Object Constraint Language (OCL) was made part of the Unified Modeling Language. Our aim in this paper is to reuse and instrument contracts to ease testing. A thorough case study is run where we define OCL contracts, instrument them using a commercial tool and assess the benefits and limitations of doing so to support the automated detection of failures and the isolation of faults. As contracts can be defined at various levels of detail, we also investigate the cost and benefit of using contracts at different levels of precision. We then draw practical conclusions regarding the applicability of the approach and its limitations. Copyright © 2003 John Wiley & Sons, Ltd.
Ear amputations are common in emergency departments as the auricle's protrusion from the lateral aspect of the head makes it particularly susceptible to trauma. Of the numerous approaches for auricle injuries, the classic methods include microsurgical replantation, primary reattachment, composite graft, retroauricular pocket principle, 1 secondary reconstruction with rib cartilage, and methods using postauricular flap. The success of the operation depends largely on choosing the appropriate surgical procedure since many factors can influence surgical outcome. There is no 1 gold standard technique to treat the variety of auricle injuries. Inappropriate choice of surgical approach can be detrimental to subsequent reconstructive surgery. Therefore, the initial choice of optimal surgical approach is particularly important. In this article, a rare report of left subtotal ear laceration with inferior lobule pedicle by nonmicrosurgical primary reattachment was presented. The operation obtained an ideal cosmetic effect.
A number of activities involved in testing software are known to be difficult and time consuming. Among them is the isolation of faults once failures have been detected. In this paper, we investigate how the instrumentation of contracts could address this issue. Contracts are known to be a useful technique to specify the precondition and postcondition of operations and class invariants, thus making the definition of object-oriented analysis or design elements more precise. Our aim in this paper is to reuse and instrument contracts to ease testing. A thorough case study is run where we define contracts, instrument them using a commercial tool, and assess the benefits and limitations of doing so to support the isolation of faults. We then draw practical conclusions regarding the applicability of the approach and its limitations.
The air pollution characteristics of six ambient criteria pollutants, including particulate matter (PM) and trace gases, in 29 typical cities across the Yangtze River Economic Belt (YREB) from December 2017 to February 2018 are analyzed. The overall average mass concentrations of PM2.5, PM10, SO2, CO, NO2, and O3 are 73, 104, 16, 1100, 47, and 62 µg/m3, respectively. PM2.5, PM10, and NO2 are the dominant major pollutants to poor air quality, with nearly 83%, 86%, and 59%, exceeding the Chinese Ambient Air Quality Standard Grade I. The situation of PM pollution in the middle and lower reaches is more serious than that in the upper reaches, and the north bank is more severe than the south bank of the Yangtze River. Strong positive spatial correlations for PM concentrations between city pairs within 300 km is frequently observed. NO2 pollution is primarily concentrated in the Suzhou-Wuxi-Changzhou urban agglomeration and surrounding areas. The health risks are assessed by the comparison of the classification of air pollution levels with three approaches: air quality index (AQI), aggregate AQI (AAQI), and health risk-based AQI (HAQI). When the AQI values escalate, the air pollution classifications based on the AAQI and HAQI values become more serious. The HAQI approach can better report the comprehensive health effects from multipollutant air pollution. The population-weighted HAQI data in the winter exhibit that 50%, 70%, and 80% of the population in the upstream, midstream, and downstream of the YREB are exposed to polluted air (HAQI > 100). The current air pollution status in YREB needs more effective efforts to improve the air quality.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.