By Topic

2009 Testing: Academic and Industrial Conference - Practice and Research Techniques

4-6 Sept. 2009

Filter Results

Displaying Results 1 - 25 of 39
  • [Front cover]

    Publication Year: 2009, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (243 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2009, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (63 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2009, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (111 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2009, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (119 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2009
    Request permission for commercial reuse | PDF file iconPDF (163 KB)
    Freely Available from IEEE
  • Message from General Chairs

    Publication Year: 2009, Page(s): viii
    Request permission for commercial reuse | PDF file iconPDF (89 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from Program Chairs

    Publication Year: 2009, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (82 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

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

    Publication Year: 2009, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (85 KB)
    Freely Available from IEEE
  • list-reviewer

    Publication Year: 2009, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (92 KB)
    Freely Available from IEEE
  • Keynote addresses

    Publication Year: 2009, Page(s):xiii - xiv
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (91 KB)

    Provides an abstract for each of the keynote presentations and a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Boundary Value Testing Using Integrated Circuit Fault Detection Rule

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

    Boundary value testing is a widely used functional testing approach. This paper presents a new boundary value selection approach by applying fault detection rules for integrated circuits. Empirical studies based on Redundant Strapped-Down Inertial Measurement Unit of the 34 program versions and 426 mutants compare the new approach to the current boundary value testing methods. The results show tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Partial Test Oracle for XML Query Testing

    Publication Year: 2009, Page(s):13 - 20
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (278 KB) | HTML iconHTML

    A partial test oracle is proposed to verify the actual outputs in access testing on XML data. The considered software under test is a query program which receives as input an XML document obtained from an XML repository of any kind, and produces XML data as output. To deal with the actual outputs from this testing process, the partial oracle evaluates the correctness of the test executions accordi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi Objective Higher Order Mutation Testing with Genetic Programming

    Publication Year: 2009, Page(s):21 - 29
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1184 KB) | HTML iconHTML

    In academic empirical studies, mutation testing has been demonstrated to be a powerful technique for fault finding. However, it remains very expensive and the few valuable traditional mutants that resemble real faults are mixed in with many others that denote unrealistic faults.These twin problems of expense and realism have been a significant barrier to industrial uptake of mutation testing. Gene... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection

    Publication Year: 2009, Page(s):33 - 42
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (413 KB) | HTML iconHTML

    Where no independent specification is available, object-oriented unit testing is limited to exercising all interleaved method paths, seeking unexpected failures. A recent trend in unit testing, that interleaves dynamic analysis between each test cycle, has brought useful reductions in test-set sizes by pruning redundant prefix paths. This paper describes a dynamic approach to analyzing the algebra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test Generation with Context Free Grammars and Covering Arrays

    Publication Year: 2009, Page(s):43 - 47
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB) | HTML iconHTML

    Covering arrays and context-free grammars have seen extensive use in software test generation. A covering-array algorithm takes a list of domains and generates a subset of the cartesian product of the domains. A grammar-based test generation (GBTG) algorithm takes a grammar G and generates a subset of the language accepted by G. Covering arrays and GBTG are usually applied independently. We show t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Runtime Integration and Testing for Highly Dynamic Service Oriented ICT Solutions -- An Industry Challenges Report

    Publication Year: 2009, Page(s):51 - 55
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (171 KB) | HTML iconHTML

    Modern Information and Communications Technology (ICT) solutions are often widely distributed and highly dynamic service oriented architectures (SOA) with stringent availability requirements. Availability implies that SOA must be reconfigured, updated and maintained during runtime, while retaining their overall operational integrity. This requires that much of the adaptation, integration, configur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Integration Testing of Enterprise Services

    Publication Year: 2009, Page(s):56 - 60
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (337 KB) | HTML iconHTML

    The success of service-oriented architectures (SOA) depends on faultless and seamless service integration. Formal modeling of global communication protocols between services enables a model-based integration testing (MBIT) approach. In this paper we present an MBIT approach based on SAP proprietary choreography models called message choreography models (MCM). We explain how MBIT fits into the SAP ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automation of Model-Based Testing through Model Transformations

    Publication Year: 2009, Page(s):63 - 71
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (362 KB) | HTML iconHTML

    Traditionally, model transformations are done for purposes such as code generation, refinement, refactoring, etc.During these processes, either the model of a system or the actual code is used. In this study, we perform model transformation for testing purposes and the artifact used in this process is the test case model. To explain our approach better,we present a multi-platform model-based testi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

    Publication Year: 2009, Page(s):72 - 81
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB) | HTML iconHTML

    Test case generation can be represented as a model checking problem, such that model checking tools automatically generate test cases. This has previously been applied to testing techniques such as coverage criteria, combinatorial testing, mutation testing, or requirements testing, and further criteria can be used similarly. However, little comparison between the existing techniques has been done ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model Based Testing of End-to-End Chains Using Domain Specific Languages

    Publication Year: 2009, Page(s):82 - 91
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB) | HTML iconHTML

    In this paper, the author explains a new approach of model based end-to-end chain testing using scenarios with original and simulated equipment. The first goal is to automatically derive test data and test cases from the model, which is defined by a domain specific language. Several solvers can be attached to the conversion to quickly create a wide variety of stimuli for the system(s) under test. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?

    Publication Year: 2009, Page(s):95 - 104
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (453 KB) | HTML iconHTML

    Whilst there is much evidence that both concolic and search based testing can outperform random testing, there has been little work demonstrating the effectiveness of either technique with complete real world software applications. As a consequence, many researchers have doubts not only about the scalability of both approaches but also their applicability to production code. This paper performs an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Grammar Based Testing of HTML Injection Vulnerabilities in RSS Feeds

    Publication Year: 2009, Page(s):105 - 110
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (165 KB) | HTML iconHTML

    Grammar based test generation (GBTG) has seen extensive study and considerable practical use since the 1970s. GBTG was introduced to generate source code for testing compilers from context-free grammars specifying language syntax. More recently, GBTG has been applied to many other testing problems, including the generation of eXtensible Markup Language (XML) documents. Recent research has shown ho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test Patterns for Verilog Design Error Localization

    Publication Year: 2009, Page(s):111 - 120
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (317 KB) | HTML iconHTML

    In this article we briefly state the idea behind model-based diagnosis and its application to debugging RTL (Register Transfer Level) Verilog designs. In providing a debugging model for the Verilog HDL (Hardware Description Language) we rely on a specific abstraction (trace semantics) that captures solely quiescent states of the design. In this vein we manage to overcome the inherent complexity is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Methodology for Model-Based Regression Testing of Web Services

    Publication Year: 2009, Page(s):123 - 124
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB) | HTML iconHTML

    Web services and their underlying systems grow over time and need to be retested whenever there is a change, to verify that the quality has not regressed. Testing requires time and effort. If we have modified only a small part of the system, it should be possible to reuse existing tests provided that the impact of the changes made can be isolated. This paper proposes a model-based approach to this... View full abstract»

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