Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

The tax treatment of employee stock options : generous to a fault

In the 2000 budgets, both the federal and Ontario governments introduced changes to the tax treatment of employee stock options for the explicit purpose of making their tax treatment in Canada similar to or more favourable than that in the United States. The federal budget added a deferral, similar to that currently applicable to options granted by Canadian-controlled private corporations, for up to $100,000 per year of public company stock options. The Ontario budget introduced an exemption from tax for employees involved in research and development on the first $100,000 per year of employee benefits arising on the exercise of qualified stock options or on eligible capital gains arising from the sale of shares acquired by the exercise of eligible stock options. These proposals reflect the apparent acceptance by the two governments that there is a “brain drain” from Canada to the United States of knowledge workers in the “new” economy and that reductions in Canadian taxes should stem this drain. In the author’s view, the tax treatment of employee stock options, even without these changes, is overly generous. Both the federal and provincial proposals ignore the fact that most employee stock options are taxed more favourably in Canada than in the United States in any event. In particular, most employee stock option benefits in Canada are taxed at capital gains tax rates, whereas in the United States most are taxed at full rates. While the US Internal Revenue Code does provide capital gains tax treatment for certain employee stock option benefits, a number of preconditions must be met. Most important, the shares acquired pursuant to the options must be held for a minimum of one year after the option is exercised. In addition, there are monetary limits on the amount of options that qualify for capital gains treatment. In Canada, there are generally no holding period requirements or monetary limits that apply in order for the option holder to benefit from capital gains tax rates. Empirical evidence indicates that the vast majority of employees in the United States exercise their options and immediately sell the shares acquired. These “cashless exercises” do not benefit from capital gains treatment in the United States, whereas similar cashless exercises in Canada generally do. This empirical evidence suggests not only that the 2000 budget proposals are unwarranted, but also that the existing treatment of employee stock options in Canada is already more generous than that in the United States. This article begins with a theoretical “benchmark” for the taxation of employee stock options. The author suggests that employee stock options should be treated in the same manner as other income from employment. In theory, the value of the benefit should be included in income when the option is granted or vests. However, owing to the practical difficulty of valuing employee stock options, the theoretical benchmark proposed is that the value of the benefit (the difference between the fair market value of the shares acquired and the strike price under the option) be taxed when the shares are acquired, and the employer be entitled to a corresponding deduction. The employee stock option rules in Canada and the United States are then compared and contrasted with each other and the benchmark treatment. The article then examines the arguments that have been made for favourable treatment of employee stock options. Included in this critique is a review of the recent empirical work on the Canadian brain drain. Empirical studies suggest that the brain drain—if it exists at all—is small and that, despite what many newspapers and right-wing think-tanks would have us believe, lower taxes in the United States are not the cause. One study, concluding that taxes do have an effect on migration, suggests that even if Canada adopted a tax system identical to that in the United States, the brain drain would be reduced by a mere 10 percent. Indeed, even if Canada eliminated income tax altogether, it would not stop the brain drain. If governments here want to spend money in order to stem the brain drain, they should focus on other areas. For example, Canada produces fewer university graduates in the fields of mathematics, sciences, and engineering than any other G7 country except Italy. The short supply of university graduates in these fields, the apparent loss of top-calibre academics to US
universities, and the consequent lower levels of university research in these areas (an important spawning ground for new ideas in the “new” knowledge-based economy) suggest that Canada may be better served by devoting more resources to its university institutions, particularly in post-graduate programs, rather than continuing the current trend of budget cuts that universities have endured and may further endure if taxes are reduced.
As far as employee stock options are concerned, if Canada does want to look to the United States for guidance on tax reform (which it seems to do with increasing frequency of late), it should adopt the US rules applicable to nonstatutory options, which are close to the proposed benchmark treatment. In the absence of preferential tax treatment, employee stock options would still be included in compensation packages provided that there were sound business reasons for their use. No persuasive evidence has been put forward that the use of stock options, in the absence of tax incentives, is suboptimal. Indeed, the US experience suggests quite the opposite.

Fault detection service architecture for grid computing systems

The ability to tolerate failures while effectively exploiting the grid computing resources in an scalable and transparent manner must be an integral part of grid computing infrastructure. Hence, fault-detection service is a necessary prerequisite to fault tolerance and fault recovery in grid computing. To this end, we present an scalable fault detection service architecture. The proposed fault-detection system provides services that monitors user applications, grid middlewares and the dynamically changing state of a collection of distributed resources. It reports summaries of this information to the appropriate agents on demand or instantaneously in the event of failures.

