80,334 research outputs found
Time-Space Efficient Regression Testing for Configurable Systems
Configurable systems are those that can be adapted from a set of options.
They are prevalent and testing them is important and challenging. Existing
approaches for testing configurable systems are either unsound (i.e., they can
miss fault-revealing configurations) or do not scale. This paper proposes
EvoSPLat, a regression testing technique for configurable systems. EvoSPLat
builds on our previously-developed technique, SPLat, which explores all
dynamically reachable configurations from a test. EvoSPLat is tuned for two
scenarios of use in regression testing: Regression Configuration Selection
(RCS) and Regression Test Selection (RTS). EvoSPLat for RCS prunes
configurations (not tests) that are not impacted by changes whereas EvoSPLat
for RTS prunes tests (not configurations) which are not impacted by changes.
Handling both scenarios in the context of evolution is important. Experimental
results show that EvoSPLat is promising. We observed a substantial reduction in
time (22%) and in the number of configurations (45%) for configurable Java
programs. In a case study on a large real-world configurable system (GCC),
EvoSPLat reduced 35% of the running time. Comparing EvoSPLat with sampling
techniques, 2-wise was the most efficient technique, but it missed two bugs
whereas EvoSPLat detected all bugs four times faster than 6-wise, on average.Comment: 14 page
A Product Line Systems Engineering Process for Variability Identification and Reduction
Software Product Line Engineering has attracted attention in the last two
decades due to its promising capabilities to reduce costs and time to market
through reuse of requirements and components. In practice, developing system
level product lines in a large-scale company is not an easy task as there may
be thousands of variants and multiple disciplines involved. The manual reuse of
legacy system models at domain engineering to build reusable system libraries
and configurations of variants to derive target products can be infeasible. To
tackle this challenge, a Product Line Systems Engineering process is proposed.
Specifically, the process extends research in the System Orthogonal Variability
Model to support hierarchical variability modeling with formal definitions;
utilizes Systems Engineering concepts and legacy system models to build the
hierarchy for the variability model and to identify essential relations between
variants; and finally, analyzes the identified relations to reduce the number
of variation points. The process, which is automated by computational
algorithms, is demonstrated through an illustrative example on generalized
Rolls-Royce aircraft engine control systems. To evaluate the effectiveness of
the process in the reduction of variation points, it is further applied to case
studies in different engineering domains at different levels of complexity.
Subject to system model availability, reduction of 14% to 40% in the number of
variation points are demonstrated in the case studies.Comment: 12 pages, 6 figures, 2 tables; submitted to the IEEE Systems Journal
on 3rd June 201
Parallel software for lattice N=4 supersymmetric Yang--Mills theory
We present new parallel software, SUSY LATTICE, for lattice studies of
four-dimensional supersymmetric Yang--Mills theory with gauge
group SU(N). The lattice action is constructed to exactly preserve a single
supersymmetry charge at non-zero lattice spacing, up to additional potential
terms included to stabilize numerical simulations. The software evolved from
the MILC code for lattice QCD, and retains a similar large-scale framework
despite the different target theory. Many routines are adapted from an existing
serial code, which SUSY LATTICE supersedes. This paper provides an overview of
the new parallel software, summarizing the lattice system, describing the
applications that are currently provided and explaining their basic workflow
for non-experts in lattice gauge theory. We discuss the parallel performance of
the code, and highlight some notable aspects of the documentation for those
interested in contributing to its future development.Comment: Code available at https://github.com/daschaich/sus
The Factory of the Future
A brief history of aircraft production techniques is given. A flexible machining cell is then described. It is a computer controlled system capable of performing 4-axis machining part cleaning, dimensional inspection and materials handling functions in an unmanned environment. The cell was designed to: allow processing of similar and dissimilar parts in random order without disrupting production; allow serial (one-shipset-at-a-time) manufacturing; reduce work-in-process inventory; maximize machine utilization through remote set-up; maximize throughput and minimize labor
Operationally Efficient Propulsion System Study (OEPSS) data book. Volume 4: OEPSS design concepts
This study was initiated to identify operations problems and cost drivers for current propulsion systems and to identify technology and design approaches to increase the operational efficiency and reduce operations costs for future propulsion systems. To provide readily usable data for the Advanced Launch System (ALS) program, the results of the OEPSS study have been organized into a series of OEPSS Data Books. This volume describes three propulsion concepts that will simplify the propulsion system design and significantly reduce operational requirements. The concepts include: (1) a fully integrated, booster propulsion module concept for the ALS that avoids the complex system created by using autonomous engines with numerous artificial interfaces; (2) an LOX tank aft concept which avoids potentially dangerous geysering in long LOX propellant lines; and (3) an air augmented, rocket engine nozzle afterburning propulsion concept that will significantly reduce LOX propellant requirements, reduce vehicle size and simplify ground operations and ground support equipment and facilities
- …