2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)最新文献

Lightweight tool coordination: Path∗ — A minimal framework for tool coordination 轻量级刀具协调:路径* -刀具协调的最小框架

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597195

R. D. McKenzie, D. Perry

引用次数: 0

Integrating S6 code search and Code Bubbles 集成S6代码搜索和代码气泡

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597190

S. Reiss

引用次数: 2

A visual studio plug-in for CProver CProver的一个visual studio插件

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597193

M. Seghir, D. Kroening

引用次数: 0

TerraME GIMS: An Eclipse plug-in for environmental modeling TerraME GIMS:用于环境建模的Eclipse插件

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597192

Tiago Lima, T. Carneiro, Sergio Faria, Pablo Silva, Miguel Pessoa

引用次数: 2

A rigorous methodology for analyzing and designing plug-ins 用于分析和设计插件的严格方法

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597194

Marieta V. Fasie, A. Haxthausen, J. Kiniry

引用次数: 0

Challenges in developing a software architecture evolution tool as a plug-in 将软件架构演进工具开发为插件的挑战

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597188

Jeffrey M. Barnes, D. Garlan

引用次数: 7

Developing a domain-specific plug-in for a modelling platform: The good, the bad, the ugly 为建模平台开发特定于领域的插件:好、坏、丑

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597186

Lionel Montrieux, Y. Yu, M. Wermelinger

引用次数: 4

ReFit: A Fit test maintenance plug-in for the Eclipse refactoring plug-in ReFit:用于Eclipse重构插件的Fit测试维护插件

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597187

Michael Druk, Martin Kropp

{"title":"ReFit: A Fit test maintenance plug-in for the Eclipse refactoring plug-in","authors":"Michael Druk, Martin Kropp","doi":"10.1109/TOPI.2013.6597187","DOIUrl":"https://doi.org/10.1109/TOPI.2013.6597187","url":null,"abstract":"The Fit framework is a widely established tool for automated acceptance test-driven development (ATDD). Fit stores the test specification separate from the test fixture code in an easily human readable and editable tabular form in HTML format. Additional tools like the FitPro plugin or FitN esse support the writing of test specifications and test fixtures from within the Eclipse IDE or the Web. With the increasing popularity of agile test-driven software development, maintenance of the evolving and growing test base has become an important issue. However, there has been no support yet for automated refactoring of Fit test cases. In a recent research project, we developed the Eclipse plugin ReFit for automated refactoring of Fit test cases. Fit test refactoring can occur due to changing requirements or changing Java code, which in either case means a cross-language refactoring to keep test specification and test fixture in sync. In this paper the concept for the development of the ReFit Eclipse Plugin is described, which significantly reduces the effort for Fit test maintenance and makes refactoring less error prone. Besides a tight integration into the existing Eclipse refactoring plugin, major goals of the plugin were to make it easy extensible for additional refactorings, new fixture types and further test specification file formats. Challenges faced when adding new and modifying existing Eclipse refactoring behavior are described and are due to the strong dependency on the Eclipse JDK and LTK features, and the solutions developed are presented.","PeriodicalId":274157,"journal":{"name":"2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126690432","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

Towards accessible integration and deployment of formal tools and techniques 朝向可访问的集成和部署正式的工具和技术

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597189

A. Lapets, R. Skowyra, Azer Bestavros, A. Kfoury

{"title":"Towards accessible integration and deployment of formal tools and techniques","authors":"A. Lapets, R. Skowyra, Azer Bestavros, A. Kfoury","doi":"10.1109/TOPI.2013.6597189","DOIUrl":"https://doi.org/10.1109/TOPI.2013.6597189","url":null,"abstract":"Computer science researchers in the programming languages and formal verification communities, among others, have produced a variety of automated assistance and verification tools and techniques for formal reasoning. While there have been notable successes in utilizing these tools on the development of safe and secure software and hardware, these leading-edge advances remain largely underutilized by large populations of potential users that may benefit from them. In particular, we consider researchers, instructors, students, and other end users that may benefit from instant feedback from lightweight modeling and verification capabilities when exploring system designs or formal arguments. We describe Aartifact, a supporting infrastructure that makes it possible to quickly and easily assemble interacting collections of small domain-specific languages, as well as translations between those languages and existing tools (e.g., Alloy, SPIN, Z3) and techniques (e.g., evaluation, type checking, congruence closure); the infrastructure also makes it possible to compile and deploy these translators in the form of a cloud-based web application with an interface that runs inside a standard browser. This makes more manageable the process of exposing a limited, domain-specific, and logistically accessible subset of the capabilities of existing tools and techniques to end users. This infrastructure can be viewed as a collection of modules for defining interfaces that turn third-party formal modeling and verification tools and techniques into plug-ins that can be integrated within web-based interactive formal reasoning environments.","PeriodicalId":274157,"journal":{"name":"2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123490356","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}

引用次数: 1

A CPI breakdown model plug-in for optimizing application performance 用于优化应用程序性能的CPI分解模型插件

2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) Pub Date : 2013-05-21 DOI: 10.1109/TOPI.2013.6597191

R. Araujo, Daniel Henrique Barboza, Rafael Sene, Rafael Medeiros Teixeira, Renato Stoffalette João, Wainer Santos Moschetta

{"title":"A CPI breakdown model plug-in for optimizing application performance","authors":"R. Araujo, Daniel Henrique Barboza, Rafael Sene, Rafael Medeiros Teixeira, Renato Stoffalette João, Wainer Santos Moschetta","doi":"10.1109/TOPI.2013.6597191","DOIUrl":"https://doi.org/10.1109/TOPI.2013.6597191","url":null,"abstract":"Effectiveness and quality are fundamental characteristics for the development of a product. In order to support them, one needs to ensure that an application optimization level is at its best. The most widely used metric for evaluating an application performance is the CPI (Cycles Per Instruction), i.e., the number of clock cycles that takes place when an instruction is executed. We have developed a CPI Breakdown Model Plug-in, that automates the profiling of an application in the Power architecture, breaking it down into several groups of CPI events and metrics in order to identify possible bottlenecks. When analyzing such events and metrics the user can become aware of which operations are causing the processor to stall, and consequently enhance the application source code. We have discussed the adaptation of some command-line tools to be used by our CPI plug-in, which is integrated into the IBM Software Development Toolkit for PowerLinux, an Eclipse based IDE comprising a set of mainstream C/C++ development tools along with several in-house IBM ones. A case study that shows the usefulness of our approach is presented and details on how to optimize an application are discussed.","PeriodicalId":274157,"journal":{"name":"2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116625556","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}

引用次数: 1