537 research outputs found
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
Self-adaptation is a promising approach to manage the complexity of modern
software systems. A self-adaptive system is able to adapt autonomously to
internal dynamics and changing conditions in the environment to achieve
particular quality goals. Our particular interest is in decentralized
self-adaptive systems, in which central control of adaptation is not an option.
One important challenge in self-adaptive systems, in particular those with
decentralized control of adaptation, is to provide guarantees about the
intended runtime qualities. In this paper, we present a case study in which we
use model checking to verify behavioral properties of a decentralized
self-adaptive system. Concretely, we contribute with a formalized architecture
model of a decentralized traffic monitoring system and prove a number of
self-adaptation properties for flexibility and robustness. To model the main
processes in the system we use timed automata, and for the specification of the
required properties we use timed computation tree logic. We use the Uppaal tool
to specify the system and verify the flexibility and robustness properties.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432
Healing Web applications through automatic workarounds
We develop the notion of automatic workaround in the context of Web applications. A workaround is a sequence of operations, applied to a failing component, that is equivalent to the failing sequence in terms of its intended effect, but that does not result in a failure. We argue that workarounds exist in modular systems because components often offer redundant interfaces and implementations, which in turn admit several equivalent sequences of operations. In this paper, we focus on Web applications because these are good and relevant examples of component-based (or service-oriented) applications. Web applications also have attractive technical properties that make them particularly amenable to the deployment of automatic workarounds. We propose an architecture where a self-healing proxy applies automatic workarounds to a Web application server. We also propose a method to generate equivalent sequences and to represent and select them at run-time as automatic workarounds. We validate the proposed architecture in four case studies in which we deploy automatic workarounds to handle four known failures in to the popular Flickr and Google Maps Web application
Built to Last or Built Too Fast? Evaluating Prediction Models for Build Times
Automated builds are integral to the Continuous Integration (CI) software
development practice. In CI, developers are encouraged to integrate early and
often. However, long build times can be an issue when integrations are
frequent. This research focuses on finding a balance between integrating often
and keeping developers productive. We propose and analyze models that can
predict the build time of a job. Such models can help developers to better
manage their time and tasks. Also, project managers can explore different
factors to determine the best setup for a build job that will keep the build
wait time to an acceptable level. Software organizations transitioning to CI
practices can use the predictive models to anticipate build times before CI is
implemented. The research community can modify our predictive models to further
understand the factors and relationships affecting build times.Comment: 4 paged version published in the Proceedings of the IEEE/ACM 14th
International Conference on Mining Software Repositories (MSR) Pages 487-490.
MSR 201
Automatically Discovering, Reporting and Reproducing Android Application Crashes
Mobile developers face unique challenges when detecting and reporting crashes
in apps due to their prevailing GUI event-driven nature and additional sources
of inputs (e.g., sensor readings). To support developers in these tasks, we
introduce a novel, automated approach called CRASHSCOPE. This tool explores a
given Android app using systematic input generation, according to several
strategies informed by static and dynamic analyses, with the intrinsic goal of
triggering crashes. When a crash is detected, CRASHSCOPE generates an augmented
crash report containing screenshots, detailed crash reproduction steps, the
captured exception stack trace, and a fully replayable script that
automatically reproduces the crash on a target device(s). We evaluated
CRASHSCOPE's effectiveness in discovering crashes as compared to five
state-of-the-art Android input generation tools on 61 applications. The results
demonstrate that CRASHSCOPE performs about as well as current tools for
detecting crashes and provides more detailed fault information. Additionally,
in a study analyzing eight real-world Android app crashes, we found that
CRASHSCOPE's reports are easily readable and allow for reliable reproduction of
crashes by presenting more explicit information than human written reports.Comment: 12 pages, in Proceedings of 9th IEEE International Conference on
Software Testing, Verification and Validation (ICST'16), Chicago, IL, April
10-15, 2016, pp. 33-4
Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development
Mobile devices and platforms have become an established target for modern
software developers due to performant hardware and a large and growing user
base numbering in the billions. Despite their popularity, the software
development process for mobile apps comes with a set of unique, domain-specific
challenges rooted in program comprehension. Many of these challenges stem from
developer difficulties in reasoning about different representations of a
program, a phenomenon we define as a "language dichotomy". In this paper, we
reflect upon the various language dichotomies that contribute to open problems
in program comprehension and development for mobile apps. Furthermore, to help
guide the research community towards effective solutions for these problems, we
provide a roadmap of directions for future work.Comment: Invited Keynote Paper for the 26th IEEE/ACM International Conference
on Program Comprehension (ICPC'18
Field trip – Outer Flysch Carpathians and Pieniny Klippen Belt (PKB)
We are glad that we can meet personally during the 2nd Symposium of the IGCP 710 Project, after the pandemic time, which disrupted our idea of regular, annual meetings. After the 1st virtual meeting during the autumn of 2021, we have now the chance to discuss face to face and go to the field together to touch „Tethyan” rocks for a better understanding of what happened hundreds/decades of millions years ago in our lovely ancient ocean. As you know, through your knowledge and experience, the Tethyan Ocean history, both in its western and eastern parts, is fascinating, but enigmatic from time to time, to say the least.Generally, the geological history of the Tethys Ocean is broadly established. Yet many details are still unknown and many major questions remain, related to geotectonics, palaeogeography, palaeoceanography and palaeobiogeography. Improved understanding of the Mesozoic-Cenozoic ocean/climate history is based on accurate reconstruction of the distribution of continents and ocean basins and on opening and closing of seaways along the Tethys. There is little or no agreement about the number or size of separate basins, nor on their space-time relationships. Moreover, there is no consensus on the number and location of former micro-continents and on their incorporation into the present-day Eurasian-Mountain Belt. Geologists studying individual parts of these belts have been educated within different geological systems and adhere to different geological paradigms. Correlation between Western and Eastern Tethys is difficult, not only because of the large distances involved, but also because they are separated by the area of the huge Himalayan collision within which much of the pre-Paleogene tectonostratigraphic information has been lost. The aim of this IGCP project is to bring together geologists from the western and eastern parts of the former Tethys (Morocco/Iberia–SE Asia) to establish a common framework and a common tectonostratigraphic concept (latest Paleozoic–Mesozoic with emphasis on Permian–Jurassic).On the one hand, UNESCO forms a special umbrella for the IGCP Projects, and on the other hand, it has been very active in supporting the ideas of “geoparks” and “geotourism” for years. For this reason, we decided to use an international magazine – Geotourism – to print our materials, both abstracts and a field trip guidebook. We hope it will be useful for both Tethyan friends and geotourism enthusiasts.Enjoy Krakow during the stationary part of the Symposium and the Polish-Slovak-Czech Carpathians during a 5-day field trip!
Second Symposium of the International Geosciences IGCP 710 Project Western Tethys meets Eastern Tethys
We are glad that we can meet personally during the 2nd Symposium of the IGCP 710 Project, after the pandemic time, which disrupted our idea of regular, annual meetings. After the 1st virtual meeting during the autumn of 2021, we have now the chance to discuss face to face and go to the field together to touch „Tethyan” rocks for a better understanding of what happened hundreds/decades of millions years ago in our lovely ancient ocean. As you know, through your knowledge and experience, the Tethyan Ocean history, both in its western and eastern parts, is fascinating, but enigmatic from time to time, to say the least.Generally, the geological history of the Tethys Ocean is broadly established. Yet many details are still unknown and many major questions remain, related to geotectonics, palaeogeography, palaeoceanography and palaeobiogeography. Improved understanding of the Mesozoic-Cenozoic ocean/climate history is based on accurate reconstruction of the distribution of continents and ocean basins and on opening and closing of seaways along the Tethys. There is little or no agreement about the number or size of separate basins, nor on their space-time relationships. Moreover, there is no consensus on the number and location of former micro-continents and on their incorporation into the present-day Eurasian-Mountain Belt. Geologists studying individual parts of these belts have been educated within different geological systems and adhere to different geological paradigms. Correlation between Western and Eastern Tethys is difficult, not only because of the large distances involved, but also because they are separated by the area of the huge Himalayan collision within which much of the pre-Paleogene tectonostratigraphic information has been lost. The aim of this IGCP project is to bring together geologists from the western and eastern parts of the former Tethys (Morocco/Iberia–SE Asia) to establish a common framework and a common tectonostratigraphic concept (latest Paleozoic–Mesozoic with emphasis on Permian–Jurassic).On the one hand, UNESCO forms a special umbrella for the IGCP Projects, and on the other hand, it has been very active in supporting the ideas of “geoparks” and “geotourism” for years. For this reason, we decided to use an international magazine – Geotourism – to print our materials, both abstracts and a field trip guidebook. We hope it will be useful for both Tethyan friends and geotourism enthusiasts.Enjoy Krakow during the stationary part of the Symposium and the Polish-Slovak-Czech Carpathians during a 5-day field trip!
- …