Search results

The objective of OSI conformance testing is to provide a standardized and rigorous means of determining the extent to which a specific implementation conforms to an OSI protocol specification. As part of its ILL Implementation Program, the National Library of Canada has developed a test system and service for the interlibrary loan (ILL) protocol using the ISO standard methodology for conformance testing (ISO 9656). Development of test suites, conformance testing tools, and conformance testing services are presented. The article also discusses related topics such as interoperability testing, arbitration testing, and international harmonization of conformance testing.

This paper aims to present the verification process conducted to assess the functional correctness of the voting system. Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) is the most important research institution in Argentina. It depends directly from Argentina’s President but its internal authorities are elected by around 8,000 research across the country. During 2011, the CONICET developed a Web voting system to replace the traditional mail-based process. In 2012 and 2014, CONICET conducted two Web election with no complaints from candidates and voters. Before moving the system into production, CONICET asked the authors to conduct a functional and security assessment of it.

This process is the result of integrating formal, semi-formal and informal verification activities from formal proof to code inspection and model-based testing.

Given the resources and time available, a reasonable level of confidence on the correctness of the application could be transmitted to senior management.

A formal specification of the requirements must be developed.

Formal methods and semi-formal activities are seldom applied to Web applications.

This is a survey paper of the recent literature on the application of semiparametric–econometric advances to testing for functional form of the environmental Kuznets curve (EKC). The EKC postulates that there is an inverted U-shaped relationship between economic growth (typically measured by income) and pollution; that is, as economic growth expands, pollution increases up to a maximum and then starts declining after a threshold level of income. This hypothesized relationship is simple to visualize but has eluded many empirical investigations. A typical application of the EKC uses panel data models, which allows for heterogeneity, serial correlation, heteroskedasticity, data pooling, and smooth coefficients. This vast literature is reviewed in the context of semiparametric model specification tests. Additionally, recent developments in semiparametric econometrics, such as Bayesian methods, generalized time-varying coefficient models, and nonstationary panels are discussed as fruitful areas of future research. The cited literature is fairly complete and should prove useful to applied researchers at large.

Hausman (1978) represented a tectonic shift in inference related to the specification of econometric models. The seminal insight that one could compare two models which were both consistent under the null spawned a test which was both simple and powerful. The so-called ‘Hausman test’ has been applied and extended theoretically in a variety of econometric domains. This paper discusses the basic Hausman test and its development within econometric panel data settings since its publication. We focus on the construction of the Hausman test in a variety of panel data settings, and in particular, the recent adaptation of the Hausman test to semiparametric and nonparametric panel data models. We present simulation experiments which show the value of the Hausman test in a nonparametric setting, focusing primarily on the consequences of parametric model misspecification for the Hausman test procedure. A formal application of the Hausman test is also given focusing on testing between fixed and random effects within a panel data model of gasoline demand.

This paper aims to present several Bayesian specification tests for both in- and out-of-sample situations.

The authors focus on the Bayesian equivalents of the frequentist approach for testing heteroskedasticity, autocorrelation and functional form specification. For out-of-sample diagnostics, the authors consider several tests to evaluate the predictive ability of the model.

The authors demonstrate the performance of these tests using an application on the relationship between price and occupancy rate from the hotel industry. For purposes of comparison, the authors also provide evidence from traditional frequentist tests.

There certainly exist other issues and diagnostic tests that are not covered in this paper. The issues that are addressed, however, are critically important and can be applied to most modeling situations.

With the increased use of the Bayesian approach in various modeling contexts, this paper serves as an important guide for diagnostic testing in Bayesian analysis. Diagnostic analysis is essential and should always accompany the estimation of regression models.

This paper evaluates the commonly used CPI and WPI proxies for the real exchange rate by comparing them to new measures constructed from a different data series of traded and nontraded goods prices. The tests provide mixed evidence in favor of using the general price indexes to construct measures of the real exchange rate.

IT IS OF INTEREST TO RECALL THAT while B.S. 210, issued in 1924 was the first British Standard covering mineral lubricating oils, this was not the first time that the British Standards Institution had paid attention to the petroleum industry. Earlier, in 1921 and 1923 motor spirit and benzol had been covered by B.S.121 and B.S.135 respectively. Shortly after B.S.210, further attention was paid to this field in general by the issue, in 1927, of B.S.148 and in 1929 of B.S.188. B.148 dealing with insulating oils for electrical purposes, has subsequently been revised but in the main is little changed even today. B.S.188 deals with the determination of viscosity in absolute units, a matter closely related to lubricants and of obvious interest to those engaged in lubricant testing and manufacturing control. It is in the process of revision and enlargement and a draft has just been issued for comment.

Testing is one of the indispensable activities in software development and is being adopted as an independent course by software engineering (SE) departments at universities worldwide. The purpose of this paper is to carry out an investigation of the performance of learners about testing, given the tendencies in the industry and motivation caused by the unavailability of similar studies in software testing field.

This study is based on the data collected over three years (between 2012 and 2014) from students taking the software testing course. The course is included in the second year of undergraduate curriculum for the bachelor of engineering (SE).

It has been observed that, from the performance perspective, automated testing outperforms structural and functional testing techniques, and that a strong correlation exists among these three approaches. Moreover, a strong programming background does help toward further success in structural and automated testing, but has no effect on functional testing. The results of different teaching styles within the course are also presented together with an analysis exploring the relationship between students’ gender and success in the software testing course, revealing that there is no difference in terms of performance between male and female students in the course. Moreover, it is advisable to introduce teaching concepts one at a time because students find it difficult to grasp the ideas otherwise.

These findings are based on the analysis conducted using three years of data collected while teaching a course in testing. Obviously, there are some limitations to this study. For example, student’s strength in programming is calculated using the score of C programming courses taken in previous year/semester. Such scores may not reflect their current level of programming knowledge. Furthermore, attempt was made to ensure that the exercises given for different testing techniques have similar difficulty level to guarantee that the difference in success between these testing techniques is due to the inherent complexity of the technique itself and not because of different exercises. Still, there is small probability that a certain degree of change in success may be due to the difference in the difficulty levels of the exercises. As such, it is obviously premature to consider the present results as final since there is a lack of similar type of studies, with which the authors can compare the results. Therefore, more work needs to be done in different settings to draw sound conclusions in this respect.

Although there are few studies (see e.g. Chan et al., 2005; Garousi and Zhi, 2013; Ng et al., 2004) exploring the preference of testers over distinct software testing techniques in the industry, there appears to be no paper comparing the preferences and performances of learners in terms of different testing techniques.

Increasing awareness of the consequences of device failures has resulted in increased reliance on Environmental Testing as an additional means of enhancing the integrity and reliability of a device. The key consideration is not the cost of the device itself, but the cost of subsequent failure, which can be as much as a hundred times greater. Seal tests are undertaken to ensure that moisture cannot get into the internal cavities of sealed ceramic, metal or glass packages. Seal security is vital to the long‐term reliability of all hermetically sealed devices. This paper outlines the techniques involved and the requirements of the MIL, BS and IEC specifications.