This paper reports a framework that makes it possible to carry out safe regression test selection for verification of Web services in an end-to-end manner. The Safe RTS technique has been integrated into a systematic method that monitors distributed code modifications and automates the RTS and RT processes. In doing so, a number of issues due to concurrent changes are recognized and solved.
A numerical model is presented that defines a sustainability criterion as no net loss of shell, and calculates a sustainable harvest of seed (<75 mm) and sack or market oysters ($75 mm). Stock assessments of the Primary State Seed Grounds conducted east of the Mississippi from 2009 to 2011 show a general trend toward decreasing abundance of sack and seed oysters. Retrospective simulations provide estimates of annual sustainable harvests. Comparisons of simulated sustainable harvests with actual harvests show a trend toward unsustainable harvests toward the end of the time series. Stock assessments combined with shell-neutral models can be used to estimate sustainable harvest and manage cultch through shell planting when actual harvest exceeds sustainable harvest. For exclusive restoration efforts (no fishing allowed), the model provides a metric for restoration success-namely, shell accretion. Oyster fisheries that remove shell versus reef restorations that promote shell accretion, although divergent in their goals, are convergent in their management; both require vigilant attention to shell budgets.
As part of our continuing research on using Petri nets to support automated analysis of Ada tasking behavior, we have investigated the application of Petri net reduction for deadlock analysis. Although reachability analysis is an important method to detect deadlocks, it is in general inefficient or even intractable. Net reduction can aid the analysis by reducing the size of the net while preserving relevant properties. We introduce a number of reduction rules and show how they can be applied to Ada nets, which are automatically generated Petri net models of Ada tasking. We define a reduction process and a method by which a useful description of a detected deadlock state can be obtained from the reduced net's information. A reduction tool and experimental results from applying the reduction process are discussed.
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.