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

MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner 矩阵:面向维护的测试需求标识符和审查员

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

Taweesup Apiwattanapong, Raúl A. Santelices, Pavan Kumar Chittimalli, A. Orso, M. J. Harrold

{"title":"MATRIX: Maintenance-Oriented Testing Requirements Identifier and Examiner","authors":"Taweesup Apiwattanapong, Raúl A. Santelices, Pavan Kumar Chittimalli, A. Orso, M. J. Harrold","doi":"10.1109/TAIC-PART.2006.18","DOIUrl":"https://doi.org/10.1109/TAIC-PART.2006.18","url":null,"abstract":"This paper presents a new test-suite augmentation technique for use in regression testing of software. Our technique combines dependence analysis and symbolic evaluation and uses information about the changes between two versions of a program to (1) identify parts of the program affected by the changes, (2) compute the conditions under which the effects of the changes are propagated to such parts, and (3) create a set of testing requirements based on the computed information. Testers can use these requirements to assess the effectiveness of the regression testing performed so far and to guide the selection of new test cases. The paper also presents MATRIX, a tool that partially implements our technique, and its integration into a regression-testing environment. Finally, the paper presents a preliminary empirical study performed on two small programs. The study provides initial evidence of both the effectiveness of our technique and the shortcomings of previous techniques in assessing the adequacy of a test suite with respect to exercising the effect of program changes","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"100 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":"116881228","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}

引用次数: 58

Using Program Data-State Diversity in Test Data Search 在测试数据搜索中应用程序数据状态多样性

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

M. Alshraideh, L. Bottaci

{"title":"Using Program Data-State Diversity in Test Data Search","authors":"M. Alshraideh, L. Bottaci","doi":"10.1109/TAIC-PART.2006.37","DOIUrl":"https://doi.org/10.1109/TAIC-PART.2006.37","url":null,"abstract":"Search-based automatic software test data generation for structural testing depends on the instrumentation of the test goal to construct a many-valued function which is then optimised. The method encounters difficulty when the search is in a region in which the function is not able to discriminate between different candidate test cases because it returns a constant value. A typical example of this problem arises in the instrumentation of branch predicates that depend on the value of a Boolean-valued (flag) variable. Existing transformation techniques can solve many cases of the problem but there are situations for which transformation techniques are inadequate. This paper presents a technique for directing the search when the function that instruments the test goal is not able to discriminate candidate test inputs. The new technique depends on introducing program data-state diversity as an additional search goal. The search is guided by a new evaluation (cost) function made up of two parts, one depends on the conventional instrumentation of the test goal, the other depends on the diversity of the data-states produced during execution of the program under test. The method is demonstrated for a number of example programs for which existing methods are inadequate","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"10 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":"117338387","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

Incremental Inference of Black-Box Components to Support Integration Testing 支持集成测试的黑盒组件增量推理

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

Muzammil Shahbaz

引用次数: 3

An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical Applications 构建嵌入式生物医学应用的XP启发的面向测试的生命周期生产策略

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

James Miller, Michael R. Smith, Steven Daeninck, Jingwen Chen, Juan Qiao, Fang Huang, Andrew K. C. Kwan, M. Roper

{"title":"An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical Applications","authors":"James Miller, Michael R. Smith, Steven Daeninck, Jingwen Chen, Juan Qiao, Fang Huang, Andrew K. C. Kwan, M. Roper","doi":"10.1109/TAIC-PART.2006.2","DOIUrl":"https://doi.org/10.1109/TAIC-PART.2006.2","url":null,"abstract":"The construction of embedded biomedical applications is an under explored topic. The status quo is for practitioners to utilize a production process which possesses no specific focus; meanwhile, the marketplace requires highly demanding characteristics from these products. The principal requirement is that most of these products need to be effectively defect free. This demands that the production process be directed towards this objective; and hence the focus of this paper is our initial attempts at designing and implementing such a process. Our new process is developed around transforming a subset of extreme programming from the world of desktop applications into a methodology for this new domain. The paper also discusses our experiences in developing test frameworks to support the domain and our objectives. Finally, the paper provides some pointers on our future plans for tackling the many unresolved issues that still exist in attempting to fully realize and support this new development process","PeriodicalId":441264,"journal":{"name":"Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06)","volume":"77 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":"121193791","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}

引用次数: 4

Enabling Run-Time System Verification through Built-In Testing 通过内置测试启用运行时系统验证

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

D. Brenner

引用次数: 1

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