By Topic

Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings

Date 29-31 Aug. 2006

Filter Results

Displaying Results 1 - 25 of 37
  • Testing: Academic and Industrial Conference - Practice And Research Techniques - Cover

    Publication Year: 2006, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (109 KB)
    Freely Available from IEEE
  • Testing: Academic and Industrial Conference - Practice And Research Techniques - Title

    Publication Year: 2006, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (94 KB)
    Freely Available from IEEE
  • Testing: Academic and Industrial Conference - Practice And Research Techniques - Copyright

    Publication Year: 2006, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (96 KB)
    Freely Available from IEEE
  • Testing: Academic and Industrial Conference - Practice And Research Techniques - TOC

    Publication Year: 2006, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (90 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2006, Page(s):viii - ix
    Request permission for commercial reuse | PDF file iconPDF (66 KB) | HTML iconHTML
    Freely Available from IEEE
  • TAIC PART Organization

    Publication Year: 2006, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • TAIC PART Sponsors

    Publication Year: 2006, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • TAIC PART Collaborators

    Publication Year: 2006, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2006, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (93 KB)
    Freely Available from IEEE
  • TAIC PART Program

    Publication Year: 2006, Page(s):xii - xv
    Request permission for commercial reuse | PDF file iconPDF (111 KB) | HTML iconHTML
    Freely Available from IEEE
  • Keynotes

    Publication Year: 2006, Page(s):xvi - xvii
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (74 KB) | HTML iconHTML

    Provides an abstract for each of the keynote presentations and a brief professional biography of each presenter. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bogor: A Flexible Framework for Creating Software Model Checkers

    Publication Year: 2006, Page(s):3 - 22
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1212 KB) | HTML iconHTML

    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 rece... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Justifying Software Testing in the 21st Century

    Publication Year: 2006, Page(s):23 - 28
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (138 KB) | HTML iconHTML

    The role of testing as a software verification activity was directly challenged at a recent practitioners' conference. The speaker's points were that testing cannot usefully demonstrate software dependability, that it is over-costly, and that there is a case to be made for omitting it from the (high-integrity) software development process altogether. This paper attempts to contrast verification te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating a Test Strategy with Bayesian Networks and Common Sense

    Publication Year: 2006, Page(s):29 - 40
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB) | HTML iconHTML

    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, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Automation of Software Fault Prediction

    Publication Year: 2006, Page(s):41 - 48
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (154 KB) | HTML iconHTML

    This paper discusses the issues involved in building a practical automated tool to predict the incidence of software faults in future releases of a large software system. The possibility of creating such a tool is based on the authors' experience in analyzing the fault history of several large industrial software projects, and constructing statistical models that are capable of accurately predicti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Identifying State Transitions and their Functions in Source Code

    Publication Year: 2006, Page(s):49 - 58
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (365 KB) | HTML iconHTML

    Finite state machine specifications form the basis for a number of rigorous state-based testing techniques and can help to understand program behaviour. Unfortunately they are rarely maintained during software development, which means that these benefits can rarely be fully exploited. This paper describes a technique that, given a set of states that are of interest to a developer, uses symbolic ex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration Testing of Components Guided by Incremental State Machine Learning

    Publication Year: 2006, Page(s):59 - 70
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB) | HTML iconHTML

    The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When components come from third party sources, their internal structure is usually unknown and the documentation is insufficient. Therefore, the system integrator faces the problem of providing a required system assembling COTS whos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Incremental Inference of Black-Box Components to Support Integration Testing

    Publication Year: 2006, Page(s):71 - 74
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB) | HTML iconHTML

    Model based testing relies on the availability of formal models that are indispensable in analyzing the complete system's behavior and testing of the key functionalities. On the other hand, the system designers of the industry are mostly relying on the integration of readymade software components (COTS) to build complex applications e.g. telecom services. Unfortunately, they are not provided with ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AutoAbstract: Problem Statement and Hypothetical Solutions

    Publication Year: 2006, Page(s):75 - 80
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (135 KB) | HTML iconHTML

    Automated abstraction of code into state-based specification and test generation (AutoAbstract) is a project funded by EPSRC. The aim of the project is to devise methods and a tool to abstract out specifications from the code using some hints from the developer. These specifications will be in the form of X-machines. It is assumed that these hints are available in the form of incomplete specificat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach

    Publication Year: 2006, Page(s):81 - 89
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (255 KB) | HTML iconHTML

    Model-based testing, automating the generation of test cases is technically superior to conventional scripted testing. However, there have been difficulties in deploying the methodology in large scale industrial context. In this paper we present a domain-specific approach to model-based GUI testing that should be easier to adopt than more generic solutions. The method is based on keywords and acti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications

    Publication Year: 2006, Page(s):90 - 94
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (257 KB) | HTML iconHTML

    Comprehensive testing of modern communication systems often requires large and complex test suites which then have to be maintained throughout the system life-cycle. Industrial experience, with those written in the standardised testing and test control notation (TTCN-3), has shown that this maintenance is a non-trivial task and its burden could be reduced if appropriate tool support existed. To th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical Applications

    Publication Year: 2006, Page(s):95 - 106
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (247 KB) | HTML iconHTML

    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 ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Program Data-State Diversity in Test Data Search

    Publication Year: 2006, Page(s):107 - 114
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (223 KB) | HTML iconHTML

    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... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing the Implementation of Business Rules Using Intensional Database Tests

    Publication Year: 2006, Page(s):115 - 126
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (502 KB) | HTML iconHTML

    One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to verify the implementation of any business rule carefully, through thorough testing. However, business rules have some specific features which make testing a particular challenge. They represent a more fine-grained unit o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking

    Publication Year: 2006, Page(s):127 - 130
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (151 KB) | HTML iconHTML

    Testing compositions of Web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing method for compositions of Web services. A formal verification tool (the SPIN model checker) is used to automatically generate test suites for compositions specified in an industry standard language: BPEL. Adequacy criteria... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.