Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

Testing real-time multi input-output systems

In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quiescence is sometimes applied. Briefly, a system is in a quiescent state when it cannot produce outputs. In this paper, we relax the input enabling assumption, and allow some input sets to be enabled while others remain disabled. Moreover, we also relax the general bound M used in timed systems to detect quiescence, and allow different bounds for different sets of outputs. By considering the tioco-M theory, an enriched theory for timed testing with repetitive quiescence, and allowing the partition of input sets and output sets, we introduce the mtioco^M relation. A test derivation procedure which is nondeterministic and parameterized is further developed, and shown to be sound and complete wrt mtioco^

Testing self-report time-use diaries against objective instruments in real time

This study provides a new test of time-use diary methodology, comparing diaries with a pair of objective criterion measures: wearable cameras and accelerometers. A volunteer sample of respondents (n = 148) completed conventional self-report paper time-use diaries using the standard UK Harmonised European Time Use Study (HETUS) instrument. On the diary day, respondents wore a camera that continuously recorded images of their activities during waking hours (approximately 1,500–2,000 images/day) and also an accelerometer that tracked their physical activity continuously throughout the 24-hour period covered by the diary. Of the initial 148 participants recruited, 131 returned usable diary and camera records, of whom 124 also provided a usable whole-day accelerometer record. The comparison of the diary data with the camera and accelerometer records strongly supports the use of diary methodology at both the aggregate (sample) and individual levels. It provides evidence that time-use data could be used to complement physical activity questionnaires for providing population-level estimates of physical activity. It also implies new opportunities for investigating techniques for calibrating metabolic equivalent of task (MET) attributions to daily activities using large-scale, population-representative time-use diary studies

Towards more accurate real time testing

The languages Message Sequence Charts (MSC) [1], System Design Language1 (SDL) [2] and Testing and Test Control Notation Testing2 (TTCN-3) [3] have been developed for the design, modelling and testing of complex software systems. These languages have been developed to complement one another in the software development process. Each of these languages has features for describing, analysing or testing the real time properties of systems. Robust toolsets exist which provide integrated environments for the design, analysis and testing of systems, and it is claimed, for the complete development of real time systems. It was shown in [4] however, that there are fundamental problems with the SDL language and its associated tools for modelling and reasoning about real time systems. In this paper we present the limitations of TTCN-3 and propose recommendations which help minimise the timing inaccuracies that would otherwise occur in using the language directly

Automated Real-Time Testing (ARTT) for Embedded Control Systems (ECS)

Developing real-time automated test systems for embedded control systems has been a real problem. Some engineers and scientists have used customized software and hardware as a solution, which can be very expensive and time consuming to develop. We have discovered how to integrate a suite of commercially available off-the-shelf software tools and hardware to develop a scalable test platform that is capable of performing complete black-box testing for a dual-channel real-time Embedded-PLC-based control system (www.aps.anl.gov). We will discuss how the Vali/Test Pro testing methodology was implemented to structure testing for a personnel safety system with large quantities of requirements and test cases. This work was supported by the U.S. Department of Energy, Basic Energy Sciences, under Contract No. W-31-109-Eng-38.Comment: 6 pages, 8 figures, ICALEPCS 2001, Poster Sessio

Causality in real-time dynamic substructure testing

Causality, in the bond graph sense, is shown to provide a conceptual framework for the design of real-time dynamic substructure testing experiments. In particular, known stability problems with split-inertia substructured systems are reinterpreted as causality issues within the new conceptual framework. As an example, causality analysis is used to provide a practical solution to a split-inertia substructuring problem and the solution is experimentally verified

Testing for Multiple Bubbles 2: Limit Theory of Real Time Detectors

Singapore MOE Academic Research Tier 2Published in International Economic Review, https://doi.org/10.1111/iere.12131</p

Model-Based Testing of Safety Critical Real-Time Control Logic Software

The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.Comment: In Proceedings MBT 2012, arXiv:1202.582

An auralisation method for real time subjective testing of modal parameters.

Subjective testing is necessary when attempting to determine the human response to audio quality. Small rooms, such as recording studio control rooms themselves have an effect upon the quality of the perceived audio reproduction. Of particular interest is the low frequency region where resonances, or ‘room modes’, occur. It is necessary to test a number of modal parameters individually and be able to alter them instantly during testing in response to listener perception. An auralisation method has been developed which is used to compare musical samples within modelled rooms. Methods are discussed in the context of providing a practical system, where real time testing is feasible. The formation of the room’s transfer function is discussed, as are a number of issues relating to the generation of audio samples. This work is then placed in context with a brief explanation of how the system is to be used in a real subjective test

Testing for contemporary fiscal policy discretion with real time data

We propose a method for indentifying discretionary fiscal policy with real time data. The starting point is the observation that automatic stabilizers should depend on true GDP, while discretionary fiscal policy depends on the information that policy makers have in real time. We approximate the information set of policy makers with GDP data released in real time. True GDP is approximated using the last GDP release. Accordingly, we can compute a real time measurement error. Discretionary fiscal policy can be expected to react to this measurement error, whereas automatic fiscal policy will not. We apply this identification approach in order to test the central identifying assumption of Blanchard and Perotti's (2002) seminal structural VAR. According to this assumption, fiscal policy makers do not react to GDP evolutions contemporaneously in a discretionary fashion. We find that government expenditure is adjusted upward if GDP in real time is lower than true GDP. This suggests that fiscal policy makers can use short-term funds to buy goods and services in response to GDP updates. Our results therefore call the identifying assumption of Blanchard and Perotti's (2002) SVAR into question. --discretionary fiscal policy,real-time data,government spending,structural vector autoregression