Semantics-based Automated Web Testing

We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.Comment: In Proceedings WWV 2015, arXiv:1508.0338

Metamodel Instance Generation: A systematic literature review

Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic literature review of instance generation techniques for metamodels, i.e. the process of automatically generating models from a given metamodel. We start by presenting a set of research questions that our review is intended to answer. We then identify the main topics that are related to metamodel instance generation techniques, and use these to initiate our literature search. This search resulted in the identification of 34 key papers in the area, and each of these is reviewed here and discussed in detail. The outcome is that we are able to identify a knowledge gap in this field, and we offer suggestions as to some potential directions for future research.Comment: 25 page

IEEE Standard 1500 Compliance Verification for Embedded Cores

Core-based design and reuse are the two key elements for an efficient system-on-chip (SoC) development. Unfortunately, they also introduce new challenges in SoC testing, such as core test reuse and the need of a common test infrastructure working with cores originating from different vendors. The IEEE 1500 Standard for Embedded Core Testing addresses these issues by proposing a flexible hardware test wrapper architecture for embedded cores, together with a core test language (CTL) used to describe the implemented wrapper functionalities. Several intellectual property providers have already announced IEEE Standard 1500 compliance in both existing and future design blocks. In this paper, we address the problem of guaranteeing the compliance of a wrapper architecture and its CTL description to the IEEE Standard 1500. This step is mandatory to fully trust the wrapper functionalities in applying the test sequences to the core. We present a systematic methodology to build a verification framework for IEEE Standard 1500 compliant cores, allowing core providers and/or integrators to verify the compliance of their products (sold or purchased) to the standar

Ontology-driven conceptual modeling: A'systematic literature mapping and review

All rights reserved. Ontology-driven conceptual modeling (ODCM) is still a relatively new research domain in the field of information systems and there is still much discussion on how the research in ODCM should be performed and what the focus of this research should be. Therefore, this article aims to critically survey the existing literature in order to assess the kind of research that has been performed over the years, analyze the nature of the research contributions and establish its current state of the art by positioning, evaluating and interpreting relevant research to date that is related to ODCM. To understand and identify any gaps and research opportunities, our literature study is composed of both a systematic mapping study and a systematic review study. The mapping study aims at structuring and classifying the area that is being investigated in order to give a general overview of the research that has been performed in the field. A review study on the other hand is a more thorough and rigorous inquiry and provides recommendations based on the strength of the found evidence. Our results indicate that there are several research gaps that should be addressed and we further composed several research opportunities that are possible areas for future research

Educational cultural analysis of language assessment rubrics: a case study of Japanese language at a British University

The standard of language assessment is considered to be similar within the same country, but it actually varies from institution to institution even within the UK. Rubrics are important for language teachers to access students' written work, and it also relates to teachers' objective or subjective marking. This paper looks at Japanese assessment criteria in a British STEM university where students study Japanese in the IWLP context. Using two dimensions from Hofstede et al.'s (2010) cultural taxonomy and Hall's (1976) concept of high- and low-context culture, Japanese language rubrics for the written assessment was analysed in 2017. The findings show that the rubrics examined in this study were under the influence of Hofstede et al.'s (2010) collectivist and strong uncertainty avoidance educational culture. The emphasis on the correct use of grammar was observed and also found that language teachers in this institution grade students' written work more objectively using quantitative method. The rubrics includes instructions which enhance the quality of grading consistent and standardise among all language teachers. This process also helps to justify the first marker's awarded marks to the second marker and also the external examiner. Recommendations are given to language teachers and managers who coordinate languages. Language teachers are recommended to inform students whether the focus is accuracy or creativity as this information affects students in working on their assessed work. It is also recommended for managers at language centres to revise periodically the definition of categories to examine if there are any duplication among the rubrics and update them. Incorporating some aspects of rubrics mentioned in this study may enhance the quality of language teachers' grading to be standardised and consistent