In service-oriented computing, software applications are dynamically built by assembling existing, loosely-coupled, distributed, and heterogeneous services. Predicting their reliability is important to appropriately drive the selection and assembly of services. This paper presents an approach to predict the reliability of a service component architecture. We adopt a lightweight formal component model, SCA-ASM, as core modeling technique for both architecture and behavior, supported by a run-time platform. This component model is based on the OASIS standard Service Component Architecture for heterogeneous service assembly and on the formal method Abstract State Machines for modeling service behavior, interactions, and orchestration in an abstract but executable way. The proposed reliability prediction method exploits ideas from architecture-based and path-based reliability models.
{"title":"Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model","authors":"E. Riccobene, P. Potena, P. Scandurra","doi":"10.1109/SEAA.2012.53","DOIUrl":"https://doi.org/10.1109/SEAA.2012.53","url":null,"abstract":"In service-oriented computing, software applications are dynamically built by assembling existing, loosely-coupled, distributed, and heterogeneous services. Predicting their reliability is important to appropriately drive the selection and assembly of services. This paper presents an approach to predict the reliability of a service component architecture. We adopt a lightweight formal component model, SCA-ASM, as core modeling technique for both architecture and behavior, supported by a run-time platform. This component model is based on the OASIS standard Service Component Architecture for heterogeneous service assembly and on the formal method Abstract State Machines for modeling service behavior, interactions, and orchestration in an abstract but executable way. The proposed reliability prediction method exploits ideas from architecture-based and path-based reliability models.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126993706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Testing is one of the most widely practiced quality assurance measures and also one of the most resource-intensive activities in software development. Still, however, most of the available methods, techniques and tools for software testing are value-neutral and do not realize the potential value contribution of testing. In this paper we present an approach for value-based coverage measurement that can be used to align the testing effort with the achievable value associated with requirements and functional units. It has been implemented as part of a commercial test tool and was successfully applied in real-world projects. The results demonstrated its ability to adequately capture the distribution of the business value and risks involved in different requirements. The paper concludes with sharing important lessons learned from developing value-based coverage measurement in the practical setting of commercial tool development and real-world test projects.
{"title":"Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA Testsuite","authors":"R. Ramler, Theodorich Kopetzky, Wolfgang Platz","doi":"10.1109/SEAA.2012.43","DOIUrl":"https://doi.org/10.1109/SEAA.2012.43","url":null,"abstract":"Testing is one of the most widely practiced quality assurance measures and also one of the most resource-intensive activities in software development. Still, however, most of the available methods, techniques and tools for software testing are value-neutral and do not realize the potential value contribution of testing. In this paper we present an approach for value-based coverage measurement that can be used to align the testing effort with the achievable value associated with requirements and functional units. It has been implemented as part of a commercial test tool and was successfully applied in real-world projects. The results demonstrated its ability to adequately capture the distribution of the business value and risks involved in different requirements. The paper concludes with sharing important lessons learned from developing value-based coverage measurement in the practical setting of commercial tool development and real-world test projects.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129379216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Feature modeling is widely used for software product line analysis to capture commonality and variability of a product line. As product line variations are mainly captured in a feature model, the mapping between features and architectural components is essential to enable the derivation of product architectures from the feature model. However, current SPL architecture design approaches that map features to architectural components do not model crosscutting concerns explicitly either at a feature model or at product line architecture design. We propose a feature-oriented solution with aspects for product line architecture design aiming at improving product line architecture evolvability by adopting aspect-oriented techniques, which provide a promising support for modeling crosscutting concerns. Our approach includes guidelines for developing and refining SPL requirements into component-based product line architecture with aspects. We evaluated our approach through a preliminary evaluation which has shown promising results.
{"title":"An Aspect-Based Feature Model for Architecting Component Product Lines","authors":"Leonardo P. Tizzei, C. M. F. Rubira, Jaejoon Lee","doi":"10.1109/SEAA.2012.64","DOIUrl":"https://doi.org/10.1109/SEAA.2012.64","url":null,"abstract":"Feature modeling is widely used for software product line analysis to capture commonality and variability of a product line. As product line variations are mainly captured in a feature model, the mapping between features and architectural components is essential to enable the derivation of product architectures from the feature model. However, current SPL architecture design approaches that map features to architectural components do not model crosscutting concerns explicitly either at a feature model or at product line architecture design. We propose a feature-oriented solution with aspects for product line architecture design aiming at improving product line architecture evolvability by adopting aspect-oriented techniques, which provide a promising support for modeling crosscutting concerns. Our approach includes guidelines for developing and refining SPL requirements into component-based product line architecture with aspects. We evaluated our approach through a preliminary evaluation which has shown promising results.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"259 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123082711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A motivated individual is one of the cornerstones of agile software development. Although motivation has been recognized and studied in the software development field, little research has examined motivation in agile teams. Our study aims to provide a better understanding of what motivates software developers in agile environments. We conducted a systematic review of motivators in the agile context, classifying the results using the MOCC model of software engineers' motivation. Additionally, we performed three case studies in agile companies to both confirm our findings and gather new motivators. Our results suggest that motivation in the agile context is slightly different from the overall view of motivation in software development in general.
{"title":"Developers Motivation in Agile Teams","authors":"C. Melo, Célio Santana, Fabio Kon","doi":"10.1109/SEAA.2012.45","DOIUrl":"https://doi.org/10.1109/SEAA.2012.45","url":null,"abstract":"A motivated individual is one of the cornerstones of agile software development. Although motivation has been recognized and studied in the software development field, little research has examined motivation in agile teams. Our study aims to provide a better understanding of what motivates software developers in agile environments. We conducted a systematic review of motivators in the agile context, classifying the results using the MOCC model of software engineers' motivation. Additionally, we performed three case studies in agile companies to both confirm our findings and gather new motivators. Our results suggest that motivation in the agile context is slightly different from the overall view of motivation in software development in general.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115161116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In embedded systems, non-functional and functional aspects are closely related and cannot be considered independently. However, the high complexity of systems requires a large domain of competencies and experts in various domains have to work concurrently on different aspects of the same systems. This is why we propose a multi-view model where each view represents a specific domain. The different views are connected to each other by explicit associations that maintain consistency. The whole system is the sum of all the aspects of elements in all the views. This multi-view approach is implemented in a dedicated UML profile based on MARTE and SysML. This article specifically focuses on the power view and its relationship to other functional or non-functional, structural or behavioral aspects.
{"title":"Multi-view Power Modeling Based on UML, MARTE and SysML","authors":"Carlos Gomez, Julien Deantoni, F. Mallet","doi":"10.1109/SEAA.2012.66","DOIUrl":"https://doi.org/10.1109/SEAA.2012.66","url":null,"abstract":"In embedded systems, non-functional and functional aspects are closely related and cannot be considered independently. However, the high complexity of systems requires a large domain of competencies and experts in various domains have to work concurrently on different aspects of the same systems. This is why we propose a multi-view model where each view represents a specific domain. The different views are connected to each other by explicit associations that maintain consistency. The whole system is the sum of all the aspects of elements in all the views. This multi-view approach is implemented in a dedicated UML profile based on MARTE and SysML. This article specifically focuses on the power view and its relationship to other functional or non-functional, structural or behavioral aspects.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132965146","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Requiring solid engineering disciplines and best practices rather than human talents for developing complex software systems results an increasing interest in software processes. The quality of software processes has considerable influence over the success of an organization. Process quality measurement addresses an essential and largely overlooked aspect of processes. We performed a case study on the application of a process quality measurement method with the main objective of examining the extent of the support it offers for software process improvement in practice. We discuss the challenges and lessons learned as well as the limitations of the measurement method applied.
{"title":"A Case Study on Measuring Process Quality: Lessons Learned","authors":"Ahmet Dikici, O. Türetken, Onur Demirörs","doi":"10.1109/SEAA.2012.26","DOIUrl":"https://doi.org/10.1109/SEAA.2012.26","url":null,"abstract":"Requiring solid engineering disciplines and best practices rather than human talents for developing complex software systems results an increasing interest in software processes. The quality of software processes has considerable influence over the success of an organization. Process quality measurement addresses an essential and largely overlooked aspect of processes. We performed a case study on the application of a process quality measurement method with the main objective of examining the extent of the support it offers for software process improvement in practice. We discuss the challenges and lessons learned as well as the limitations of the measurement method applied.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114576389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Gilbert Regan, F. McCaffery, Kevin McDaid, Derek Flood
Traceability of software artifacts, from requirements to design and through implementation and quality assurance, has long been promoted by the research and expert practitioner communities. However, evidence indicates that, with the exception of those operating in the safety critical domain, few software companies choose to implement traceability processes, often due to associated cost and complexity issues. This paper presents a review of traceability literature including the implementation of traceability in real organizations. Through both analyzing case studies and research published by leading traceability researchers, this paper synthesizes the barriers faced by organizations while implementing traceability, along with proposed solutions to the barriers. Additionally, given the importance of traceability in the regulated domain of safety critical software, the paper compares the barriers for organizations operating inside and outside of this domain.
{"title":"The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework","authors":"Gilbert Regan, F. McCaffery, Kevin McDaid, Derek Flood","doi":"10.1109/SEAA.2012.80","DOIUrl":"https://doi.org/10.1109/SEAA.2012.80","url":null,"abstract":"Traceability of software artifacts, from requirements to design and through implementation and quality assurance, has long been promoted by the research and expert practitioner communities. However, evidence indicates that, with the exception of those operating in the safety critical domain, few software companies choose to implement traceability processes, often due to associated cost and complexity issues. This paper presents a review of traceability literature including the implementation of traceability in real organizations. Through both analyzing case studies and research published by leading traceability researchers, this paper synthesizes the barriers faced by organizations while implementing traceability, along with proposed solutions to the barriers. Additionally, given the importance of traceability in the regulated domain of safety critical software, the paper compares the barriers for organizations operating inside and outside of this domain.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123901231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pervasive environments are composed as spontaneous aggregation of heterogeneous and independent devices, which may seamlessly consume, but also provide, software resources over the network. As result, applications emerge from the dynamic composition of the resources available within the environment. This requires applications of being semantic-aware, to reason about and learn from the environment. However, due to the inherent high degree of dynamism characterizing pervasive environments, semantics cannot be established a-priori, rather it should "emerge" from online negotiations among involved parties. This paper, formalizes emergent semantics principles into formal foundations, and shows, as proof of concept, how to engineer such foundations into a fully distributed semantic service discovery.
{"title":"Engineering Emergent Semantics into Pervasive Resource Discovery","authors":"M. Caporuscio","doi":"10.1109/SEAA.2012.11","DOIUrl":"https://doi.org/10.1109/SEAA.2012.11","url":null,"abstract":"Pervasive environments are composed as spontaneous aggregation of heterogeneous and independent devices, which may seamlessly consume, but also provide, software resources over the network. As result, applications emerge from the dynamic composition of the resources available within the environment. This requires applications of being semantic-aware, to reason about and learn from the environment. However, due to the inherent high degree of dynamism characterizing pervasive environments, semantics cannot be established a-priori, rather it should \"emerge\" from online negotiations among involved parties. This paper, formalizes emergent semantics principles into formal foundations, and shows, as proof of concept, how to engineer such foundations into a fully distributed semantic service discovery.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122825874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Deterministic replay debugging is a technique aimed at finding and debugging software failures occurring in field operation that are usually hard to reproduce. With deterministic replay debugging a software run is recorded, so that it can be reproduced deterministically in a debugger. While deterministic replay debugging is capable of reproducing a failure, in practice, especially in the case of a long-running application, it is still hard for the developer to locate the exact position of the failure in the trace log. Based on our previous work on deterministic replay debugging, we propose an approach to use behavior specifications in the form of test cases to search a recorded trace log. We first present a formal approach for the specification of test cases for PLC applications based on hybrid automata. Then we present a method for searching a recorded program trace for occurrences of the test scenario. That way, we can not only identify regions where a specification violation occurred, but also the corresponding regions in the trace where the test case passed, which can then be further used for comparison. We present the theoretical background of our approach, an implementation of the trace search algorithm, and an example application.
{"title":"Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay","authors":"Roland Schatz, Herbert Prähofer","doi":"10.1109/SEAA.2012.10","DOIUrl":"https://doi.org/10.1109/SEAA.2012.10","url":null,"abstract":"Deterministic replay debugging is a technique aimed at finding and debugging software failures occurring in field operation that are usually hard to reproduce. With deterministic replay debugging a software run is recorded, so that it can be reproduced deterministically in a debugger. While deterministic replay debugging is capable of reproducing a failure, in practice, especially in the case of a long-running application, it is still hard for the developer to locate the exact position of the failure in the trace log. Based on our previous work on deterministic replay debugging, we propose an approach to use behavior specifications in the form of test cases to search a recorded trace log. We first present a formal approach for the specification of test cases for PLC applications based on hybrid automata. Then we present a method for searching a recorded program trace for occurrences of the test scenario. That way, we can not only identify regions where a specification violation occurred, but also the corresponding regions in the trace where the test case passed, which can then be further used for comparison. We present the theoretical background of our approach, an implementation of the trace search algorithm, and an example application.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117223239","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Mader, G. Grießnig, E. Armengaud, A. Leitner, Christian Kreiner, Quentin Bourrouilh, C. Steger, R. Weiss
In this paper, we present a tool enhancement that allows an effective transition from the system level development phase to the software level development phase of a tool-supported safety engineering workflow aligned with the automotive functional safety standard ISO 26262. The tool enhancement has capabilities for model generation and code generation. Whereas the generation of Simulink models supports the development of application software, the configuration and generation of safety drivers supports the development of the basic software required for initialization, runtime fault detection and error handling. We describe the safety engineering workflow and its supporting tool chain including the tool enhancement. Moreover we demonstrate that the enhancement supports the transition from the system level development phase to the software level development phase using the case study of a hybrid electric vehicle development.
{"title":"A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems","authors":"R. Mader, G. Grießnig, E. Armengaud, A. Leitner, Christian Kreiner, Quentin Bourrouilh, C. Steger, R. Weiss","doi":"10.1109/SEAA.2012.61","DOIUrl":"https://doi.org/10.1109/SEAA.2012.61","url":null,"abstract":"In this paper, we present a tool enhancement that allows an effective transition from the system level development phase to the software level development phase of a tool-supported safety engineering workflow aligned with the automotive functional safety standard ISO 26262. The tool enhancement has capabilities for model generation and code generation. Whereas the generation of Simulink models supports the development of application software, the configuration and generation of safety drivers supports the development of the basic software required for initialization, runtime fault detection and error handling. We describe the safety engineering workflow and its supporting tool chain including the tool enhancement. Moreover we demonstrate that the enhancement supports the transition from the system level development phase to the software level development phase using the case study of a hybrid electric vehicle development.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115868795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：