Basal metabolism, endogenous nitrogen, creatinine and neutral sulphur excretions as a function of body weight.

Publication authorized September 18, 1934.Includes bibliographical references

Conformance relations for distributed testing based on CSP

Copyright @ 2011 Springer Berlin HeidelbergCSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages. © 2011 IFIP International Federation for Information Processing

Inter-Industry Gender Wage Gaps by Knowledge Intensity: Discrimination and Technology in Korea

A new gender wage gap decomposition methodology is introduced that does not suffer from the identification problem caused by unobserved non-discriminatory wage structure. The methodology is used to measure the relative size of Korean gender wage gaps from 1994 to 2000 across industries, differentiated by industrial knowledge intensity, where knowledge intensity is the extent to which industries produce or employ high-technology products. Korea represents an important case study, since it possesses one of the fastest growing knowledge-intensive economies, among industrialized countries. Empirical results indicate that over this period, discrimination (the unexplained portion of the gender wage gaps) in Korea was statistically smaller in knowledge-intensive industries than in industries with low knowledge intensity. Also, discrimination was declining on average over the period. This suggests that continued growth in knowledge-intensive industries in Korea may lead to further declines in the overall gender gap

Detonability of RDX dust in air/oxygen mixtures

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77369/1/AIAA-9528-470.pd

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Inter-Industry Gender Wage Gaps by Knowledge Intensity: Discrimination and Technology in Korea

A new gender wage gap decomposition methodology is introduced that does not suffer from the identification problem caused by unobserved non-discriminatory wage structure. The methodology is used to measure the relative size of Korean gender wage gaps from 1994 to 2000 across industries, differentiated by industrial knowledge intensity, where knowledge intensity is the extent to which industries produce or employ high-technology products. Korea represents an important case study, since it possesses one of the fast growing knowledge-intensive economies, among industrialized countries. Empirical results indicate that over this period, discrimination (the unexplained portion of the gender wage gaps) in Korea was statistically smaller in knowledge-intensive industries than in industries with low knowledge intensity. Also, discrimination was declining on average over the period. This suggests that continued growth in knowledge-intensive industries in Korea may lead to further declines in the overall gender gap

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally