Swedish Institute of Computer Science Publications Database
Not a member yet
2787 research outputs found
Sort by
Dynamic Integration Test Selection Based on Test Case Dependencies
No full textPrioritization, selection and minimization of test
cases are well-known problems in software testing. Test case
prioritization deals with the problem of ordering an existing set
of test cases, typically with respect to the estimated likelihood
of detecting faults. Test case selection addresses the problem of
selecting a subset of an existing set of test cases, typically by
discarding test cases that do not add any value in improving the
quality of the software under test. Most existing approaches for
test case prioritization and selection suffer from one or several
drawbacks. For example, they to a large extent utilize static
analysis of code for that purpose, making them unfit for higher
levels of testing such as integration testing. Moreover, they do not
exploit the possibility of dynamically changing the prioritization
or selection of test cases based on the execution results of prior
test cases. Such dynamic analysis allows for discarding test cases
that do not need to be executed and are thus redundant. This
paper proposes a generic method for prioritization and selection
of test cases in integration testing that addresses the above issues.
We also present the results of an industrial case study where
initial evidence suggests the potential usefulness of our approach
in testing a safety-critical train control management subsystem
Register allocation and instruction scheduling in Unison
No full textThis paper describes Unison, a simple, flexible, and potentially optimal software tool that performs register allocation and instruction scheduling in integration using combinatorial optimization. The tool can be used as an alternative or as a complement to traditional approaches, which are fast but complex and suboptimal. Unison is most suitable whenever high-quality code is required and longer compilation times can be tolerated (such as in embedded systems or library releases), or the targeted processors are so irregular that traditional compilers fail to generate satisfactory code
TuneR: A Framework for Tuning Software Engineering Tools with Hands-on Instructions in R
No full textNumerous tools automating various aspects of software engineering have been developed, and many of the tools are highly configurable through parameters. Understanding the parameters of advanced tools often requires deep understanding of complex algorithms. Unfortunately, suboptimal parameter settings limit the performance of tools and hinder industrial adaptation, but still few studies address the challenge of tuning software engineering tools. We present TuneR, an experiment framework that supports finding feasible parameter settings using empirical methods. The framework is accompanied by practical guidelines of how to use R to analyze the experimental outcome. As a proof-of-concept, we apply TuneR to tune ImpRec, a recommendation system for change impact analysis in a software system that has evolved for more than two decades. Compared with the output from the default setting, we report a 20.9% improvement in the response variable reflecting recommendation accuracy. Moreover, TuneR reveals insights into the interaction among parameters, as well as nonlinear effects. TuneR is easy to use, thus the framework has potential to support tuning of software engineering tools in both academia and industry
Cost-Benefit Analysis of Using Dependency Knowledge at Integration Testing
No full textIn software system development, testing can take considerable time and resources, and there are numerous examples in the literature of how to improve the testing process. In particular, methods for selection and prioritization of test cases can play a critical role in efficient use of testing resources. This paper focuses on the problem of selection and ordering of integration-level test cases. Integration testing is performed to evaluate the correctness of several units in composition. Further, for reasons of both effectiveness and safety, many embedded systems are still tested manually. To this end, we propose a process, supported by an online decision support system, for ordering and selection of test cases based on the test result of previously executed test cases. To analyze the economic efficiency of such a system, a customized return on investment (ROI) metric tailored for system integration testing is introduced. Using data collected from the development process of a large-scale safety-critical embedded system, we perform Monte Carlo simulations to evaluate the expected ROI of three variants of the proposed new process. The results show that our proposed decision support system is beneficial in terms of ROI at system integration testing and thus qualifies as an important element in improving the integration testing process
Internet of Things for Smart Cities: Interoperability and Open Data
No full textThe Internet of Things (IoT) for smart cities needs accessible open data and open systems, so that industries and citizens can develop new services and applications. As an example, the authors provide a case study of the GreenIoT
platform in Uppsala, Sweden
The E-Care@Home Infrastructure for IoT-Enabled Healthcare
No full textThe E-Care@Home Project aims at providing a comprehensive IoT-based healthcare system, including state-of-the-art communication protocols and high-level analysis of data from various types of sensors. With this poster, we present its novel technical infrastructure, consisting of low-power IPv6 networking, sensors for health monitoring, and resource-efficient software, that is used to gather data from elderly patients and their surrounding environment
A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software
No full textWith the development of multicore hardware, concurrent, parallel and multicore software are becoming increasingly popular. Software companies are spending a huge amount of time and resources to nd and debug the bugs. Among all types of software bugs, concurrency bugs are also important and troublesome. This type of bugs is increasingly becoming an issue particularly due to the growing prevalence of multicore hardware. In this position paper, we propose a model for monitoring and debugging Starvation bugs as a type of concurrency bugs in multicore software. The model is composed into three phases: monitoring, detecting and debugging. The monitoring phase can support detecting phase by storing collected data from the system execution. The detecting phase can support debugging phase by comparing the stored data with starvation bug's properties, and the debugging phase can help in reproducing and removing the Starvation bug from multicore software. Our intention is that our model is the basis for developing tool(s) to enable solving Starvation bugs in software for multicore platforms
A Property Model Ontology
No full textEfficient development of high quality software is tightly coupled to the ability of quickly taking complex decisions based on trustworthy facts. In component-based software engineering, the decisions related to selecting the most suitable component among functionally-equivalent ones are of paramount importance. Despite sharing the same functionality, components differ in terms of their extra-functional properties. Therefore, to make informed selections, it is crucial to evaluate extra-functional properties in a systematic way. To date, many properties and evaluation methods that are not necessarily compatible with each other exist. The property model ontology presented in this paper represents the first step towards providing a systematic way to describe extra-functional properties and their evaluation methods, and thus making them comparable. This is beneficial from two perspectives. First, it aids researchers in identifying comparable property models as a guide for empirical evaluations. Second, practitioners are supported in choosing among alternative evaluation methods for the properties of their interest. The use of the ontology is illustrated by instantiating a subset of property models relevant in the automotive domain
Global Constraint Catalog Volume II: Time-Series Constraints
No full textFirst this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints
where each constraint is explicitly described in terms of automata with accumulators