Fault-tolerant dynamic job scheduling policy

In this paper, we propose a scalable and fault-tolerant job scheduling framework for grid computing. The proposed framework loosely couples a dynamic job scheduling approach with the hybrid replications approach to schedule jobs efficiently while at the same time providing fault-tolerance. The novelty of the proposed framework is that it uses passive replication approach under high system load and active replication approach under low system loads. The switch between these two replication methods is also done dynamically and transparently.

Transparent Fault Tolerance for Web Services based Architectures

Service-based architectures enable the development of new classes of Grid and distributed applications. One of the main capabilities provided by such systems is the dynamic and flexible integration of services, according to which services are allowed to be a part of more than one distributed system and simultaneously serve different applications. This increased flexibility in system composition makes it difficult to address classical distributed system issues such as fault-tolerance. While it is relatively easy to make an individual service fault-tolerant, improving fault-tolerance of services collaborating in multiple application scenarios is a challenging task. In this paper, we look at the issue of developing fault-tolerant service-based distributed systems, and propose an infrastructure to implement fault tolerance capabilities transparent to services.

A solution for fault tolerance in replicated database systems

A distributed database system is subject to site failure and link failure. This paper presents a reactive system approach to achieving fault tolerance in such a system. The reactive system concepts are an attractive paradigm for system design, development and maintenance because it separates policies from mechanisms. In the paper we give a solution using different reactive modules to implement the fault tolerant policies and the failure detection mechanisms. The solution shows that they can be separated without impact on each other; thus the system can adapt to constant changes in environments and user requirements.

Fault detection in a cold forging process through feature extraction with a neural network

This paper investigates the application of neural networks to the recognition of lubrication defects typical to an industrial cold forging process employed by fastener manufacturers. The accurate recognition of lubrication errors, such as coating not being applied properly or damaged during material handling, is very important to the quality of the final product in fastener manufacture. Lubrication errors lead to increased forging loads and premature tool failure, as well as to increased defect sorting and the re-processing of the coated rod. The lubrication coating provides a barrier between the work material and the die during the drawing operation; moreover it needs be sufficiently robust to remain on the wire during the transfer to the cold forging operation. In the cold forging operation the wire undergoes multi-stage deformation without the application of any additional lubrication. Four types of lubrication errors, typical to production of fasteners, were introduced to a set of sample rods, which were subsequently drawn under laboratory conditions. The drawing force was measured, from which a limited set of features was extracted. The neural network based model learned from these features is able to recognize all types of lubrication errors to a high accuracy. The overall accuracy of the neural network model is around 98% with almost uniform distribution of errors between all four errors and the normal condition.

A solution for fault-tolerance in replicated database systems

A distributed database system is subject to site failure and link failure. This paper presents a reactive system approach to achieving the fault-tolerance in such a system. The reactive system concepts are an attractive paradigm for system design, development and maintenance because it separates policies from mechanisms. In the paper we give a solution using different reactive modules to implement the fault-tolerant policies and the failure detection mechanisms. The solution shows that they can be separated without impact on each other thus the system can adapt to constant changes in user requirements.

Fault-tolerant servers for anycast communication

Plenty of research has been done for any cast service, but few research touches the fault-tolerant problem based on the best of our knowledge. In this paper, we propose and analyse a fault-tolerant model, called twin server model, for anycast communication to provide reliable and continuous anycast services. We select a twin server in an anycast group for a given anycast server, the primary server. If the twin server suspects that its primary server is dead, it will take the unfinished job(s) of its primary server. We propose two algorithms: the server failure detecting algorithm and the server failure broadcasting algorithm. We then analyse the performance change when a primary server fails using queue theory and obtain some interesting conclusions. At the end, we summary the paper and present the future work.

A reactive system architecture for building fault-tolerant distributed applications

Most fault-tolerant application programs cannot cope with constant changes in their environments and user requirements because they embed policies and mechanisms together so that if the policies or mechanisms are  changed the whole programs have to be changed as well. This paper presents a reactive system approach to overcoming this limitation. The reactive system concepts are an attractive paradigm for system design, development and maintenance because they separate policies from mechanisms. In the paper we propose a generic reactive system architecture and use group communication primitives to model it. We then implement it as a generic package which can be applied in any distributed applications. The system performance shows that it can be used in a distributed environment effectively.

Fault Lines and Earthquakes of Maine 1568-2005

http://digitalcommons.colby.edu/atlasofmaine2008/1006/thumbnail.jpg