Test-aware combinatorial interaction testing

Combinatorial interaction testing (CIT) approaches system- atically sample a given configuration space and select a set of configurations, in which each valid t-way option setting combination appears at least once. A battery of test cases are then executed in the selected configurations. Exist- ing CIT approaches, however, do not provide a system- atic way of handling test-specific inter-option constraints. Improper handling of such constraints, on the other hand, causes masking effects, which in turn causes testers to de- velop false confidence in their test processes, believing them have tested certain option setting combinations, when they in fact have not. In this work, to avoid the harmful conse- quences of masking effects caused by improper handling of test-specific constraints, we compute t-way test-aware cov- ering arrays. A t-way test-aware covering array is not just a set of configurations as is the case in traditional covering arrays, but a set of configurations, each of which is asso- ciated with a set of test cases. We furthermore present a set of empirical studies conducted by using two widely-used highly-configurable software systems as our subject applica- tions, demonstrating that test-specific constraints are likely to occur in practice and the proposed approach is a promis- ing and effective way of handling them

The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing

The effectiveness of probabilistic structural testing depends on the characteristics of the probability distribution from which test inputs are sampled at random. Metaheuristic search has been shown to be a practical method of optimis- ing the characteristics of such distributions. However, the applicability of the existing search-based algorithm is lim- ited by the requirement that the software’s inputs must be a fixed number of numeric values. In this paper we relax this limitation by means of a new representation for the probability distribution. The repre- sentation is based on stochastic context-free grammars but incorporates two novel extensions: conditional production weights and the aggregation of terminal symbols represent- ing numeric values. We demonstrate that an algorithm which combines the new representation with hill-climbing search is able to effi- ciently derive probability distributions suitable for testing software with structurally-complex input domains

SME’s Enterprise Resource Planning Implementation, Competitive Advantage, and Marketing Performance

Enterprise Resource Planning (ERP) is an integrated application software for widespread use in the organization. The aim of this study is to determine factors that affect the successful implementation of ERP in Small and Medium Enterprises (SMEs) in Central Java in order to build competitive ad-vantage and increase marketing performance. To test the 9 hypothesis, this study utilized data from 107 SMEs in Central Java. The results revealed that variable hardware and software selection have the greatest influence toward the successful implementation in Small and Medium Enterprises. It is suggested that SMEs should gain knowledge and solidify its business process reengineering before implementing ERP. Research paper Reference to this paper should be made as follows: Raharjo, S. T., Mudiantono, Perdhana, M. S. (2016). “SME’s Enterprise Resource Planning Implementation, Competitive Advantage, and Market-ing Performance: Finding from Central Java, Indonesia”, Journal of Entrepreneurship, Business and Economics, Vol. 4, No. 1, pp. 22–44.

Power, Avionics and Software Communication Network Architecture

This document describes the communication architecture for the Power, Avionics and Software (PAS) 2.0 subsystem for the Advanced Extravehicular Mobile Unit (AEMU). The following systems are described in detail: Caution Warn- ing and Control System, Informatics, Storage, Video, Audio, Communication, and Monitoring Test and Validation. This document also provides some background as well as the purpose and goals of the PAS project at Glenn Research Center (GRC)

A study on the mouldability of POM microdetails in moulding blocks using micromanufacturing technologies

The integration of micro fabrication and micro-moulding techniques contributed to the massifica-tion of microsystems in several domains of activity at feasible costs. In this study the mouldability of microdetails generated by microEDM, micromilling and laser milling in microinjection moulding blocks is assessed. For that purpose, a polyacetal for precision microparts is used to evaluate how mi-crofeatures are replicated in microinjection mould-ing. The mouldings were produced in a instru-mented micromould with two interchangeable moulding blocks, enabling the test of various mould inserts. The processing conditions were simulated with the Moldex3D commercial software. Despite the commercial success of microinjection moulding, the process involves microscale phe-nomena that make the polymer flow different from the conventional flow at the macro scale. The mi-croinjection tests and the simulation allowed the gathering of knowledge to incorporate on mathe-matical models and simulation software, enabling the filling simulations at this scale being more ac-curate. Further to the assessment of the microde-tails mouldability, the surface replication and finish-ing of the mouldings were analysed by optical and SEM microscopy.Fundação para a Ciência e a Tecnologia (FCT) - SFRH/BD/36982/200

Commissioning Perspectives for the ATLAS Pixel Detector

The ATLAS Pixel Detector, the innermost sub-detector of the ATLAS experiment at the Large Hadron Collider, CERN, is an 80 million channel silicon pixel tracking detector designed for high-precision charged particle tracking and secondary vertex reconstruction. It was installed in the ATLAS experiment and commissioning for the first proton-proton collision data taking in 2008 has begun. Due to the complex layout and limited accessibility, quality assurance measurements were continuously performed during production and assembly to ensure that no problematic components are integrated. The assembly of the detector at CERN and related quality assurance measurement results, including comparison to previous production measurements, will be presented. In order to verify that the integrated detector, its data acquisition readout chain, the ancillary services and cooling system as well as the detector control and data acquisition software perform together as expected approximately 8% of the detector system was progressively assembled as close to the final layout as possible. The so-called System Test laboratory setup was operated for several months under experiment-like environment conditions. The interplay between different detector components was studied with a focus on the performance and tunability of the optical data transmission system. Operation and optical tuning procedures were developed and qualified for the upcoming commission ing. The front-end electronics preamplifier threshold tuning and noise performance were studied and noise occupancy of the detector with low sensor bias voltages was investigated. Data taking with cosmic muons was performed to test the data acquisition and trigger system as well as the offline reconstruction and analysis software. The data quality was verified with an extended version of the pixel online monitoring package which was implemented for the ATLAS Combined Testbeam. The detector raw data of the Combined Testbeam and of the System Test cosmic run was converted for offline data analysis with the Pixel bytestream converter which was continuously extended and adapted according to the offline analysis software needs

Occupancy Based Household Energy Disaggregation using Ultra Wideband Radar and Electrical Signature Profiles

Human behaviour and occupancy accounts for a substantial proportion of variation in the energy efficiency pro le of domestic buildings. Yet while people often claim that they would like to reduce their energy bills, rhetoric frequently fails to match action due to the effort involved in understand- ing and changing deeply engrained energy consumption habits. Here, we present and, through dedicated experiments, test in-house developed soft-ware to remotely identify appliance energy usage within buildings, using energy equipment which could be placed at the electricity meter location. Furthermore, we monitor and compare the occupancy of the location under study through Ultra-Wideband (UWB) radar technology and compare the resulting data with those received from the power monitoring software, via time synchronization. These signals when mapped together can potentially provide both occupancy and speci c appliances power consumption, which could enable energy usage segregation on a yet impossible scale as well as usage attributable to occupancy behaviour. Such knowledge forms the basis for the implementation of automated energy saving actions based on a households unique energy profi le

Example-based Validation of Domain-Specific Visual Languages

This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in SLE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, http://dx.doi.org/10.1145/10.1145/2814251.2814256The definition of Domain-Specific Languages (DSLs) is a recurrent activity in Model-Driven Engineering. However, their construction is many times an ad-hoc process, partly due to the lack of tools enabling a proper engineering of DSLs and promoting domain experts to play an active role. The focus of this paper is on the validation of meta- models for visual DSLs. For this purpose, we propose a language and tool support for describing properties that in- stances of meta-models should (or should not) meet. Then, our system uses a model finder to produce example models, enriched with a graphical concrete syntax, that confirm or refute the assumptions of the meta-model developer. Our language complements metaBest, a framework for the validation and verification of meta-models that includes two other languages for unit testing and specification-based test- ing of meta-models. A salient feature of our approach is that it fosters interaction with domain experts by the use, process- ing and creation of informal drawings constructed in editors liked yED or Dia. We assess the usefulness of the approach in the validation of a DSL for house blueprints, with the par- ticipation of 26 4th year computer science students.Work supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125)