发布求助
文献互助 智能选刊 最新文献

2008 23rd IEEE/ACM International Conference on Automated Software Engineering最新文献

筛选
英文 中文
Connecting Programming Environments to Support Ad-Hoc Collaboration 连接编程环境以支持Ad-Hoc协作
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.28
Rajesh Hegde, P. Dewan
{"title":"Connecting Programming Environments to Support Ad-Hoc Collaboration","authors":"Rajesh Hegde, P. Dewan","doi":"10.1109/ASE.2008.28","DOIUrl":"https://doi.org/10.1109/ASE.2008.28","url":null,"abstract":"Physical proximity supports various forms of ad-hoc collaboration among developers such as opportunistic task adaptation and helping co-developers when they are stuck. Connecting the input/output flows of stand-alone programming environments of distributed developers offers the potential to support such collaboration among them. Such a connection has several components including communication sessions, awareness of others' availability and the state of the objects on which they are working, and control channels allowing users to import edits of and share code with others and be notified when a team member has moved away from a program element of interest. It is possible to develop a collaboration-centered design that combines a variety of collaboration streams into a usable and useful user-interface, and implement the design using existing programming environment, communication, and compiler technologies.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"265 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115116800","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}
引用次数: 70
Software Cost Estimation using Fuzzy Decision Trees 基于模糊决策树的软件成本估算
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.51
A. Andreou, Efi Papatheocharous
{"title":"Software Cost Estimation using Fuzzy Decision Trees","authors":"A. Andreou, Efi Papatheocharous","doi":"10.1109/ASE.2008.51","DOIUrl":"https://doi.org/10.1109/ASE.2008.51","url":null,"abstract":"This paper addresses the issue of software cost estimation through fuzzy decision trees, aiming at acquiring accurate and reliable effort estimates for project resource allocation and control. Two algorithms, namely CHAID and CART, are applied on empirical software cost data recorded in the ISBSG repository. Approximately 1000 project data records are selected for analysis and experimentation, with fuzzy decision trees instances being generated and evaluated based on prediction accuracy. The set of association rules extracted is used for providing mean effort value ranges. The experimental results suggest that the proposed approach may provide accurate cost predictions in terms of effort. In addition, there is strong evidence that the fuzzy transformation of cost drivers contribute to enhancing the estimation process.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115127145","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}
引用次数: 50
Tools for Traceability in Secure Software Development 安全软件开发中的可追溯性工具
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.92
Y. Yu, J. Jürjens, Jörg Schreck
{"title":"Tools for Traceability in Secure Software Development","authors":"Y. Yu, J. Jürjens, Jörg Schreck","doi":"10.1109/ASE.2008.92","DOIUrl":"https://doi.org/10.1109/ASE.2008.92","url":null,"abstract":"For secure and dependable software system development, one must ensure that security requirements are truly traceable to design and implementation, and the traceability links can be updated accordingly to changed entities. To address this, we present a suite of security requirements analysis and traceability assurance tools and demonstrate how they are effectively integrated.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114675603","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}
引用次数: 8
Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite 产品线工具也是产品线:从开发工具套件中学到的经验教训
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.46
P. Grünbacher, Rick Rabiser, Deepak Dhungana
{"title":"Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite","authors":"P. Grünbacher, Rick Rabiser, Deepak Dhungana","doi":"10.1109/ASE.2008.46","DOIUrl":"https://doi.org/10.1109/ASE.2008.46","url":null,"abstract":"Tool developers are facing high expectations regarding the capabilities and usability of software engineering tools. Users expect tools which are tailored to their specific needs and integrated in their environment. This increases the complexity of tools and makes their customization more difficult, although numerous mechanisms supporting adaptability and extensibility are available. In this experience paper we report on the lessons we have learned when developing a tool suite for product line engineering. Our experiences suggest that software engineering tools should be designed as product lines.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"137 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120818875","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}
引用次数: 19
Effort Estimation in Capturing Architectural Knowledge 获取架构知识的工作量估计
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.31
Rafael Capilla, F. Nava, Carlos Carrillo
{"title":"Effort Estimation in Capturing Architectural Knowledge","authors":"Rafael Capilla, F. Nava, Carlos Carrillo","doi":"10.1109/ASE.2008.31","DOIUrl":"https://doi.org/10.1109/ASE.2008.31","url":null,"abstract":"Capturing and using design rationale is becoming a hot topic for software architects, as architectural design decisions are now considered first class entities that should be recorded and documented explicitly. Capturing such architecture knowledge has been underestimated for several years as architects have been only focused on documenting their architectures and neglecting the rationale that led to them. The importance of recording design rationale becomes enormous for maintenance and evolution activities, as design decisions can be replayed in order to avoid highly cost architecture recovery processes. Hence, in this work we describe how architecture design decisions can be captured and documented with specific tool support. We also provide effort estimation in capturing such knowledge and we compare this with architecture modeling efforts in order to analyze the viability of knowledge capturing strategies.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"291 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120878691","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}
引用次数: 31
Query-Aware Test Generation Using a Relational Constraint Solver 使用关系约束求解器生成查询感知测试
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.34
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, S. Khurshid
{"title":"Query-Aware Test Generation Using a Relational Constraint Solver","authors":"Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, S. Khurshid","doi":"10.1109/ASE.2008.34","DOIUrl":"https://doi.org/10.1109/ASE.2008.34","url":null,"abstract":"We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach first formulates Alloy models for both inputs, and then using the Alloy Analyzer, it generates (1) input data to populate test databases, and (2) the expected result of executing the given query on the generated data. The Alloy Analyzer results form a complete test suite (input/oracle) for verifying the execution result of a DBMS query processor. By incorporating both the schema and the query during the analysis, our approach performs query-aware data generation where executing the query on the generated data produces meaningful non-empty results. We developed a prototype tool, ADUSA, and used it to evaluate our approach. Experimental results show the ability of our approach to detect bugs in both open-source as well as commercial database management systems.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127132360","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}
引用次数: 87
Increasing Test Granularity by Aggregating Unit Tests 通过聚合单元测试来增加测试粒度
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.11
M. Jorde, Sebastian G. Elbaum, Matthew B. Dwyer
{"title":"Increasing Test Granularity by Aggregating Unit Tests","authors":"M. Jorde, Sebastian G. Elbaum, Matthew B. Dwyer","doi":"10.1109/ASE.2008.11","DOIUrl":"https://doi.org/10.1109/ASE.2008.11","url":null,"abstract":"Unit tests are focused, efficient, and there are many techniques to support their automatic generation. Coarser granularity tests, however, are necessary to validate the behavior of larger software components, and are also likely to be more robust in the presence of program changes. This paper investigates whether coarser granularity tests can be automatically generated by aggregating unit tests. We leverage our Differential Unit Test (DUT) framework to represent unit tests, define a space of potential aggregations of those unit tests, and implement a strategy to traverse that space to generate Aggregated DUTs (A- DUTs) that validate the effects of multiple method calls on a (set of) receiver object(s). An empirical study of A-DUTs on two applications shows their tradeoffs with DUTs and their potential to increase the number of versions for which tests remain usable relative to method level tests.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115201546","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}
引用次数: 14
QuARS Express - A Tool Demonstration QuARS Express -一个工具演示
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.77
A. Bucchiarone, S. Gnesi, G. Lami, G. Trentanni, A. Fantechi
{"title":"QuARS Express - A Tool Demonstration","authors":"A. Bucchiarone, S. Gnesi, G. Lami, G. Trentanni, A. Fantechi","doi":"10.1109/ASE.2008.77","DOIUrl":"https://doi.org/10.1109/ASE.2008.77","url":null,"abstract":"Requirements analysis is an important phase in a software project. Automatic evaluation of natural language (NL) requirements documents has been proposed as a means to improve the quality of the system under development. QuARS Express is an automatic analyzer of natural language (NL) requirements able to manage complex and structured requirement documents containing metadata, and to produce an analysis report rich of information that points out linguistic defects and indications about the writing style of NL requirements.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"294 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122191573","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}
引用次数: 11
Using Simulation to Investigate Requirements Prioritization Strategies 利用仿真研究需求优先排序策略
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.37
D. Port, Alexy Olkov, T. Menzies
{"title":"Using Simulation to Investigate Requirements Prioritization Strategies","authors":"D. Port, Alexy Olkov, T. Menzies","doi":"10.1109/ASE.2008.37","DOIUrl":"https://doi.org/10.1109/ASE.2008.37","url":null,"abstract":"Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - when to prioritize, to what degree, and how to guide implementation. As with many software engineering methods, verifying the benefit of following a particular approach is a challenge. Industry and student/classroom based experimental studies are generally impractical to use for large numbers of controlled experiments and benefits are difficult to measure directly. We use simulation to validate the fundamental, yet typically intangible benefits of requirements prioritization strategies. Our simulation is directly based on detailed empirical studies of agile and plan-based requirements management studies. Our simulation shows, as many have claimed, that an agile strategy excels when requirements are highly volatile, whereas a plan-based strategy excels when requirements are stable, and that there exist mixed strategies that are better than either for typical development efforts.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128355928","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}
引用次数: 44
Swarm Verification 群验证
2008 23rd IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2008-09-15 DOI: 10.1109/ASE.2008.9
G. Holzmann, Rajeev Joshi, Alex Groce
{"title":"Swarm Verification","authors":"G. Holzmann, Rajeev Joshi, Alex Groce","doi":"10.1109/ASE.2008.9","DOIUrl":"https://doi.org/10.1109/ASE.2008.9","url":null,"abstract":"Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow afield than a thousand chickens. Although this is undoubtedly wise when it comes to plowing afield, it is not so clear for other types of tasks. Model checking problems are of the proverbial \"search the needle in a haystack\" type. Such problems can often be parallelized easily. Alas, none of the usual divide and conquer methods can be used to parallelize the working of a model checker. Given that it has become easier than ever to gain access to large numbers of computers to perform even routine tasks it is becoming more and more attractive to find alternate ways to use these resources to speed up model checking tasks. This paper describes one such method, called swarm verification.","PeriodicalId":184403,"journal":{"name":"2008 23rd IEEE/ACM International Conference on Automated Software Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123475224","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}
引用次数: 44
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信