| 1. |
- Abbaspour Asadollah, Sara, et al.
(författare)
-
Towards Classification of Concurrency Bugs Based on Observable Properties
- 2015
-
Ingår i: Proceedings - 1st International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015. - 9781479919345 ; , s. 41-47
-
Konferensbidrag (refereegranskat)abstract
- In software engineering, classification is a way to find an organized structure of knowledge about objects. Classification serves to investigate the relationship between the items to be classified, and can be used to identify the current gaps in the field. In many cases users are able to order and relate objects by fitting them in a category. This paper presents initial work on a taxonomy for classification of errors (bugs) related to concurrent execution of application level software threads. By classifying concurrency bugs based on their corresponding observable properties, this research aims to examine and structure the state of the art in this field, as well as to provide practitioner support for testing and debugging of concurrent software. We also show how the proposed classification, and the different classes of bugs, relates to the state of the art in the field by providing a mapping of the classification to a number of recently published papers in the software engineering field.
|
|
| 2. |
- Berntsson Svensson, Richard, 1978, et al.
(författare)
-
Aligning Quality Requirements and Test Results with QUPER's Roadmap View for Improved High-Level Decision-Making
- 2015
-
Ingår i: 2015 Ieee/Acm 2nd International Workshop on Requirements Engineering and Testing (Ret). - : IEEE. - 9781479919345
-
Konferensbidrag (refereegranskat)abstract
- Weak alignment of requirements engineering (RE) and Software Testing (ST) may lead to problems in delivering the required products in time with the right quality. Despite the importance of aligning RE and ST, the research have mainly been focused on one or the other of RE and ST. Previous work has identified several challenges in aligning RE and ST related to Quality Requirements, for example, the need for tool support for QR, defining and managing QR, and verification of QR. In this position paper, we introduce a new view of the QUPER model, namely aligning QR targets and test results in QUPERs roadmap view. The alignment view was evaluated at a case company with 13 practitioners. The results show that the alignment of QR and test results using QUPER's roadmap view was viewed as an important input to the decision-making process.
|
|
| 3. |
- Bjarnason, Elizabeth, et al.
(författare)
-
2nd International Workshop on Requirements Engineering and Testing (RET 2015)
- 2015
-
Ingår i: 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2. - : IEEE. - 9781479919345 ; , s. 997-998
-
Konferensbidrag (refereegranskat)abstract
- The RET (Requirements Engineering and Testing) workshop provides a meeting point for researchers and practitioners from the two separate fields of Requirements Engineering (RE) and Testing. The goal is to improve the connection and alignment of these two areas through an exchange of ideas, challenges, practices, experiences and results. The long term aim is to build a community and a body of knowledge within the intersection of RE and Testing. One of the main outputs of the 1st workshop was a collaboratively constructed map of the area of RET showing the topics relevant to RET for these. The 2nd workshop will continue in the same interactive vein and include a keynote, paper presentations with ample time for discussions, and a group exercise. For true impact and relevance this cross-cutting area requires contribution from both RE and Testing, and from both researchers and practitioners. For that reason we welcome a range of paper contributions from short experience papers to full research papers that both clearly cover connections between the two fields.
|
|
| 4. |
- Bosch, Jan, 1967
(författare)
-
Accelerating Change in the Nordic Software Intensive Industry: Keynote Software Engineering Research and Industrial Practice Workshop
- 2015
-
Ingår i: IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice (SER&IP). - 9781479919345 ; 19 August 2015, s. 1-2
-
Konferensbidrag (refereegranskat)abstract
- Collaboration between software engineering researchers and industry is notoriously difficult to scale beyond ad-hoc connections between individual researchers and companies. Software Center in Gothenburg, Sweden has over the last years built up a scaling research collaboration between eight international companies and three universities. Several elements underlie the success of the center, including the adoption of a sprint model, the role of industry in steering projects and the organization around a common conceptual model.
|
|
| 5. |
- Bosch, Jan, 1967
(författare)
-
Architecting to ensure requirement relevance: keynote twinpeaks workshop
- 2015
-
Ingår i: Proceedings - 5th International Workshop on the Twin Peaks of Requirements and Architectur. - 9781479919345
-
Konferensbidrag (refereegranskat)abstract
- Research has shown that up to two thirds of features in software systems are hardly ever used or not even used at all. This represents a colossal waste of R&D resources and occurs across the industry. On the other hand, product management and many others work hard at interacting with customers, building business cases and prioritizing requirements. A fundamentally different approach to deciding what to build is required: requirements should be treated as hypothesis throughout the development process and constant feedback from users and systems in the field should be collected to dynamically reprioritize and change requirements. This requires architectural support beyond the current state of practice as continuous deployment, split testing and data collection need to be an integral part of the architecture. In this paper, we present a brief overview of our research and industry collaboration to address this challenge.
|
|
| 6. |
- Clark, David, et al.
(författare)
-
Information Transformation : An Underpinning Theory for Software Engineering
- 2015
-
Ingår i: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2. - : IEEE. - 9781479919345 ; , s. 599-602
-
Konferensbidrag (refereegranskat)abstract
- Software engineering lacks underpinning scientific theories both for the software it produces and the processes by which it does so. We propose that an approach based on information theory can provide such a theory, or rather many theories. We envision that such a benefit will be realised primarily through research based on the quantification of information involved and a mathematical study of the limiting laws that arise. However, we also argue that less formal but more qualitative uses for information theory will be useful. The main argument in support of our vision is based on the fact that both a program and an engineering process to develop such a program are fundamentally processes that transform information. To illustrate our argument we focus on software testing and develop an initial theory in which a test suite is input/output adequate if it achieves the channel capacity of the program as measured by the mutual information between its inputs and its outputs. We outline a number of problems, metrics and concrete strategies for improving software engineering, based on information theoretical analyses. We find it likely that similar analyses and subsequent future research to detail them would be generally fruitful for software engineering.
|
|
| 7. |
- Jägemar, Marcus, et al.
(författare)
-
Cognitively Sustainable ICT with Ubiquitous Mobile Services - Challenges and Opportunities
- 2015
-
Ingår i: Proceedings - International Conference on Software Engineering. - 0270-5257. - 9781479919352 ; 2, s. 531-540, s. 531-540
-
Konferensbidrag (refereegranskat)abstract
- Information and Communication Technology (ICT) has led to an unprecedented development in almost all areasof human life. It forms the basis for what is called “the cognitive revolution” – a fundamental change in the way wecommunicate, feel, think and learn based on an extension of individual information processing capacities by communicationwith other people through technology. This so-called “extended cognition” shapes human relations in a radically new way. It is accompanied by a decrease of shared attention and affective presence within closely related groups. This weakens the deepest and most important bonds, that used to shape human identity.Sustainability, both environmental and social (economic, technological, political and cultural) is one of the most important issues of our time. In connection with “extended cognition” we have identified a new, basic type of social sustainability that everyone takes for granted, and which we claim is in danger due to our changed ways of communication. We base our conclusion on a detailed analysis of the current state of the practice andobserved trends. The contribution of our article consists of identifying cognitive sustainability and explaining its central rolefor all other aspects of sustainability, showing how it relates to the cognitive revolution, its opportunities and challenges.Complex social structures with different degrees of proximity have always functioned as mechanisms behind belongingness andidentity. To create a long-term cognitive sustainability, we need to rethink and design new communication technologies that supportdifferentiated and complex social relationships.
|
|
| 8. |
- McCarthy, Tim, et al.
(författare)
-
Bixie : Finding and understanding inconsistent code
- 2015
-
Ingår i: Proc. 37th IEEE/ACM International Conference on Software Engineering. - Piscataway, NJ : IEEE. - 9781479919345 ; , s. 645-648
-
Konferensbidrag (refereegranskat)abstract
- We present Bixie, a tool to detect inconsistencies in Java code. Bixie detects inconsistent code at a higher precision than previous tools and provides novel fault localization techniques to explain why code is inconsistent. We demonstrate the usefulness of Bixie on over one million lines of code, show that it can detect inconsistencies at a low false alarm rate, and fix a number of inconsistencies in popular open-source projects. Watch our Demo at http://youtu.be/QpsoUBJMxhk.
|
|
| 9. |
- Mongiello, Marina, et al.
(författare)
-
AC-contract: Run-time verification of context-aware applications
- 2015
-
Ingår i: IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2015. - : IEEE. - 9781479919345
-
Konferensbidrag (refereegranskat)abstract
- Modern software systems are increasingly complex and are controlling critical activities in many different domains. The traditional assumption that these systems will work in a controlled context is slightly vanishing. Therefore, it emerges the need of methodologies able to determine under what conditions desired goals will be achieved and behavioural strategies will be preserved despite (often unavoidable) adaptations. In this paper we use the cognitive psychology concept of schema to identify the set of properties that an adaptable system has to maintain when adapting to changed context. The methodology we propose, called AC-contract (Adaptable Code-contract), starts from high-level requirements and identifies properties that should hold locally on single parts of the system. Local properties are represented as contracts directly on the programming language. Specifically, AC-contract is able to embed logical propositions in the source code as annotations, moreover, it enables verification of adaptable code by exploiting a preprocessor that executes the annotations. The methodology is applied to a mobile application supporting travellers during their journey.
|
|
| 10. |
- Neto, F. G. D., et al.
(författare)
-
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques
- 2015
-
Ingår i: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2. - : IEEE. - 9781479919345
-
Konferensbidrag (refereegranskat)abstract
- The current concern regarding quality of evaluation performed in existing studies reveals the need for methods and tools to assist in the definition and execution of empirical studies and experiments. However, when trying to apply general methods from empirical software engineering in specific fields, such as evaluation of software testing techniques, new obstacles and threats to validity appears, hindering researchers' use of empirical methods. This paper discusses those issues specific for evaluation of software testing techniques and proposes an initiative for a collaborative effort to encourage reproducibility of experiments evaluating software testing techniques (STT). We also propose the development of a tool that enables automatic execution and analysis of experiments producing a reproducible research compendia as output that is, in turn, shared among researchers. There are many expected benefits from this endeavour, such as providing a foundation for evaluation of existing and upcoming STT, and allowing researchers to devise and publish better experiments.
|
|
