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

Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation最新文献

筛选
英文 中文
Testing data transformations in MapReduce programs 在MapReduce程序中测试数据转换
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804326
Jesús Morán, C. Riva, J. Tuya
{"title":"Testing data transformations in MapReduce programs","authors":"Jesús Morán, C. Riva, J. Tuya","doi":"10.1145/2804322.2804326","DOIUrl":"https://doi.org/10.1145/2804322.2804326","url":null,"abstract":"MapReduce is a parallel data processing paradigm oriented to process large volumes of information in data-intensive applications, such as Big Data environments. A characteristic of these applications is that they can have different data sources and data formats. For these reasons, the inputs could contain some poor quality data that could produce a failure if the program functionality does not handle properly the variety of input data. The output of these programs is obtained from a number of input transformations that represent the program logic. This paper proposes the testing technique called MRFlow that is based on data flow test criteria and oriented to transformations analysis between the input and the output in order to detect defects in MapReduce programs. MRFlow is applied over some MapReduce programs and detects several defects.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"332 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116359958","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}
引用次数: 15
EvoSE: evolutionary symbolic execution EvoSE:进化的象征性执行
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804325
M. Baluda
{"title":"EvoSE: evolutionary symbolic execution","authors":"M. Baluda","doi":"10.1145/2804322.2804325","DOIUrl":"https://doi.org/10.1145/2804322.2804325","url":null,"abstract":"Search Based Software Testing (SBST) and Symbolic Execution (SE) have emerged as the most effective among the fully automated test input generation techniques. However, none of the two techniques satisfactorily solves the problem of generating test cases that exercise specific code elements, as it is required for example in security vulnerability testing. This paper proposes EvoSE, an approach that combines the strengths of SBST and SE. EvoSE implements an evolutionary algorithm that searches the program control flow graph for symbolic paths that traverse the minimum number of unsatisfiable branch conditions. Preliminary evaluation shows that EvoSE outperforms state-of-the-art SE search strategies when targeting specific code elements.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117143902","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
Bayesian concepts in software testing: an initial review 软件测试中的贝叶斯概念:初步回顾
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804329
D. Rodríguez-García, J. J. Dolado, J. Tuya
{"title":"Bayesian concepts in software testing: an initial review","authors":"D. Rodríguez-García, J. J. Dolado, J. Tuya","doi":"10.1145/2804322.2804329","DOIUrl":"https://doi.org/10.1145/2804322.2804329","url":null,"abstract":"This work summarizes the main topics that have been researched in the area of software testing under the umbrella of ``Bayesian approaches'' since 2010. There is a growing trend on the use of the so-called Bayesian statistics and Bayesian concepts in general and software testing in particular. Following a Systematic Literature Review protocol using the main digital libraries and repositories, we selected around 40 references applying Bayesian approaches in the field of software testing since 2010. Those references summarise the current state of the art and foster better focused research. So far, the main observed use of the Bayesian concepts in the software testing field is through the application of Bayesian networks for software reliability and defect prediction (the latter is mainly based on static software metrics and Bayesian classifiers). Other areas of application are software estimation and test data generation. There are areas not fully explored beyond the basic Bayesian approaches, such as influence diagrams and dynamic networks.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134182727","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
Model-driven test case design for model-to-model semantics preservation 用于模型到模型语义保存的模型驱动测试用例设计
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804323
Christopher Gerking, Jan Ladleif, Wilhelm Schäfer
{"title":"Model-driven test case design for model-to-model semantics preservation","authors":"Christopher Gerking, Jan Ladleif, Wilhelm Schäfer","doi":"10.1145/2804322.2804323","DOIUrl":"https://doi.org/10.1145/2804322.2804323","url":null,"abstract":"Model transformations used in model-driven software development need to be semantics-preserving, i.e., the meaning of a model must not be distorted by the transformation. Testing whether a transformation preserves the dynamic semantics of a model requires oracles such as model checkers, which explore the runtime statespace of models. The high amount of repetitive code to integrate heterogeneous transformation engines and test oracles makes the design of semantics preservation tests a tedious task. In this paper, we apply the approach of model-driven testing to the domain of model transformation. We present a visual domain-specific language for the design of model transformation tests, which reduces test cases to their essential components. Our language enables an immediate execution of test cases with precise validation feedback. We evaluate our approach in terms of a case study based on the MechatronicUML modeling language for the software development of cyber-physical systems.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115756976","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}
引用次数: 2
A test model for graph database applications: an MDA-based approach 图数据库应用程序的测试模型:基于mda的方法
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804324
Raquel Blanco, J. Tuya
{"title":"A test model for graph database applications: an MDA-based approach","authors":"Raquel Blanco, J. Tuya","doi":"10.1145/2804322.2804324","DOIUrl":"https://doi.org/10.1145/2804322.2804324","url":null,"abstract":"NoSQL databases have given rise to new testing challenges due to the fact that they use data models and access modes to the data that differ from the relational databases. Testing relational database applications has attracted the interest of many researchers; but this is still not the case with NoSQL database applications. The approach presented in this paper defines a test model for graph database applications that takes into account the data model of this technology and the system specification. To automate the derivation of the test cases and the evaluation of their adequacy we propose a framework that places model-based testing into the model-driven architecture context.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123162674","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}
引用次数: 6
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation 第六届自动化测试用例设计、选择与评估国际研讨会论文集
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322
T. Vos, Sigrid Eldh, Wishnu Prasetya
{"title":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","authors":"T. Vos, Sigrid Eldh, Wishnu Prasetya","doi":"10.1145/2804322","DOIUrl":"https://doi.org/10.1145/2804322","url":null,"abstract":"","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123902104","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
Concurrent software testing in practice: a catalog of tools 并行软件测试的实践:工具目录
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804328
S. Melo, S. Souza, Rodolfo A. Silva, P. L. D. Souza
{"title":"Concurrent software testing in practice: a catalog of tools","authors":"S. Melo, S. Souza, Rodolfo A. Silva, P. L. D. Souza","doi":"10.1145/2804322.2804328","DOIUrl":"https://doi.org/10.1145/2804322.2804328","url":null,"abstract":"The testing of concurrent programs is very complex due to the non-determinism present in those programs. They must be subjected to a systematic testing process that assists in the identification of defects and guarantees quality. Although testing tools have been proposed to support the concurrent program testing, to the best of our knowledge, no study that concentrates all testing tools to be used as a catalog for testers is available in the literature. This paper proposes a new classification for a set of testing tools for concurrent programs, regarding attributes, such as testing technique supported, programming language, and paradigm of development. The purpose is to provide a useful categorization guide that helps testing practitioners and researchers in the selection of testing tools for concurrent programs. A systematic mapping was conducted so that studies on testing tools for concurrent programs could be identified. As a main result, we provide a catalog with 116 testing tools appropriately selected and classified, among which the following techniques were identified: functional testing, structural testing, mutation testing, model based testing, data race and deadlock detection, deterministic testing and symbolic execution. The programming languages with higher support were Java and C/C++. Although a large number of tools have been categorized, most of them are academic and only few are available on a commercial scale. The classification proposed here can contribute to the state-of-the-art of testing tools for concurrent programs and also provides information for the exchange of knowledge between academy and industry.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123795225","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
Deterministically testing actor-based concurrent software 确定性地测试基于参与者的并发软件
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation Pub Date : 2015-08-30 DOI: 10.1145/2804322.2804327
Piet Cordemans, E. Steegmans, J. Boydens
{"title":"Deterministically testing actor-based concurrent software","authors":"Piet Cordemans, E. Steegmans, J. Boydens","doi":"10.1145/2804322.2804327","DOIUrl":"https://doi.org/10.1145/2804322.2804327","url":null,"abstract":"Non-deterministic concurrent behavior of software prohibits the idempotent property of tests. XUnit frameworks traditionally do not offer support to deal with these concurrency issues which reduces the significance of unit testing concurrent software. In this paper we propose a tool which supports deterministic testing of concurrent software based on the Actor model. This tool reveals race conditions and seamlessly integrates with xUnit-like frameworks. In our approach, a Coloured Petri Net model is constructed per test as well as the code under test. This model allows isolation of concurrent behavior from the effective actor state. Subsequently, the state space is calculated and traces covering all states are constructed. Corresponding with these traces our tool issues test runs, guaranteeing full state space coverage of each test. Moreover, each failed trace can be backtracked, revealing valuable information concerning the race condition.","PeriodicalId":223135,"journal":{"name":"Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation","volume":"49 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122114723","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
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书