Vinicius H. S. Durelli, A. T. Endo, A. Simão, M. Delamaro
Pervasive computing has been increasingly finding its way into mainstream. Such paradigm has been fostering the development of systems that transparently interact with users, push context awareness further, and are able to deal with aspects of the user's day-to-day experience. Pervasive systems have been constantly and invisibly introduced in our everyday lives, moving us towards a pervasive computing world. Therefore, in this paper we argue that there is a need to prepare for the challenges that such paradigm will bring about. As dependability is a key feature in pervasive environments, we highlight some of these challenges in the light of software testing, which will play an important role on a plausible pervasive computing world. We address this topic by (i) illustrating challenges for testing pervasive software in an example scenario, (ii) describing our outlook on how the tool support for testing pervasive systems will interact with testers and practitioners alike, and (iii) outlining what research thrusts we need to emphasize in order to prepare for this change.
{"title":"Towards Envisaging Software Testing in a Pervasive Computing World","authors":"Vinicius H. S. Durelli, A. T. Endo, A. Simão, M. Delamaro","doi":"10.1109/SBES.2012.21","DOIUrl":"https://doi.org/10.1109/SBES.2012.21","url":null,"abstract":"Pervasive computing has been increasingly finding its way into mainstream. Such paradigm has been fostering the development of systems that transparently interact with users, push context awareness further, and are able to deal with aspects of the user's day-to-day experience. Pervasive systems have been constantly and invisibly introduced in our everyday lives, moving us towards a pervasive computing world. Therefore, in this paper we argue that there is a need to prepare for the challenges that such paradigm will bring about. As dependability is a key feature in pervasive environments, we highlight some of these challenges in the light of software testing, which will play an important role on a plausible pervasive computing world. We address this topic by (i) illustrating challenges for testing pervasive software in an example scenario, (ii) describing our outlook on how the tool support for testing pervasive systems will interact with testers and practitioners alike, and (iii) outlining what research thrusts we need to emphasize in order to prepare for this change.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124436962","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 common practice in the development of embedded systems is to create and validate a functional model before starting to design the system architecture. Tools like Scade/Lustre and Matlab/Simulink are commonly used for this purpose. While these tools provide the possibility of generating code, they are less efficient to provide a suitable architecture. This paper presents an alternative solution, which allows the generation of architectural models of embedded systems from functional models. The solution employs Model Driven Engineering (MDE) to define transformation rules from functional models created in Simulink to architecture models described in the Architecture Analysis and Design Language (AADL). This proposal is situated within the scope of a broader project, which allows the analysis and formal verification of properties from architectural models.
{"title":"Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink","authors":"Rosane Fátima Passarini, J. Farines, L. Becker","doi":"10.1109/SBES.2012.17","DOIUrl":"https://doi.org/10.1109/SBES.2012.17","url":null,"abstract":"A common practice in the development of embedded systems is to create and validate a functional model before starting to design the system architecture. Tools like Scade/Lustre and Matlab/Simulink are commonly used for this purpose. While these tools provide the possibility of generating code, they are less efficient to provide a suitable architecture. This paper presents an alternative solution, which allows the generation of architectural models of embedded systems from functional models. The solution employs Model Driven Engineering (MDE) to define transformation rules from functional models created in Simulink to architecture models described in the Architecture Analysis and Design Language (AADL). This proposal is situated within the scope of a broader project, which allows the analysis and formal verification of properties from architectural models.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121242256","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}
Despite that Test-Driven Development (TDD) appears to be a software testing practice, many developers affirm that the practice influence on class design. This study aimed to better understand the effects of TDD and how the practice influences developers during class design on object-oriented systems. We conducted an essentially qualitative exploratory study in which participants were invited to implement some exercises using TDD and, based on the data gathered, we gathered details of how the practice influenced design decisions from the participants using interviews. We noticed that the practice of TDD drives developers during class design by means of constant feedback about its quality. This study also named and catalogued feedback patterns perceived by the developers.
{"title":"How the Practice of TDD Influences Class Design in Object-Oriented Systems: Patterns of Unit Tests Feedback","authors":"M. Aniche, M. Gerosa","doi":"10.1109/SBES.2012.14","DOIUrl":"https://doi.org/10.1109/SBES.2012.14","url":null,"abstract":"Despite that Test-Driven Development (TDD) appears to be a software testing practice, many developers affirm that the practice influence on class design. This study aimed to better understand the effects of TDD and how the practice influences developers during class design on object-oriented systems. We conducted an essentially qualitative exploratory study in which participants were invited to implement some exercises using TDD and, based on the data gathered, we gathered details of how the practice influenced design decisions from the participants using interviews. We noticed that the practice of TDD drives developers during class design by means of constant feedback about its quality. This study also named and catalogued feedback patterns perceived by the developers.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131789339","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}
Economic and social issues are pointed out as Software Engineering (SE) challenges for the next years, since the field needs to treat issues beyond the technical side. These challenges require analyzing the field of SE from another perspective. In this sense, the study of software ecosystems (SECOs) is an emerging discipline that investigates the relationships among companies in the software industry. Companies work cooperatively and competitively in order to achieve their strategic objectives. They must engage in a new perspective, now also including third parties motivations and movements in the ecosystem, besides their own business viewpoint. Inspired on properties of natural and business ecosystems, SECO covers technical and business aspects of software development as well as partnership among companies. In this paper, we undertake a review on SECOs status as an emerging research topic in SE community. We map what is currently known about SECOs and also analyze them in a three-dimensional perspective in SE, i.e., technical, business and social. We observed that SECOs research is concentrated in eight main areas in which the most relevant ones are open source software, ecosystem modeling, and business issues. This paper also contributes to summarize the body of knowledge and presents a research agenda in SECOs.
{"title":"Software Ecosystems: Trends and Impacts on Software Engineering","authors":"R. Santos, C. Werner, Olavo Barbosa, C. Alves","doi":"10.1109/SBES.2012.24","DOIUrl":"https://doi.org/10.1109/SBES.2012.24","url":null,"abstract":"Economic and social issues are pointed out as Software Engineering (SE) challenges for the next years, since the field needs to treat issues beyond the technical side. These challenges require analyzing the field of SE from another perspective. In this sense, the study of software ecosystems (SECOs) is an emerging discipline that investigates the relationships among companies in the software industry. Companies work cooperatively and competitively in order to achieve their strategic objectives. They must engage in a new perspective, now also including third parties motivations and movements in the ecosystem, besides their own business viewpoint. Inspired on properties of natural and business ecosystems, SECO covers technical and business aspects of software development as well as partnership among companies. In this paper, we undertake a review on SECOs status as an emerging research topic in SE community. We map what is currently known about SECOs and also analyze them in a three-dimensional perspective in SE, i.e., technical, business and social. We observed that SECOs research is concentrated in eight main areas in which the most relevant ones are open source software, ecosystem modeling, and business issues. This paper also contributes to summarize the body of knowledge and presents a research agenda in SECOs.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129759313","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}
The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages, we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). This paper reports a first systematic study, based on manual inspection and static code analysis, in order to categorize the possible ways exceptions flow in SPLs, and analyze its consequences. Fault-prone exception handling flows were consistently detected during this study, such as flows on which a variable feature signaled an exception a different variable feature handled it.
{"title":"On a Feature-Oriented Characterization of Exception Flows in Software Product Lines","authors":"Hugo Melo, Roberta Coelho, U. Kulesza","doi":"10.1109/SBES.2012.15","DOIUrl":"https://doi.org/10.1109/SBES.2012.15","url":null,"abstract":"The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages, we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). This paper reports a first systematic study, based on manual inspection and static code analysis, in order to categorize the possible ways exceptions flow in SPLs, and analyze its consequences. Fault-prone exception handling flows were consistently detected during this study, such as flows on which a variable feature signaled an exception a different variable feature handled it.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"1194 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120878592","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}
The recent economic growth in Brazil has resulted in a strong demand for human resources qualification. Software Engineering education, in Brazil, offers qualifications at all levels: undergraduate, further education and postgraduate. However, current market demand indicates a mismatch between the academic provision and the industrial demand. To address this mismatch, it is important to take into account the large geographic distribution of Brazil and its regional inequalities. We suggest that innovative strategies in education including Distance Education, Open Education and Open Educational Resources will need to play an important role in the future of professional qualifications in Brazil. This raises opportunities and challenges that can only be addressed by a strong interdisciplinary research and political agenda. This paper discusses the scenario of the Software Engineering education in Brazil and presents research questions and political issues associated with the future of human resource qualification in this area.
{"title":"The Future of Human Resources Qualifications in Software Engineering - Meeting Demands from Industry and Benefiting from Educational and Technological Advances","authors":"I. Gimenes, L. Barroca, E. Barbosa","doi":"10.1109/SBES.2012.19","DOIUrl":"https://doi.org/10.1109/SBES.2012.19","url":null,"abstract":"The recent economic growth in Brazil has resulted in a strong demand for human resources qualification. Software Engineering education, in Brazil, offers qualifications at all levels: undergraduate, further education and postgraduate. However, current market demand indicates a mismatch between the academic provision and the industrial demand. To address this mismatch, it is important to take into account the large geographic distribution of Brazil and its regional inequalities. We suggest that innovative strategies in education including Distance Education, Open Education and Open Educational Resources will need to play an important role in the future of professional qualifications in Brazil. This raises opportunities and challenges that can only be addressed by a strong interdisciplinary research and political agenda. This paper discusses the scenario of the Software Engineering education in Brazil and presents research questions and political issues associated with the future of human resource qualification in this area.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127535636","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}
Having arisen from the industry, cloud computing is receiving increasing attention from the academy. We are witnessing an increasing number of papers dedicated to experience reports and proposal of methods, processes and tools focused on cloud-related technology. Researchers are also attempting to identify and formalize the main concepts behind cloud computing, forming a basis for future investigations about how this approach can be used to promote advances in many fields of computer science. However, while the main research challenges and opportunities related to cloud computing in general are already well-known, in the software engineering area the scenario is less clear. In this paper, we present the results of a systematic literature review where we tried to understand how researchers from the software engineering field are viewing the cloud computing paradigm. We identified ten software engineering research opportunities focused specifically on cloud computing, which are presented and discussed in terms of related work. We also present a discussion on some practical issues related to the development of software for the cloud, trying to make some obscure points clearer and aiming to facilitate the work of software engineering researchers and practitioners.
{"title":"Software Engineering for the Cloud: A Research Roadmap","authors":"Elias Adriano Nogueira da Silva, D. Lucrédio","doi":"10.1109/SBES.2012.12","DOIUrl":"https://doi.org/10.1109/SBES.2012.12","url":null,"abstract":"Having arisen from the industry, cloud computing is receiving increasing attention from the academy. We are witnessing an increasing number of papers dedicated to experience reports and proposal of methods, processes and tools focused on cloud-related technology. Researchers are also attempting to identify and formalize the main concepts behind cloud computing, forming a basis for future investigations about how this approach can be used to promote advances in many fields of computer science. However, while the main research challenges and opportunities related to cloud computing in general are already well-known, in the software engineering area the scenario is less clear. In this paper, we present the results of a systematic literature review where we tried to understand how researchers from the software engineering field are viewing the cloud computing paradigm. We identified ten software engineering research opportunities focused specifically on cloud computing, which are presented and discussed in terms of related work. We also present a discussion on some practical issues related to the development of software for the cloud, trying to make some obscure points clearer and aiming to facilitate the work of software engineering researchers and practitioners.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131608658","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}
Rafael de Souza Santos, Leonardo Gresta Paulino Murta
It is common, in software development under version control, the need of parallel development of the source code via branches. Moreover, in most cases, the merge of these branches is necessary. Therefore, our work proposes the extraction of metrics that estimate the complexity to perform merges, making it possible to visualize, among all branches, which are the most critical and analyze the evolution of the metrics since the establishment of the branch. The evaluation of our work showed that some metrics behave better in order to estimate the complexity of integrating branches. For instance, the metric Number of Physical Conflicts reached up to 99% correlation when compared to the actual merge effort.
{"title":"Evaluating the Branch Merging Effort in Version Control Systems","authors":"Rafael de Souza Santos, Leonardo Gresta Paulino Murta","doi":"10.1109/SBES.2012.16","DOIUrl":"https://doi.org/10.1109/SBES.2012.16","url":null,"abstract":"It is common, in software development under version control, the need of parallel development of the source code via branches. Moreover, in most cases, the merge of these branches is necessary. Therefore, our work proposes the extraction of metrics that estimate the complexity to perform merges, making it possible to visualize, among all branches, which are the most critical and analyze the evolution of the metrics since the establishment of the branch. The evaluation of our work showed that some metrics behave better in order to estimate the complexity of integrating branches. For instance, the metric Number of Physical Conflicts reached up to 99% correlation when compared to the actual merge effort.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116271965","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}
Given the growth in the usage of Web Applications, the usability of these applications has become a key success factor. There are several technologies to evaluate and improve this quality factor. However, the usability inspections results still depend on the inspector's experience. We have proposed a Web usability inspection approach, called WE-QT (Web Evaluation -- Question Technique), a question based technique that aims to reduce the difficulties of inspectors with little knowledge of usability. We are following an empirical methodology to support its development and improvement. This paper presents two experimental studies conducted until this point of the research: a feasibility and an observational study. We discuss the qualitative and quantitative results of both studies and their impact on improving the WE-QT. With this paper we also aim to spread the knowledge about experimental studies to evaluate and evolve a new software engineering technology.
{"title":"WE-QT: A Web Usability Inspection Technique to Support Novice Inspectors","authors":"P. Fernandes, T. Conte, B. Bonifácio","doi":"10.1109/SBES.2012.30","DOIUrl":"https://doi.org/10.1109/SBES.2012.30","url":null,"abstract":"Given the growth in the usage of Web Applications, the usability of these applications has become a key success factor. There are several technologies to evaluate and improve this quality factor. However, the usability inspections results still depend on the inspector's experience. We have proposed a Web usability inspection approach, called WE-QT (Web Evaluation -- Question Technique), a question based technique that aims to reduce the difficulties of inspectors with little knowledge of usability. We are following an empirical methodology to support its development and improvement. This paper presents two experimental studies conducted until this point of the research: a feasibility and an observational study. We discuss the qualitative and quantitative results of both studies and their impact on improving the WE-QT. With this paper we also aim to spread the knowledge about experimental studies to evaluate and evolve a new software engineering technology.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"196 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131786125","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}
Gleison Santos, A. Rocha, T. Conte, M. Barcellos, R. Prikladnicki
Knowledge arises from the observation of problems. In this sense, Software Engineering emerged from the necessity to solve a practical problem: the lack of knowledge on how to develop software properly. However, in the Software Engineering field the interaction between Academy and Industry is still weak. This weakness reduces the capability to promote, in the long term, technology innovation in a comprehensive and sustainable manner. In this paper, we propose a mechanism to allow the strategic alignment between Software Engineering research interests and the software industry challenges. This mechanism will be used to achieve continuous innovation in Software Engineering. Furthermore, we expect to create a virtuous cycle in which both Academy and Industry act together to approximate the state-of-art and the state-of-practice in order to maximize their results.
{"title":"Strategic Alignment between Academy and Industry: A Virtuous Cycle to Promote Innovation in Technology","authors":"Gleison Santos, A. Rocha, T. Conte, M. Barcellos, R. Prikladnicki","doi":"10.1109/SBES.2012.31","DOIUrl":"https://doi.org/10.1109/SBES.2012.31","url":null,"abstract":"Knowledge arises from the observation of problems. In this sense, Software Engineering emerged from the necessity to solve a practical problem: the lack of knowledge on how to develop software properly. However, in the Software Engineering field the interaction between Academy and Industry is still weak. This weakness reduces the capability to promote, in the long term, technology innovation in a comprehensive and sustainable manner. In this paper, we propose a mechanism to allow the strategic alignment between Software Engineering research interests and the software industry challenges. This mechanism will be used to achieve continuous innovation in Software Engineering. Furthermore, we expect to create a virtuous cycle in which both Academy and Industry act together to approximate the state-of-art and the state-of-practice in order to maximize their results.","PeriodicalId":286943,"journal":{"name":"2012 26th Brazilian Symposium on Software Engineering","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125683254","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
扫码关注我们
求助内容：
应助结果提醒方式：