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

Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics 贝叶斯概率监测:一种基于贝叶斯统计的新型高效概率监测方法

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

Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, H. Leung

{"title":"Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics","authors":"Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, H. Leung","doi":"10.1109/QSIC.2013.55","DOIUrl":"https://doi.org/10.1109/QSIC.2013.55","url":null,"abstract":"Modern software systems deal with increasing dependability requirements which specify non-functional aspect of a system correct operation. Usually, probabilistic properties are used to formulate dependability requirements like performance, reliability, safety, and availability. Probabilistic monitoring techniques, as an important assurance measure, has drawn more and more interest. Despite currently several approaches has been proposed to monitor probabilistic properties, it still lacks of a general and efficient monitoring approach for monitoring probabilistic properties. This paper puts forward a novel probabilistic monitoring approach based on Bayesian statistics, called Bayesian Probabilistic Monitor (BaProMon). By calculating Bayesian Factor, the approach can check whether the runtime information can provide sufficient evidences to support the null or alternative hypothesis. We give the corresponding algorithms and validate them via simulated-based experiments. The experimental results show that BaProMon can effectively monitor QoS properties. The results also indicate that our approach is superior to other approaches.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"26 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":"127287799","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}

引用次数: 7

A Search Strategy Guided by Uncovered Branches for Concolic Testing 一种基于未覆盖分支的圆锥测试搜索策略

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

Qixing Dong, Jun Yan, Jian Zhang, Fanping Zeng

引用次数: 1

Workflow-Based Modeling of Web Application and Automatically Generating Test Sequences 基于工作流的Web应用建模与测试序列自动生成

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

Lulu Dong, Hua Li, Sumei Zhang

引用次数: 2

A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective 从编译器优化的角度研究数据竞争检测的效率问题

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

Changjiang Jia, W. Chan

{"title":"A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective","authors":"Changjiang Jia, W. Chan","doi":"10.1109/QSIC.2013.58","DOIUrl":"https://doi.org/10.1109/QSIC.2013.58","url":null,"abstract":"Dynamically detecting data races in multithreaded programs incurs significant slowdown and memory overheads. Many existing techniques have been put forward to improve the performance slowdown through different dimensions such as sampling, detection precision, and data structures to track the happened-before relations among events in execution traces. Compiling the program source code with different compiler optimization options, such as reducing the object code size as the selected optimization objective, may produce different versions of the object code. Does optimizing the object code with a standard optimization option help improve the performance of the precise online race detection? To study this question and a family of related questions, this paper reports a pilot study based on four benchmarks from the PARSEC 3.0 suite compiled with six GCC compiler optimization options. We observe from the empirical data that in terms of performance slowdown, the standard optimization options behave comparably to the optimization options for speed and code size, but behave quite different from the baseline option. Moreover, in terms of memory cost, the standard optimization options incur similar memory costs as the baseline option and the option for speed, and consume less memory than the option for code size.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"19 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":"126154502","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

Adaptive Combinatorial Testing 自适应组合测试

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

Changhai Nie, H. Leung, K. Cai

引用次数: 14

A Bidirectional Framework for Model Synchronization in Component-Based Software Development 基于组件的软件开发中双向模型同步框架

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

Luxi Chen, Linpeng Huang, Chen Li, Tao Zan

引用次数: 2

An Approach to Fully Recognizing Addressable Expression 一种完全识别可寻址表达式的方法

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

Yukun Dong, Ying Xing, Dahai Jin, Yunzhan Gong, Kai Liu

引用次数: 6

Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study 使用特征模型支持基于模型的产品线测试:一个工业案例研究

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

Shuai Wang, Shaukat Ali, T. Yue, Marius Liaaen

{"title":"Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study","authors":"Shuai Wang, Shaukat Ali, T. Yue, Marius Liaaen","doi":"10.1109/QSIC.2013.51","DOIUrl":"https://doi.org/10.1109/QSIC.2013.51","url":null,"abstract":"In the context of Model-Based Testing (MBT) of product lines, effort required to develop models can be significantly reduced by applying systematic product line modeling and configuration methodologies. In our previous work, we developed such a methodology to capture variability in configurable UML state machines and aspect state machines. For each product, these state machines are to be configured for generating executable test cases. In this paper, we extended this methodology using Feature Model for Testing (FM_T) and Component Family Model for Behaviors (CFM_B). FM_T captures variable testing functionalities of a product line, whereas CFM_B provides an abstraction layer on top of the configurable state machines. With our current methodology, a test engineer doesn't need to acquire expertise on behavioral modeling and can simply configure models for a product by selecting features in FM_T and configuring provided attributes in CFM_B. The configured models are then given input to our model-based testing tool, TRansformation-based tool for Uml-baSed Testing (TRUST) for executable test case generation. We applied our extended methodology to a product line of video conferencing system developed by Cisco Systems, Norway. Results show that the methodology significantly reduces the complexity of configuration, thereby significantly reducing required effort and cost (e.g., in terms of training). In addition, it does not require test engineers to have expertise in UML modeling, aspect-oriented modeling, and OCL specification and therefore eases the adoption of MBT in industry.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"41 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":"124068864","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}

引用次数: 18

Improving Service Diagnosis through Invocation Monitoring 通过调用监视改进服务诊断

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

Cuiting Chen, H. Groß, A. Zaidman

引用次数: 1

Abstraction Based Domain Ontology Extraction for Idea Creation 基于抽象的领域本体抽取技术

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

D. Jing, Hongji Yang, Yingchun Tian

{"title":"Abstraction Based Domain Ontology Extraction for Idea Creation","authors":"D. Jing, Hongji Yang, Yingchun Tian","doi":"10.1109/QSIC.2013.31","DOIUrl":"https://doi.org/10.1109/QSIC.2013.31","url":null,"abstract":"Idea creation is a complicated process in which it requires plenty of knowledge as support for specific domain. Creativity becomes a more and more important feature for idea nowadays when information in various domains is on an explosion. Likewise, it raises the requirement for the amount of domain knowledge as background. Many previous traditional approaches to domain specific idea creation are performed by domain experts based on their personal knowledge storage and manually information research, which are considered to be time consuming, uncreative and out of date prone processes. As a creative knowledge combination activity, idea creation requires a great number of knowledge covers from research to industry in the application domains. The integration of domain ontology and idea creation is a trend in creative computing research area. The introduction of domain ontology based approach into idea creation can bridge the gap between knowledge collection and mental thought, and improve the efficiency and creativity of idea creation. In this paper, we propose an abstraction method to support one of the essential parts in this field - domain ontology extraction. Abstraction techniques are explored, classified, selected and integrated while elements of domain ontology are defined including concepts and relations. Also, a framework and approach is specified for apply the method into domain ontology extraction with designed abstraction rules to support its automation. A case study on idea creation scenario particularly is represented to validate the feasibility and reusability of our proposed method. Furthermore, the mapping rules for transformation from abstracted results to domain ontology are discussed as an initial idea and further work.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"52 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":"132698160","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}

引用次数: 12