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

2013 13th International Conference on Quality Software最新文献

筛选
英文 中文
An Empirical Study of Bugs in Software Build Systems 软件构建系统中bug的实证研究
2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.60
Xin Xia, Xiaozhen Zhou, D. Lo, Xiaoqiong Zhao
{"title":"An Empirical Study of Bugs in Software Build Systems","authors":"Xin Xia, Xiaozhen Zhou, D. Lo, Xiaoqiong Zhao","doi":"10.1109/QSIC.2013.60","DOIUrl":"https://doi.org/10.1109/QSIC.2013.60","url":null,"abstract":"Build system converts source code, libraries and other data into executable programs by orchestrating the execution of compilers and other tools. The whole building process is managed by a software build system, such as Make, Ant, CMake, Maven, Scons, and QMake. The reliability of software build systems would affect the reliability of the build process. In this paper, we perform an empirical study on bugs in software build systems. We analyze four software build systems, Ant, Maven, CMake and QMake, which are four typical and widely-used software build systems, and can be used to build Java, C, C++ systems. We investigate their bug database and code repositories, randomly sample a set of bug reports and their fixes (800 bugs reports totally, and 199, 250, 200, and 151 bug reports for Ant, Maven, CMake and QMake, respectively), and manually assign them into various categories. We find that 21.35% of the bugs belong to the external interface category, 18.23% of the bugs belong to the logic category, and 12.86% of the bugs belong to the configuration category. We also investigate the relationship between bug categories and bug severities.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116135844","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}
引用次数: 26
Binary-Level Testing of Embedded Programs 嵌入式程序的二进制级测试
2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.49
Sébastien Bardin, P. Baufreton, Nicolas Cornuet, P. Herrmann, S. Labbé
{"title":"Binary-Level Testing of Embedded Programs","authors":"Sébastien Bardin, P. Baufreton, Nicolas Cornuet, P. Herrmann, S. Labbé","doi":"10.1109/QSIC.2013.49","DOIUrl":"https://doi.org/10.1109/QSIC.2013.49","url":null,"abstract":"Dynamic Symbolic Execution (DSE) is a powerful approach to automatic test data generation. It has been heavily used in recent years for finding bugs in desktop programs. In this article, we discuss the use of binary-level DSE for testing safety-critical embedded systems. More especially, we present several innovative features implemented in our DSE tool OSMOSE, and we show through four case-studies how these features can be used in practical situations.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122596418","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
Automatic Validation of Design Decision Based on Multiple Analysis Methods Integration 基于多分析方法集成的设计决策自动验证
2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.30
Jiayu Luo, Rui Huang, Xiangping Chen
{"title":"Automatic Validation of Design Decision Based on Multiple Analysis Methods Integration","authors":"Jiayu Luo, Rui Huang, Xiangping Chen","doi":"10.1109/QSIC.2013.30","DOIUrl":"https://doi.org/10.1109/QSIC.2013.30","url":null,"abstract":"The definition of design decision helps architect with explicit design space exploration and improved trace ability from requirement, software architecture to implementation. In this paper, we proposed an automatic design decision validation method. We first extend the design decision meta-model to record the evaluation criterion, impact scope, and analysis methods for software requirement. Our evaluation algorithm analyzes change impact and prepares analysis input for each affected quality requirement. The evaluation process is automatically executed based on an analysis method integration framework. If a quality requirement cannot be fulfilled by relevant design decisions, our search algorithm will explore the design spaces to locate possible conflicted design decisions. We implement our approach by extending a design decision modeling tool ABC/DD, and use our approach to validate a web based interactive application for TV.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125323695","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}
引用次数: 0
A Comparison of Mutation Analysis Tools for Java Java突变分析工具的比较
2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.47
Mickaël Delahaye, L. D. Bousquet
{"title":"A Comparison of Mutation Analysis Tools for Java","authors":"Mickaël Delahaye, L. D. Bousquet","doi":"10.1109/QSIC.2013.47","DOIUrl":"https://doi.org/10.1109/QSIC.2013.47","url":null,"abstract":"Mutation analysis allows software developers to evaluate the quality of a test suite. The quality is measured as the ability of the test suite to detect faults injected into the program under tests. A fault is detected if at least one test case gives different results on the original program and the fault injected one. Mutation tools aim at automating and speeding both the generation of fault injected variants, called mutants, and the execution of the test suite on those mutants. In this paper, we aim at offering meaningful elements of comparison between mutation tools for Java for different usage profiles.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127179760","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
Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study 在架构设计层面确保航空电子软件的安全性:一个工业案例研究
2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.41
Ji Wu, T. Yue, Shaukat Ali, Huihui Zhang
{"title":"Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study","authors":"Ji Wu, T. Yue, Shaukat Ali, Huihui Zhang","doi":"10.1109/QSIC.2013.41","DOIUrl":"https://doi.org/10.1109/QSIC.2013.41","url":null,"abstract":"Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO-178B/C, which provides guidelines (e.g. development process and the objectives to satisfy in development activities) for meeting the safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component-based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO-178B/C) and current engineering practices in the domain of avionics system. The methodology enforces safety requirements automatically. We have applied the methodology on an industrial autopilot system and several previously uncaught faults were revealed.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121760618","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
Requirements-Driven Testing of Domain-Specific Core Language Models Using Scenarios 使用场景的特定领域核心语言模型的需求驱动测试
2013 13th International Conference on Quality Software Pub Date : 2013-07-01 DOI: 10.1109/QSIC.2013.56
Stefan Sobernig, Bernhard Hoisl, Mark Strembeck
{"title":"Requirements-Driven Testing of Domain-Specific Core Language Models Using Scenarios","authors":"Stefan Sobernig, Bernhard Hoisl, Mark Strembeck","doi":"10.1109/QSIC.2013.56","DOIUrl":"https://doi.org/10.1109/QSIC.2013.56","url":null,"abstract":"In this paper, we present an approach for the scenario-based testing of the core language models of domain-specific modeling languages (DSML). The core language model is a crucial artifact in DSML development, because it captures all relevant domain abstractions and specifies the relations between these abstractions. In software engineering, scenarios are used to explore and to define (actual or intended) system behavior as well as to specify user requirements. The different steps in a requirements-level scenario can then be refined through detailed scenarios. In our approach, we use scenarios as a primary design artifact. Non-executable, human-understandable scenario descriptions can be refined into executable test scenarios. To demonstrate the applicability of our approach, we implemented a scenario-based testing framework based on the Eclipse Modeling Framework (EMF) and the Epsilon model-management toolkit.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"213 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132676199","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
首页 上一页
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学术官方微信