By Topic

Automation of Software Test, 2009. AST '09. ICSE Workshop on

Date 18-19 May 2009

Filter Results

Displaying Results 1 - 25 of 31
  • [USB label]

    Publication Year: 2009, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (13 KB)
    Freely Available from IEEE
  • Welcome

    Publication Year: 2009, Page(s): ii
    Request permission for commercial reuse | PDF file iconPDF (156 KB)
    Freely Available from IEEE
  • Hub page

    Publication Year: 2009, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (123 KB)
    Freely Available from IEEE
  • Session list

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

    Publication Year: 2009, Page(s):v - vii
    Request permission for commercial reuse | PDF file iconPDF (39 KB)
    Freely Available from IEEE
  • Brief author index

    Publication Year: 2009, Page(s):viii - ix
    Request permission for commercial reuse | PDF file iconPDF (21 KB)
    Freely Available from IEEE
  • Detailed author index

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

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

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

    Publication Year: 2009, Page(s): xx
    Request permission for commercial reuse | PDF file iconPDF (61 KB)
    Freely Available from IEEE
  • Porantim: An approach to support the combination and selection of Model-based Testing techniques

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

    The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of res... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an automated testing framework to manage variability using the UML Testing Profile

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

    This paper proposes an extension to the UML testing profile to manage variability in testing artifacts for software product lines. The proposed extension has two main points: (i) Defining an extended architecture for the UML testing profile to deal with variability in the test models, and (ii) Defining the behavior to include variation points in the SPL. To this aim, this work focuses on the test ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiments on the test case length in specification based test case generation

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

    Many different techniques have been proposed to address the problem of automated test case generation, varying in a range of properties and resulting in very different test cases. In this paper we investigate the effects of the test case length on resulting test suites: Intuitively, longer test cases should serve to find more difficult faults but will reduce the number of test cases necessary to a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimental study of methods for executing test suites in memory constrained environments

    Publication Year: 2009, Page(s):27 - 35
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB) | HTML iconHTML

    Software for memory constrained mobile devices is often implemented in the Java programming language because the Java compiler and virtual machine (JVM) provide enhanced safety, portability, and the potential for run-time optimization. However, testing time may increase substantially when memory is limited and the JVM employs a compiler to create native code bodies. This paper furnishes an empiric... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated test program generation for an industrial optimizing compiler

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

    This paper presents joint research and practice on automated test program generation for an industrial compiler, UniPhier, by Matsushita Electric Industrial Co., Ltd. (MEI) and Institute of Software, Chinese Academy of Sciences (ISCAS) since Sept. 2002. To meet the test requirements of MEI's engineers, we proposed an automated approach to produce test programs for UniPhier, and as a result we deve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The automated generation of test cases using an extended domain based reliability model

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

    We present a new approach for the automated generation of test cases to be used for demonstrating the reliability of large industrial mission-critical systems. In this paper we extend earlier work by adding failure tracking and transient Markov chain analysis. Results from the transient Markov chain analysis are used to estimate the software reliability at a given system execution time. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model based functional testing using pattern directed filmstrips

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

    Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and pre-/post-conditions must be precisely defined. UML provides the Object Constraint Language (OCL) for this purpose; however OCL expressions can become very complex. This paper describes an approach that allows many common... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Security test generation using threat trees

    Publication Year: 2009, Page(s):62 - 69
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (293 KB) | HTML iconHTML

    Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing techniques have been developed. Most of these techniques, however, have focused on testing software systems after their implementation is completed. To build secure and dependable software systems in a cost-effective way, h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating structural testing of C programs: Experience with PathCrawler

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

    Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used to automate this activity, and several evaluation criteria of automatic test generation tools for C programs. These criteria correspond to the issues identified during our ongoing experience in the development of PathCrawl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lazy symbolic evaluation and its path constraints solution

    Publication Year: 2009, Page(s):79 - 87
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB) | HTML iconHTML

    Some program structures in modern programming languages can not be reasoned about symbolically. Lazy symbolic evaluation as proposed in this paper introduces a lazy evaluation strategy into traditional symbolic execution in order to address the issue. Constraint variables in path constraints generated by lazy symbolic evaluation may be input or intermediate variables. To eliminate the latter, conc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test generation strategies to measure worst-case execution time

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

    Under certain conditions, the worst-case execution time (WCET) of a function can be found by measuring the effective execution time for each feasible execution path. Automatic generation of test inputs can help make this approach more feasible. To reduce the number of tests, we define two partial orders on the execution paths of the program under test. Under further conditions, these partial order... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated functional testing of search engine

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

    This paper describes the construction of an automated test framework for search engine and reports our current practice in establishing a process for test automation. The paper presents the technical solutions that overcome the difficulties in search engine testing, which involve large volume of data, complicated ranking rules and randomization in ordering search results. One reason that many test... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated testing of a converged conferencing application

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

    In this paper, we describe our experience with automated testing of a mission-critical internal Voice-over-IP (VoIP) conferencing application which presents a web interface as well as a voice interface. We document the challenges that we had to overcome when testing this application and then present our solution using open source testing tools. The lessons learned from this experience may be appli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a practical and effective method for Web services test case generation

    Publication Year: 2009, Page(s):106 - 114
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (522 KB) | HTML iconHTML

    This paper proposes a method for Web services test case generation, which is centered on a practical test data generation framework that has higher probability to penetrate the service implementation logic. This presented framework leverages both the information contained in the WSDL/XSD files and the information provided by testers as well as enables testers to customize the fields to be tested, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Calculating BPEL test coverage through instrumentation

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

    Assessing the quality of tests for BPEL processes is a difficult task in projects following SOA principles. Since insufficient testing can lead to unforeseen defects that can be extremely costly in complex and mission critical environments, this problem needs to be addressed. By using formally defined test metrics that can be evaluated automatically by using an extension to the BPELUnit testing fr... View full abstract»

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