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

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

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

Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques 测试套件类不平衡对基于频谱的故障定位技术的影响

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

P. Rao, Zheng Zheng, T. Chen, Nan Wang, K. Cai

引用次数: 24

Supporting Reliability Modeling and Analysis for Component-Based Software Architecture: An XML-Based Approach 基于组件的软件体系结构支持可靠性建模与分析:一种基于xml的方法

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

Weichao Luo, Linpeng Huang

引用次数: 0

Energy Efficiency in Testing and Regression Testing -- A Comparison of DVFS Techniques 测试中的能源效率与回归测试——DVFS技术的比较

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

Edward Y. Y. Kan

引用次数: 7

Dealing with Software Model Quality in Practice: Experience in a Research Project 在实践中处理软件模型质量:一个研究项目的经验

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

J. Vara, H. Espinoza

引用次数: 3

A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization 克隆失败测试用例对故障定位有效性影响的理论研究

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

Yichao Gao, Zhenyu Zhang, Long Zhang, Cheng Gong, Zheng Zheng

引用次数: 15

A Low-Cost Fault Tolerance Technique in Multi-media Applications through Configurability 基于可配置性的多媒体应用低成本容错技术

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

Lanfang Tan, Ying Tan

{"title":"A Low-Cost Fault Tolerance Technique in Multi-media Applications through Configurability","authors":"Lanfang Tan, Ying Tan","doi":"10.1109/QSIC.2013.25","DOIUrl":"https://doi.org/10.1109/QSIC.2013.25","url":null,"abstract":"As chip densities and clock rates increases, processors are becoming more susceptible to transient faults that affect program correctness. Therefore, fault tolerance becomes increasingly important in computing system. Two major concerns of fault tolerance techniques are: a) improving system reliability by detecting transient errors and b) reducing performance overhead. In this study, we propose a configurable fault tolerance technique targeting both high reliability and low performance overhead for multi-media applications. The basic principle is applying different levels of fault tolerance configurability, which means that different degrees of fault tolerance are applied to different parts of the source codes in multi-media applications. First, a primary analysis is performed on the source code level to classify the critical statements. Second, a fault injection process combined with a statistical analysis is used to assure the partition with regards to a confidence degree. Finally, checksum-based fault tolerance and instruction duplication are applied to critical statements, while no fault tolerance mechanism is applied to non-critical parts. Performance experiment results demonstrate that our configurable fault tolerance technique can lead to significant performance gains compared with duplicating all instructions. The fault coverage of this scheme is also evaluated. Fault injection results show that about 90% of outputs are application-level correctness with just 20% of runtime overhead.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"23 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":"127184484","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

Backward-Slice-Based Statistical Fault Localization without Test Oracles 基于后向切片的统计故障定位，无需测试oracle

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

Yan Lei, Xiaoguang Mao, T. Chen

{"title":"Backward-Slice-Based Statistical Fault Localization without Test Oracles","authors":"Yan Lei, Xiaoguang Mao, T. Chen","doi":"10.1109/QSIC.2013.45","DOIUrl":"https://doi.org/10.1109/QSIC.2013.45","url":null,"abstract":"A recent promising technique for fault localization, Backward-Slice-based Statistical Fault Localization (BSSFL), statistically analyzes the backward slices and results of a set of test cases to evaluate the suspiciousness of a statement being faulty. However, BSSFL like many existing fault localization approaches assumes the existence of a test oracle to determine whether the result of a test case is a failure or pass. In reality, test oracles do not always exist, and therefore in such cases BSSFL can be severely infeasible. Among current research, metamorphic testing has been widely studied as a technique to alleviate the oracle problem. Hence, we leverage metamorphic testing to conduct BSSFL without test oracles. With metamorphic testing, our approach uses the backward slices and the metamorphic result of violation or non-violation for a metamorphic test group, rather than the backward slice and the result of failure or pass for an individual test case in BSSFL. Because our approach does not need the execution result of a test case, it implies that BSSFL can be extended to those application domains where no test oracle exists. The experimental results on 8 programs and 2 groups of the maximal suspiciousness evaluation formulas show that our proposed approach demonstrates the effectiveness comparable to that of existing BSSFL techniques in the cases where test oracles exist.","PeriodicalId":404921,"journal":{"name":"2013 13th International Conference on Quality Software","volume":"32 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":"130361681","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}

引用次数: 21

Taming Deadlocks in Multithreaded Programs 控制多线程程序中的死锁

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

Yan Cai, W. Chan, Yuen-Tak Yu

引用次数: 5