A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language\u27s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer\u27s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools

Communicative Predictors of a Shared Family Identity: Comparison of Grandchildren’s Perceptions of Family-of-Origin Grandparents and Stepgrandparents

From an intergroup perspective on family relationships, the current study investigates family-of-origin grandparents and stepgrandparents to determine similarities and differences in communication and relational dimensions. Participants (N = 88) completed questionnaires on family-of-origin grandparents and stepgrandparent relationships. From the perspective of young adult grandchildren, the research explores the role of supportive communication, reciprocal self-disclosure, nonaccommodative communication, and parental encouragement in predicting a sense of shared family identity with each grandparent type. Results are discussed in terms of implications for intergroup research, grandparent-grandchild communication, and stepfamily relationships

Pascual López: autobiografía de un estudiante de medicina

We propose an integration of structural subtyping with boolean connectives and semantic subtyping to define a Java-like programming language that exploits the benefits of both techniques. Semantic subtyping is an approach to defining subtyping relation based on set-theoretic models, rather than syntactic rules. On the one hand, this approach involves some non trivial mathematical machinery in the background. On the other hand, final users of the language need not know this machinery and the resulting subtyping relation is very powerful and intuitive. While semantic subtyping is naturally linked to the structural one, we show how the framework can also accommodate the nominal subtyping. Several examples show the expressivity and the practical advantages of our proposal. © 2013 IFIP International Federation for Information Processing

Stateful Contracts for Affine Types

Abstract. Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in interacting with components written in a conventional language whose type system provides no way to maintain the affine type system’s aliasing invariants. We propose and implement a technique that uses behavioral contracts to mediate between code written in an affine language and code in a conventional typed language. We formalize our approach via a typed calculus with both affine-typed and conventionally-typed modules. We show how to preserve the guarantees of both type systems despite both languages being able to call into each other and exchange higher-order values.

An unusual case of chronic meningitis

BACKGROUND: Chronic meningitis is defined as symptoms and signs of meningeal inflammation and persisting cerebrospinal fluid abnormalities such as elevated protein level and pleocytosis for at least one month. CASE PRESENTATION: A 62-year-old woman, of unremarkable past medical history, was admitted to hospital for investigation of a four-week history of vomiting, malaise an associated hyponatraemia. She had a low-grade pyrexia with normal inflammatory markers. A CT brain was unremarkable and a contrast MRI brain revealed sub-acute infarction of the right frontal cortex but with no evidence of meningeal enhancement. Due to increasing confusion and patient clinical deterioration a lumbar puncture was performed at 17 days post admission. This revealed gram-negative coccobacilli in the CSF, which was identified as Neisseria meningitidis group B. The patient made a dramatic recovery with high-dose intravenous ceftriaxone antibiotic therapy for meningococcal meningitis. CONCLUSIONS: 1) Chronic bacterial meningitis may present highly atypically, particularly in the older adult. 2) There may be an absent or reduced febrile response, without a rise in inflammatory markers, despite a very unwell patient. 3) Early lumbar puncture is to be encouraged as it is essential to confirm the diagnosis.4) Despite a delayed diagnosis appropriate antibiotic therapy can still lead to a good outcome

Integrating education for sustainable development into a higher education institution: beginning the journey

Much of the current literature on integrating sustainability into HEIs is focussed on why HEIs should embrace sustainable development (SD) and what is still missing or hindering work and the integration of efforts. There is much less exploration of how SD has been interpreted at the individual HEI level and action taken as a result. This case study reflects on important elements of the journey Nottingham Trent University (NTU) in the UK has taken to integrate sustainability, focussing on key decisions and activity in 2009/10. In highlighting this, the authors seek to empower those looking to support and/or lead the embedding of Education for Sustainable Development (ESD), separately or as part of an integrated effort, in their own institution. Today in 2019, NTU is a global leader in integrating ESD as part of a wider SD agenda. The work which this paper presents, to understand and establish a baseline of key elements of NTU’s existing ESD activity and systems, was an important turning point. Activities undertaken to review and assess ‘where are we now?’, primarily through an institution-wide survey in 2009/10, led to important insights and supported dialogue, as well as the connection and underpinning of core administrative elements of the NTU SD framework and systems. Further recommendations are given in the final section of this paper on other drivers that can help to embed ESD within an HEI

Governance and sustainable development at higher education institutions

© 2020, Springer Nature B.V. Governance issues, here interpreted as the provisions of adequate policy frameworks characterized by reliability and accountability, coupled with resources to support their implementation, are known to be the basis for the implementation of sustainable development measures. This paper discusses the influence of governance in the ways sustainability is perceived and practiced in a higher education context. Apart from due considerations to the role of governance as the basis for regulation and institutional actions and management decisions, this paper reports on an empirical study undertaken in a sample of higher education institutions. This study entailed an analysis of sustainable development policies, certification, organizational structure, budget, reports, team for sustainability, staff training, and challenges for the integration of sustainability and governance. The results suggest that even though there are different opinions and attitudes on the role of governance, it is regarded as an important component in supporting efforts by higher education institutions to include considerations on sustainable development as part of their strategies