2013 13th International Conference on Quality Software最新文献_第3页

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.15

Elmin Ibrahimov, Jixing Wang, Z. Zhou

引用次数: 2

Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies 通过使用控制、数据和通信依赖来改进UML状态图的测试用例生成

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.48

V. Chimisliu, F. Wotawa

{"title":"Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies","authors":"V. Chimisliu, F. Wotawa","doi":"10.1109/QSIC.2013.48","DOIUrl":"https://doi.org/10.1109/QSIC.2013.48","url":null,"abstract":"Dependence relations have been used in slicing of programs in order to remove statements that do not influence certain criteria of interest. More recently, slicing has also been applied at the specification level in order to obtain a reduced model pertinent to the selected criteria. Such models have been used for different verification and validation activities. In this article we present an approach that uses control, data and communication dependences in order to enhance test purposes with refuse transitions. A test purpose represents an abstraction of the original model describing a scenario of interest, which should be tested. The refuse transitions are used during the test case generation process in order to limit the state space being searched. As automating test case generation activities is of great importance the generation of the test purposes and of the test cases consequently is fully automatic. We have evaluated the proposed approach on three models from industry and several others from literature. The obtained results indicate an improvement regarding computation time compared to test case generation using unmodified test purposes.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"87 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":"131869819","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}

引用次数: 16

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets 正确的选择很重要!SMT求解大大改进了基于模型的电子表格调试

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.46

Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, F. Wotawa

{"title":"The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets","authors":"Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, F. Wotawa","doi":"10.1109/QSIC.2013.46","DOIUrl":"https://doi.org/10.1109/QSIC.2013.46","url":null,"abstract":"Spreadsheets are undoubtedly the most prominent example of end-user programs vastly used in practice. Spreadsheets are often complex and comprise several hundreds or even thousands of formulas making fault localization a very hard and painstaking task. Although there has been work based on model-based reasoning for fault localization in spreadsheets, its applicability in practice is still limited mainly due to two reasons. First, most of the available constraint solvers, used for computing diagnoses, do not sufficiently support Real numbers. Second, the runtime especially for larger spreadsheets is too long preventing truly interactive debugging. In order to eliminate limitations regarding data type support and runtime performance, we suggest the use of SMT solvers for spreadsheet debugging. Besides lying out the foundations of SMT solving for diagnoses, we introduce its application to spreadsheet debugging. The empirical evaluation shows that the SMT solver Z3 requires six times less time for computing diagnoses compared to public available constraint solvers.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"50 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":"132223648","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

PCTF: An Integrated, Extensible Cloud Test Framework for Testing Cloud Platforms and Applications PCTF:用于测试云平台和应用程序的集成的、可扩展的云测试框架

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.65

G. N. Iyer, Jayakhanna Pasimuthu, Ramesh Loganathan

引用次数: 11

Measuring Qualities for OSGi Component-Based Applications 度量基于OSGi组件的应用程序的质量

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.42

Salma Hamza, Salah Sadou, Régis Fleurquin

{"title":"Measuring Qualities for OSGi Component-Based Applications","authors":"Salma Hamza, Salah Sadou, Régis Fleurquin","doi":"10.1109/QSIC.2013.42","DOIUrl":"https://doi.org/10.1109/QSIC.2013.42","url":null,"abstract":"Component-based software engineering (CBSE) begins to reach a certain level of maturity. Indeed, for the development of complex applications the use of component paradigm has become common. Therefore, the evaluation of the quality of these applications becomes necessary. In this context, the use of metrics is considered very important. Several metrics specific to component-based applications have been proposed. However, any of these metrics gained the consensus of the CBSE community and mainly there is no proposed tool to support them. As a large part of frameworks for component-based application development is based on object-oriented technology, we propose to use some object-oriented (OO) metrics to evaluate component-based applications produced with this kind of framework. Indeed, these metrics became a standard in OO community. So, they are well-defined, well-known and empirically validated. To identify which object-oriented metrics are useful for the evaluation of component-based applications, we have conducted an experimental study on 10 OSGi applications. This study also gives us the opportunity to discuss on the respect by OSGi developers of some properties pointed out by the literature.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"5 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":"132874464","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

An Empirical Study of Adoption of Software Testing in Open Source Projects 开源项目中软件测试采用的实证研究

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.57

Pavneet Singh Kochhar, Tegawendé F. Bissyandé, David Lo, Lingxiao Jiang

引用次数: 66

Leveraging a Constraint Solver for Minimizing Test Suites 利用约束求解器最小化测试套件

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.17

José Campos, Rui Abreu

引用次数: 9

Automated Test Case Generation for Embedded Software Using Extended Interface Automata 使用扩展接口自动机的嵌入式软件自动化测试用例生成

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.24

Chao Zhang, Xiaoying Bai, Junlong Li, Renwei Zhang

引用次数: 4

Considerations in Designing Human-Computer Interfaces for Elderly People 设计老年人人机界面的考虑

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.36

Drew Williams, M. A. Alam, Sheikh Iqbal Ahamed, W. Chu

{"title":"Considerations in Designing Human-Computer Interfaces for Elderly People","authors":"Drew Williams, M. A. Alam, Sheikh Iqbal Ahamed, W. Chu","doi":"10.1109/QSIC.2013.36","DOIUrl":"https://doi.org/10.1109/QSIC.2013.36","url":null,"abstract":"As computing devices continue to become more heavily integrated into our lives, proper design of human-computer interfaces becomes a more important topic of discussion. Efficient and useful human-computer interfaces need to take into account the abilities of the humans who will be using such interfaces, and adapt to difficulties that different users may face - such as the difficulties that elderly users must deal with. Interfaces that allow for user-specific customization, while taking into account the multiple difficulties that older users might face, can assist the elderly in properly using these newer computing devices, and in doing so possibly achieving a better quality of life through the advanced technological support that these devices offer. In this paper, we explore common problems the elderly face when using computing devices and solutions developed for these problems. Difficulties ultimately fall into several categories: cognition, auditory, haptic, visual, and motor-based troubles. We also present an idea for a new adaptive operating system with advanced customizations that would simplify computing for older users.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"24 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":"114991327","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}

引用次数: 42

ColFinder Collaborative Concurrency Bug Detection ColFinder协同并发Bug检测

2013 13th International Conference on Quality Software Pub Date : 2013-07-29 DOI: 10.1109/QSIC.2013.67

Zhendong Wu, Kai Lu, Xiaoping Wang, Xu Zhou

引用次数: 2