Scheduled Maintenance on August 31st, 2016:
IEEE Xplore will undergo system maintenance from 1:00 - 3:00 PM EDT. During this time there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

Automation of Software Test , 2007. AST '07. Second International Workshop on

Date 20-26 May 2007

Filter Results

Displaying Results 1 - 15 of 15
  • Second International Workshop on Automation of Software Test - Cover

    Publication Year: 2007, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (161 KB)
    Freely Available from IEEE
  • Second International Workshop on Automation of Software Test - Table of contents

    Publication Year: 2007, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (113 KB)
    Freely Available from IEEE
  • Program Co-Chairs Message

    Publication Year: 2007, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (123 KB) | HTML iconHTML
    Freely Available from IEEE
  • Automated Test Data Generation using Search Based Software Engineering

    Publication Year: 2007, Page(s): 2
    Cited by:  Papers (10)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (121 KB) | HTML iconHTML

    Generating test data is a demanding process. Without automation, the process is slow, expensive and error-prone. However, techniques to automate test data generation must cater for a bewildering variety of functional and non-functional test adequacy criteria and must either implicitly or explicitly solve problems involving state propagation and constraint satisfaction. This talk will show how opti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Generation of Test Cases Using Model-Driven Architecture

    Publication Year: 2007, Page(s): 3
    Cited by:  Papers (17)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (263 KB) | HTML iconHTML

    In this paper, we demonstrate a method that uses the model transformation technology of MDA to generate unit test cases from a platform-independent model of the system. The method we propose is based on sequence diagrams. First we model the sequence diagram and then this model is automatically transformed into a general unit test case model (an xUnit model which is independent of a particular unit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Test Data Generation for XML Schema-based Partition Testing

    Publication Year: 2007, Page(s): 4
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (249 KB) | HTML iconHTML

    We present the XML-based partition testing (XPT) approach for the automatic generation of XML instances from a XML schema. The approach is inspired by the well-known category partition method for black-box testing. The generated instances can be used for inter-operability testing of applications that expect in input conforming XML instances, as well as for other interesting purposes, such as datab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a Framework for Differential Unit Testing of Object-Oriented Programs

    Publication Year: 2007, Page(s): 5
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (149 KB) | HTML iconHTML

    Software developers often face the task of determining how the behaviors of one version of a program unit differ from (or are the same as) the behaviors of a (slightly) different version of the same program unit. In such situations, developers would like to generate tests that exhibit the behavioral differences between the two versions, if any differences exist. We call this type of testing differ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Improved Approach to Passive Testing of FSM-based Systems

    Publication Year: 2007, Page(s): 6
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB) | HTML iconHTML

    Fault detection is a fundamental part of passive testing which determines whether a system under test (SUT) is faulty by observing the input/output behavior of the SUT without interfering its normal operations. In this paper, we propose a new approach to finite state machine (FSM)-based passive fault detection which improves the performance of the approach in [4] and gathers more information durin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coverage-Based Testing on Embedded Systems

    Publication Year: 2007, Page(s): 7
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (282 KB) | HTML iconHTML

    One major issue of code coverage testing is the overhead imposed by program instrumentation, which inserts probes into the program to monitor its execution. In real-time systems, the overhead may alter the program execution behavior or impact its performance due to its strict requirement on timing. Coverage testing is even harder on embedded systems because of their critical and limited memory and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices

    Publication Year: 2007, Page(s): 8
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (452 KB) | HTML iconHTML

    With the development of mobile computing and pervasive computing, smart mobile devices such as PDAs or smart-phones are gradually becoming an indispensable part of our daily life. However, as the software running on these devices becomes more and more powerful and complex, the testing of these mobile applications poses great challenges for mobile application vendors and phone manufacturers. In thi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating Embedded Software Testing on an Emulated Target Board

    Publication Year: 2007, Page(s): 9
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1199 KB) | HTML iconHTML

    An embedded system consists of heterogeneous layers including hardware, HAL (hardware abstraction layer), OS kernel and application layer. Interactions between these layers are the software interfaces to be tested in an embedded system. The identified interfaces are important criterion that selects test cases and monitors the test results in order to detect faults and trace their causes. In this p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing Dynamic Adaptation in Distributed Systems

    Publication Year: 2007, Page(s): 10
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (194 KB) | HTML iconHTML

    Many software systems undergo dynamic adaptation in response to change in requirements or frequent changes in their usage context. Before adaptation, the system satisfies the behavior of the old program (i.e., program before adaptation), and after adaptation the system satisfies the behavior of the new program (i.e., program after adaptation). During adaptation, the behavior of the old program and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Testing of Timeliness : A Case Study

    Publication Year: 2007, Page(s): 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (160 KB) | HTML iconHTML

    A problem with testing timeliness of real-time applications is the response-time dependency on the execution order of concurrent tasks. Conventional test methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to test temporal correctness. Model based mutation testing has been proposed to generate inputs and determine the execution ord... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study

    Publication Year: 2007, Page(s): 12
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (589 KB) | HTML iconHTML

    Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Scade is a commercial tool-suite based on this language. We have proposed recently test coverage criteria for Lustre/Scade programs. The coverage assessment is fully automated and has been integrated in a prototype tool, Lustructu. This tool analyzes Lustre programs an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Random Generation of Test Inputs for Implicitly Defined Subdomains

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

    In traditional random testing, samples are taken from the set of all possible values for the input types. However, for many programs testing effectiveness can be improved by focusing on a relevant subdomain defined implicitly by the program behavior. This paper presents an algorithm for identifying and randomly selecting inputs from implicitly defined subdomains. The algorithm dynamically construc... View full abstract»

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