Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)最新文献

Bogor: A Flexible Framework for Creating Software Model Checkers Bogor:创建软件模型检查器的灵活框架

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.5

Robby, Matthew B. Dwyer, J. Hatcliff

{"title":"Bogor: A Flexible Framework for Creating Software Model Checkers","authors":"Robby, Matthew B. Dwyer, J. Hatcliff","doi":"10.1109/TAIC-PART.2006.5","DOIUrl":"https://doi.org/10.1109/TAIC-PART.2006.5","url":null,"abstract":"Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multi-core architectures and a greater emphasis on distributed computing, model checking is an increasingly important software quality assurance technique that can complement existing testing and inspection methods. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggests that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limitations of existing tools which tend to be monolithic and non-extensible, we have developed an extensible and customizable model checking framework called Bogor. In this article, we summarize how Bogor provides direct support for modeling object-oriented designs and implementations, how its modeling language and algorithms can be extended and customized to create domain-specific model checking engines, and how Bogor can be deployed in broader software development contexts in conjunction with complementary quality assurance techniques","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117220458","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}

引用次数: 35

Improving Testing Efficiency using Cumulative Test Analysis 利用累积测试分析提高测试效率

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.13

Ian Holden, D. Dalton

引用次数: 2

Generating a Test Strategy with Bayesian Networks and Common Sense 用贝叶斯网络和常识生成测试策略

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.10

J. Gras, Rishabh Gupta, Elena Pérez-Miñana

{"title":"Generating a Test Strategy with Bayesian Networks and Common Sense","authors":"J. Gras, Rishabh Gupta, Elena Pérez-Miñana","doi":"10.1109/TAIC-PART.2006.10","DOIUrl":"https://doi.org/10.1109/TAIC-PART.2006.10","url":null,"abstract":"Testing still represents an important share of the overall development effort and, coming late in the software life cycle, it is on the critical path both from a schedule and quality perspective. In an effort to conduct smarter software testing, Motorola Labs have developed the Bayesian test assistant (BTA), an advanced decision support tool to optimize all verification and validation activities, in development and system testing. With Bayesian networks, the theory underlying BTA, Motorola Labs built a library of causal models to predict, from key process, people and product factors, the quality of artefacts at each step of the software development. In this paper we present how BTA links the predictions from development models by mapping dependencies between components or subsystems to predict the level of risk in each system feature. As a result, and well before system testing starts, BTA generates a test strategy that optimizes the writing of test cases. During system test, BTA scores test cases to select an optimum set for each test step, leading to a faster discovery of defects. We also describe how BTA was deployed on large telecomm system releases in several Motorola organizations and the improvement driven so far in system testing","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123803104","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}

引用次数: 9

Testing a Datawarehouse - An Industrial Challenge 测试一个数据仓库——一个工业挑战

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.27

H. Sneed

引用次数: 10

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach 面向使用特定于领域的建模方法部署基于模型的测试

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.34

Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama

引用次数: 26

On the Automation of Software Fault Prediction 软件故障预测自动化研究

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.19

T. Ostrand, E. Weyuker

引用次数: 5

The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph 基于兼容性测试分类和依赖关系图的重构的有效性

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.33

S. Counsell, R. Hierons, R. Najjar, G. Loizou, Y. Hassoun

{"title":"The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph","authors":"S. Counsell, R. Hierons, R. Najjar, G. Loizou, Y. Hassoun","doi":"10.1109/TAIC-PART.2006.33","DOIUrl":"https://doi.org/10.1109/TAIC-PART.2006.33","url":null,"abstract":"In this paper, we describe and then appraise a testing taxonomy proposed by van Deursen and Moonen (VD&M) based on the post-refactoring repeatability of tests. Four categories of refactoring are identified by VD&M ranging from semantic-preserving to incompatible, where, for the former, no new tests are required and for the latter, a completely new test set has to be developed. In our appraisal of the taxonomy, we heavily stress the need for the inter-dependence of the refactoring categories to be considered when making refactoring decisions and we base that need on a refactoring dependency graph developed as part of the research. We demonstrate that while incompatible refactorings may be harmful and time-consuming from a testing perspective, semantic-preserving refactorings can have equally unpleasant hidden ramifications despite their advantages. In fact, refactorings which fall into neither category have the most interesting properties. We support our results with empirical refactoring data drawn from seven Java open-source systems (OSS) and from the same analysis form a tentative categorization of code smells","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130701832","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}

引用次数: 33

AutoAbstract: Problem Statement and Hypothetical Solutions 摘要:问题陈述和假设解决方案

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.4

Shaukat Ali

引用次数: 0

Extending Software Integration Testing Using Aspects in Symbian OS 在Symbian操作系统中使用方面扩展软件集成测试

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.9

Jani Pesonen

引用次数: 9

Integration Testing of Components Guided by Incremental State Machine Learning

Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) Pub Date : 2006-08-29 DOI: 10.1109/TAIC-PART.2006.15

Keqin Li, Roland Groz, Muzammil Shahbaz

引用次数: 34