首页 > 最新文献

Proceedings of the 28th international conference on Software engineering最新文献

英文 中文
Experiments on quality evaluation of embedded software in Japan robot software design contest 日本机器人软件设计大赛嵌入式软件质量评价实验
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134363
H. Washizaki, Yasuhide Kobayashi, Hiroyuki Watanabe, Eiji Nakajima, Y. Hagiwara, Kenji Hiranabe, Kazuya Fukuda
As a practical opportunity for educating Japanese young developers in the field of embedded software development, a software design contest involving the design of software to automatically control a line-trace robot, and conduct running performance tests was held. In this paper,we give the results of the contest from the viewpoint of software quality evaluation. We create a framework for evaluating the software quality which integrated design model quality and the final system performance, and conduct analysis using the framework. As a result of analysis,it is found that the quantitative measurement of the structural complexity of the design models bears a strong relationship to qualitative evaluation of the design conducted by judges. It is also found that there is no strong correlation between design model quality evaluated by the judges and the final system performance. For embedded software development, it is particularly important to estimate and verify reliability and performance in the early stages,using the model. Based on the analysis result,we consider possible remedies with respect to the models submitted,the evaluation methods used and the contest specifications. In order to adequately measure several non-functional quality characteristics including performance on the model,it is necessary to improve the way of developing robot software (such as applying model driven development)and reexamine the evaluation methods.
作为在嵌入式软件开发领域教育日本年轻开发人员的实际机会,举办了一场软件设计竞赛,内容包括设计自动控制线迹机器人的软件,并进行运行性能测试。本文从软件质量评价的角度给出了比赛的结果。建立了一个将设计模型质量与最终系统性能相结合的软件质量评价框架,并利用该框架进行分析。通过分析发现,设计模型结构复杂性的定量测量与评委对设计的定性评价有很强的关系。同时还发现,评委评价的设计模型质量与最终系统性能之间并没有很强的相关性。对于嵌入式软件开发,在早期阶段使用模型评估和验证可靠性和性能是特别重要的。根据分析结果,我们考虑了关于提交的模型、使用的评估方法和竞赛规范的可能补救措施。为了在模型上充分度量包括性能在内的几种非功能质量特征,有必要改进机器人软件的开发方式(如应用模型驱动开发),并重新审视评估方法。
{"title":"Experiments on quality evaluation of embedded software in Japan robot software design contest","authors":"H. Washizaki, Yasuhide Kobayashi, Hiroyuki Watanabe, Eiji Nakajima, Y. Hagiwara, Kenji Hiranabe, Kazuya Fukuda","doi":"10.1145/1134285.1134363","DOIUrl":"https://doi.org/10.1145/1134285.1134363","url":null,"abstract":"As a practical opportunity for educating Japanese young developers in the field of embedded software development, a software design contest involving the design of software to automatically control a line-trace robot, and conduct running performance tests was held. In this paper,we give the results of the contest from the viewpoint of software quality evaluation. We create a framework for evaluating the software quality which integrated design model quality and the final system performance, and conduct analysis using the framework. As a result of analysis,it is found that the quantitative measurement of the structural complexity of the design models bears a strong relationship to qualitative evaluation of the design conducted by judges. It is also found that there is no strong correlation between design model quality evaluated by the judges and the final system performance. For embedded software development, it is particularly important to estimate and verify reliability and performance in the early stages,using the model. Based on the analysis result,we consider possible remedies with respect to the models submitted,the evaluation methods used and the contest specifications. In order to adequately measure several non-functional quality characteristics including performance on the model,it is necessary to improve the way of developing robot software (such as applying model driven development)and reexamine the evaluation methods.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123903711","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}
引用次数: 10
Aspect-oriented software development beyond programming 超越编程的面向方面的软件开发
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134506
A. Rashid, Alessandro F. Garcia, A. Moreira
This tutorial focuses on applying aspect-oriented software development (AOSD) concepts beyond the programming stage of the software development life cycle. Using concrete methods, tools, techniques and notations we discuss how to use AOSD techniques to systematically treat crosscutting concerns during requirements engineering (RE), architecture design and detailed design as well as the mapping between aspects at these stages. With a clear focus on composition, modelling, trade-off analysis and assessment methods, the tutorial imparts an engineering ethos for translation into day-to-day processes and practices.
本教程的重点是在软件开发生命周期的编程阶段之外应用面向方面的软件开发(AOSD)概念。通过使用具体的方法、工具、技术和符号,我们讨论了如何使用AOSD技术系统地处理需求工程(RE)、架构设计和详细设计期间的横切关注点,以及这些阶段中各个方面之间的映射。该教程明确侧重于组成、建模、权衡分析和评估方法,将工程精神转化为日常流程和实践。
{"title":"Aspect-oriented software development beyond programming","authors":"A. Rashid, Alessandro F. Garcia, A. Moreira","doi":"10.1145/1134285.1134506","DOIUrl":"https://doi.org/10.1145/1134285.1134506","url":null,"abstract":"This tutorial focuses on applying aspect-oriented software development (AOSD) concepts beyond the programming stage of the software development life cycle. Using concrete methods, tools, techniques and notations we discuss how to use AOSD techniques to systematically treat crosscutting concerns during requirements engineering (RE), architecture design and detailed design as well as the mapping between aspects at these stages. With a clear focus on composition, modelling, trade-off analysis and assessment methods, the tutorial imparts an engineering ethos for translation into day-to-day processes and practices.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123998919","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}
引用次数: 9
Lessons learnt from the analysis of large-scale corporate databases 从分析大型公司数据库中获得的经验教训
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134347
B. Kitchenham, C. Kutay, D. R. Jeffery, C. Connaughton
This paper presents the lessons learnt during the analysis of the corporate databases developed by IBM Global Services (Australia). IBM is rated as CMM level 5. Following CMM level 4 and above practices, IBM designed several software metrics databases with associated data collection and reporting systems to manage its corporate goals. However, IBM quality staff believed the data were not as useful as they had expected. NICTA staff undertook a review of IBM's statistical process control procedures and found problems with the databases mainly due to a lack of links between the different data tables. Such problems might be avoided by using M3P variant of the GQM paradigm to define a hierarchy of goals, with project goals at the lowest level, then process goals and corporate goals at the highest level. We propose using E-R models to identify problems with existing databases and to design databases once goals have been defined.
本文介绍了对IBM Global Services (Australia)开发的企业数据库进行分析的经验教训。IBM被评为CMM 5级。遵循CMM级别4及以上的实践,IBM设计了几个带有相关数据收集和报告系统的软件度量数据库,以管理其公司目标。然而,IBM的质量人员认为,这些数据并不像他们预期的那样有用。国家统计协委会工作人员审查了IBM的统计过程控制程序,发现数据库存在问题,主要原因是不同数据表之间缺乏联系。这样的问题可以通过使用GQM范例的M3P变体来定义目标层次结构来避免,其中项目目标在最低级别,然后是过程目标和公司目标在最高级别。我们建议使用E-R模型来识别现有数据库的问题,并在目标确定后设计数据库。
{"title":"Lessons learnt from the analysis of large-scale corporate databases","authors":"B. Kitchenham, C. Kutay, D. R. Jeffery, C. Connaughton","doi":"10.1145/1134285.1134347","DOIUrl":"https://doi.org/10.1145/1134285.1134347","url":null,"abstract":"This paper presents the lessons learnt during the analysis of the corporate databases developed by IBM Global Services (Australia). IBM is rated as CMM level 5. Following CMM level 4 and above practices, IBM designed several software metrics databases with associated data collection and reporting systems to manage its corporate goals. However, IBM quality staff believed the data were not as useful as they had expected. NICTA staff undertook a review of IBM's statistical process control procedures and found problems with the databases mainly due to a lack of links between the different data tables. Such problems might be avoided by using M3P variant of the GQM paradigm to define a hierarchy of goals, with project goals at the lowest level, then process goals and corporate goals at the highest level. We propose using E-R models to identify problems with existing databases and to design databases once goals have been defined.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126671176","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}
引用次数: 20
Software evolution: analysis and visualization 软件进化:分析和可视化
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134502
H. Gall, Michele Lanza
Gaining higher level evolutionary information about large software systems is a key challenge in dealing with increasing complexity and decreasing software quality. Software repositories such as modifications, changes, or release information are rich sources for distinctive kinds of analyses: They reflect the reasons and effects of particular changes made to the software system over a certain period of time. If we can analyze these repositories in an effective way, we get a clearer picture of the status of the software. Software repositories can be analyzed to provide information about the problems concerning a particular feature or a set of features. Hidden dependencies of structurally unrelated but over time logically coupled files exhibit a high potential to illustrate software evolution and possible architectural deterioration. In this tutorial, we describe the investigation of software evolution by taking a step towards reflecting the analysis results against software quality attributes. Different kinds of analyses (from architecture to code) and their interpretation will be presented and discussed in relation to quality attributes. This will show our vision of where such evolution investigations can lead and how they can support development. For that, the tutorial will touch issues such as meta-models for evolution data, data analysis and history mining, software quality attributes, as well as visualization of analysis results.
在处理日益增加的复杂性和不断下降的软件质量时,获得关于大型软件系统的更高层次的演化信息是一个关键的挑战。诸如修改、变更或发布信息之类的软件存储库是不同类型分析的丰富来源:它们反映了在特定时间段内对软件系统所做的特定更改的原因和效果。如果我们能以一种有效的方式分析这些存储库,我们就能更清楚地了解软件的状态。可以对软件存储库进行分析,以提供有关特定功能或一组功能的问题的信息。结构上不相关但随着时间的推移逻辑耦合的文件的隐藏依赖显示出说明软件演进和可能的体系结构恶化的高潜力。在本教程中,我们通过采取步骤来反映针对软件质量属性的分析结果来描述软件演进的调查。不同类型的分析(从体系结构到代码)及其解释将根据质量属性进行展示和讨论。这将表明我们对这种进化研究的看法,以及它们如何支持发展。为此,本教程将涉及进化数据的元模型、数据分析和历史挖掘、软件质量属性以及分析结果的可视化等问题。
{"title":"Software evolution: analysis and visualization","authors":"H. Gall, Michele Lanza","doi":"10.1145/1134285.1134502","DOIUrl":"https://doi.org/10.1145/1134285.1134502","url":null,"abstract":"Gaining higher level evolutionary information about large software systems is a key challenge in dealing with increasing complexity and decreasing software quality. Software repositories such as modifications, changes, or release information are rich sources for distinctive kinds of analyses: They reflect the reasons and effects of particular changes made to the software system over a certain period of time. If we can analyze these repositories in an effective way, we get a clearer picture of the status of the software. Software repositories can be analyzed to provide information about the problems concerning a particular feature or a set of features. Hidden dependencies of structurally unrelated but over time logically coupled files exhibit a high potential to illustrate software evolution and possible architectural deterioration. In this tutorial, we describe the investigation of software evolution by taking a step towards reflecting the analysis results against software quality attributes. Different kinds of analyses (from architecture to code) and their interpretation will be presented and discussed in relation to quality attributes. This will show our vision of where such evolution investigations can lead and how they can support development. For that, the tutorial will touch issues such as meta-models for evolution data, data analysis and history mining, software quality attributes, as well as visualization of analysis results.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"3 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113955852","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}
引用次数: 35
Modeling aspect mechanisms: a top-down approach 方面机制建模:自顶向下的方法
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134316
Sergei Kojarski, D. Lorenz
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a characterization of the design space that these aspect mechanisms inhabit and a model description of their weaving processes. A good design space representation provides a common framework for understanding and evaluating existing mechanisms. A well-understood model of the weaving process can guide the implementor of new aspect mechanisms. It can guide the designer when mechanisms implementing new kinds of weaving are needed. It can also help teach aspect-oriented programming (AOP). In this paper we present and evaluate such a model of the design space for aspect mechanisms and their weaving processes. We model weaving, at an abstract level, as a concern integration process. We derive a weaving process model (WPM) top-down, differentiating a reactive from a nonreactive process. The model provides an in-depth explanation of the key subprocesses used by existing aspect mechanisms.
目前存在大量的方面机制。所有这些不同的机制都将关注点集成到展示横切结构的工件中。我们所缺乏和需要的是对这些方面机制所处的设计空间的特征描述,以及对它们的编织过程的模型描述。良好的设计空间表示为理解和评估现有机制提供了一个通用框架。一个很好理解的编织过程模型可以指导新的方面机制的实现者。当需要实现新型织造的机构时,它可以指导设计者。它还可以帮助教授面向方面的编程(AOP)。在本文中,我们提出并评价了这样一个面向方面机制及其编织过程的设计空间模型。我们在抽象层次上将编织建模为关注集成过程。我们自顶向下推导了编织过程模型(WPM),将反应过程与非反应过程区分开来。该模型对现有方面机制使用的关键子过程提供了深入的解释。
{"title":"Modeling aspect mechanisms: a top-down approach","authors":"Sergei Kojarski, D. Lorenz","doi":"10.1145/1134285.1134316","DOIUrl":"https://doi.org/10.1145/1134285.1134316","url":null,"abstract":"A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a characterization of the design space that these aspect mechanisms inhabit and a model description of their weaving processes. A good design space representation provides a common framework for understanding and evaluating existing mechanisms. A well-understood model of the weaving process can guide the implementor of new aspect mechanisms. It can guide the designer when mechanisms implementing new kinds of weaving are needed. It can also help teach aspect-oriented programming (AOP). In this paper we present and evaluate such a model of the design space for aspect mechanisms and their weaving processes. We model weaving, at an abstract level, as a concern integration process. We derive a weaving process model (WPM) top-down, differentiating a reactive from a nonreactive process. The model provides an in-depth explanation of the key subprocesses used by existing aspect mechanisms.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"487 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115880577","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}
引用次数: 32
Third international summit on software engineering education (SSEE III): bridging the university/industry gap 第三届软件工程教育国际峰会(SSEE III):弥合大学/行业差距
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134478
J. B. Thompson, H. Edwards
Innovative University/Industry interactions are examined in this open event with the aim of providing inputs to an international project that is being funded through the United Kingdom's Teaching Fellowship Scheme. These inputs will support the first stage of the project which is concerned with gaining knowledge of industrial Software Engineering practices and the development of a framework that can be used in the classification and evaluation of such practices.
在这个公开活动中,创新的大学/行业互动将被审查,目的是为一个由英国教学奖学金计划资助的国际项目提供投入。这些输入将支持项目的第一阶段,该阶段涉及获得工业软件工程实践的知识,并开发可用于此类实践的分类和评估的框架。
{"title":"Third international summit on software engineering education (SSEE III): bridging the university/industry gap","authors":"J. B. Thompson, H. Edwards","doi":"10.1145/1134285.1134478","DOIUrl":"https://doi.org/10.1145/1134285.1134478","url":null,"abstract":"Innovative University/Industry interactions are examined in this open event with the aim of providing inputs to an international project that is being funded through the United Kingdom's Teaching Fellowship Scheme. These inputs will support the first stage of the project which is concerned with gaining knowledge of industrial Software Engineering practices and the development of a framework that can be used in the classification and evaluation of such practices.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122146213","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}
引用次数: 5
So you want brooks in your classroom? 所以你想让布鲁克斯进你的教室?
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134384
D. Port, D. Klappholz
Fred Brooks' seminal book, "The Mythical Man-Month" (MMM) is a firmly established classic in software engineering. Many of us feel compelled to use this work to help our students appreciate and put into practice the fundamental software engineering concepts contained between its covers. This often amounts to using "passive" lesson plans such as required readings followed by lectures and exams; these rarely fully satisfy our learning objectives. Rather, students often have mixed reactions to MMM with the result that it has little impact on their attitudes and practices, both in and out of the classroom. This paper outlines a more active approach to incorporating MMM into the classroom, one that we have refined over 6 years, at multiple universities and in both graduate and undergraduate courses. It includes learning objectives, a lesson plan, sample materials, an implementation discussion, and an evaluation of the approach's impact.
Fred Brooks的开创性著作《人月神话》(MMM)是软件工程领域的经典著作。我们中的许多人都觉得有必要使用这本书来帮助我们的学生理解和实践书中包含的基本软件工程概念。这通常相当于使用“被动”的课程计划,比如在授课和考试之后进行必读;这些很少能完全满足我们的学习目标。相反,学生们对MMM的反应往往是褒贬不一,结果是它对他们在课堂内外的态度和做法几乎没有影响。本文概述了一种将MMM纳入课堂的更积极的方法,这是我们在6年多的时间里在多所大学的研究生和本科生课程中改进的一种方法。它包括学习目标、课程计划、样本材料、实施讨论以及对方法影响的评估。
{"title":"So you want brooks in your classroom?","authors":"D. Port, D. Klappholz","doi":"10.1145/1134285.1134384","DOIUrl":"https://doi.org/10.1145/1134285.1134384","url":null,"abstract":"Fred Brooks' seminal book, \"The Mythical Man-Month\" (MMM) is a firmly established classic in software engineering. Many of us feel compelled to use this work to help our students appreciate and put into practice the fundamental software engineering concepts contained between its covers. This often amounts to using \"passive\" lesson plans such as required readings followed by lectures and exams; these rarely fully satisfy our learning objectives. Rather, students often have mixed reactions to MMM with the result that it has little impact on their attitudes and practices, both in and out of the classroom. This paper outlines a more active approach to incorporating MMM into the classroom, one that we have refined over 6 years, at multiple universities and in both graduate and undergraduate courses. It includes learning objectives, a lesson plan, sample materials, an implementation discussion, and an evaluation of the approach's impact.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115412949","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}
引用次数: 4
Tutorial: towards dynamic web services 教程:走向动态web服务
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134509
L. Baresi, Sam Guinea
This tutorial introduces dynamic web services as a solution to cope with the dynamism and flexibility required by many modern software systems. Current technologies (WSDL, WS-BPEL, etc.) have proven insufficient in addressing these issues; however, they remain a good starting point for the analysis of the current situation and for building for the future.The core part of the tutorial analyzes ---by looking at available technologies and prominent research proposals---the deployment and execution of these applications within three separate phases: a composition phase, to discover available services and implement the desired behavior, a monitoring phase, to understand if a given service is behaving correctly (with respect to both functional and non-functional requirements), and a recovery phase, to react to anomalies by means of suitable replanning or recovery strategies.In conclusion, the tutorial summarizes the main topics, presents a list of still-to-be-solved problems, and highlights possible directions for future research.
本教程将动态web服务作为一种解决方案来介绍,以应对许多现代软件系统所需的动态性和灵活性。目前的技术(WSDL、WS-BPEL等)已被证明不足以解决这些问题;但是,它们仍然是分析当前局势和建设未来的良好起点。本教程的核心部分通过查看可用的技术和突出的研究建议,分析了这些应用程序在三个不同阶段的部署和执行:一个是组合阶段,用于发现可用的服务并实现所需的行为;一个是监视阶段,用于了解给定服务的行为是否正确(相对于功能和非功能需求);一个是恢复阶段,用于通过适当的重新规划或恢复策略对异常做出反应。最后,本教程总结了主要课题,提出了一系列有待解决的问题,并强调了未来可能的研究方向。
{"title":"Tutorial: towards dynamic web services","authors":"L. Baresi, Sam Guinea","doi":"10.1145/1134285.1134509","DOIUrl":"https://doi.org/10.1145/1134285.1134509","url":null,"abstract":"This tutorial introduces dynamic web services as a solution to cope with the dynamism and flexibility required by many modern software systems. Current technologies (WSDL, WS-BPEL, etc.) have proven insufficient in addressing these issues; however, they remain a good starting point for the analysis of the current situation and for building for the future.The core part of the tutorial analyzes ---by looking at available technologies and prominent research proposals---the deployment and execution of these applications within three separate phases: a composition phase, to discover available services and implement the desired behavior, a monitoring phase, to understand if a given service is behaving correctly (with respect to both functional and non-functional requirements), and a recovery phase, to react to anomalies by means of suitable replanning or recovery strategies.In conclusion, the tutorial summarizes the main topics, presents a list of still-to-be-solved problems, and highlights possible directions for future research.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115587368","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}
引用次数: 3
Integrating static analysis and general-purpose theorem proving for termination analysis 将静态分析与通用定理证明相结合,用于终止分析
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134438
P. Manolios, D. Vroon
We present emerging results from our work on termination analysis of software systems. We have designed a static analysis algorithm which attains increased precision and flexibility by issuing queries to a theorem prover. We have implemented our algorithm and initial results show that we obtain a significant improvement over the current state-of-the-art in termination analyses. We also outline how our approach, by integrating theorem proving queries into static analyses, can significantly impact the design of general-purpose static analyses.
我们介绍了我们在软件系统终止分析方面的工作的新结果。我们设计了一个静态分析算法,该算法通过向定理证明者发出查询来提高精度和灵活性。我们已经实现了我们的算法,初步结果表明,我们在终止分析中获得了当前最先进的显着改进。我们还概述了我们的方法(通过将定理证明查询集成到静态分析中)如何显著影响通用静态分析的设计。
{"title":"Integrating static analysis and general-purpose theorem proving for termination analysis","authors":"P. Manolios, D. Vroon","doi":"10.1145/1134285.1134438","DOIUrl":"https://doi.org/10.1145/1134285.1134438","url":null,"abstract":"We present emerging results from our work on termination analysis of software systems. We have designed a static analysis algorithm which attains increased precision and flexibility by issuing queries to a theorem prover. We have implemented our algorithm and initial results show that we obtain a significant improvement over the current state-of-the-art in termination analyses. We also outline how our approach, by integrating theorem proving queries into static analyses, can significantly impact the design of general-purpose static analyses.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123309587","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}
引用次数: 10
Traffic-aware stress testing of distributed systems based on UML models 基于UML模型的分布式系统的流量感知压力测试
Pub Date : 2006-05-28 DOI: 10.1145/1134285.1134340
V. Garousi, L. Briand, Y. Labiche
A stress test methodology aimed at increasing chances of discovering faults related to network traffic in distributed systems is presented. The technique uses the UML 2.0 model of the distributed system under test, augmented with timing information, and is based on an analysis of the control flow in sequence diagrams. It yields stress test requirements that are made of specific control flow paths along with time values indicating when to trigger them. Different variants of our stress testing technique already exist (they stress different aspects of a distributed system) and we focus here on one variant that is designed to identify and to stress test the system at the instant when data traffic on a network is maximal. Using a real-world distributed system specification, we design and implement a prototype distributed system and describe, for that particular system, how the stress test cases are derived and executed using our methodology. The stress test results indicate that the technique is significantly more effective at detecting network traffic-related faults when compared to test cases based on an operational profile.
提出了一种压力测试方法,旨在增加发现分布式系统中与网络流量有关的故障的机会。该技术使用了被测分布式系统的UML 2.0模型,增加了时序信息,并基于对序列图中的控制流的分析。它产生由特定控制流路径组成的压力测试需求,以及指示何时触发它们的时间值。我们的压力测试技术的不同变体已经存在(它们强调分布式系统的不同方面),我们在这里集中讨论一种变体,它被设计用于识别和在网络上数据流量最大的瞬间对系统进行压力测试。使用真实世界的分布式系统规范,我们设计并实现了一个原型分布式系统,并描述了该特定系统的压力测试用例是如何使用我们的方法派生和执行的。压力测试结果表明,与基于操作概要的测试用例相比,该技术在检测网络流量相关故障方面明显更有效。
{"title":"Traffic-aware stress testing of distributed systems based on UML models","authors":"V. Garousi, L. Briand, Y. Labiche","doi":"10.1145/1134285.1134340","DOIUrl":"https://doi.org/10.1145/1134285.1134340","url":null,"abstract":"A stress test methodology aimed at increasing chances of discovering faults related to network traffic in distributed systems is presented. The technique uses the UML 2.0 model of the distributed system under test, augmented with timing information, and is based on an analysis of the control flow in sequence diagrams. It yields stress test requirements that are made of specific control flow paths along with time values indicating when to trigger them. Different variants of our stress testing technique already exist (they stress different aspects of a distributed system) and we focus here on one variant that is designed to identify and to stress test the system at the instant when data traffic on a network is maximal. Using a real-world distributed system specification, we design and implement a prototype distributed system and describe, for that particular system, how the stress test cases are derived and executed using our methodology. The stress test results indicate that the technique is significantly more effective at detecting network traffic-related faults when compared to test cases based on an operational profile.","PeriodicalId":246572,"journal":{"name":"Proceedings of the 28th international conference on Software engineering","volume":"698 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123377103","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}
引用次数: 69
期刊
Proceedings of the 28th international conference on Software engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1