By Topic

Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on

Date 20-25 Sept. 2009

Filter Results

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

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

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

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

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

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

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

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

    Publication Year: 2009, Page(s):xii - xiv
    Request permission for commercial reuse | PDF file iconPDF (85 KB)
    Freely Available from IEEE
  • Reusing Component Test Cases for Integration Testing of Retarding Embedded System Components

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

    The integration of retarding components represents a crucial challenge for reusing component test cases for integration testing. Failing to synchronize both test stimulation and test evaluation easily results in useless test executions missing the actual test objectives. We propose a method for balancing and compensating delays for multi-level test cases. With this approach, reusing component test... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault Models for Neural Hardware

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

    Artificial Neural Networks are inherently fault tolerant. Fault tolerance property of artificial neural networks has been investigated with reference to the hardware model of artificial neural networks. In this paper, we propose a framework for the investigation of fault tolerance properties of a hardware model of artificial neural networks. The result obtained indicates that networks obtained by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Web-Based Application to Verify Open Mobile Alliance Device Management Specifications

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

    In this paper, we describe the implementation of a Web-based application supported by SyncML protocol, which is able to execute management operations in different kind of devices. This application is characterized by a set of management options, in order to test and verify whether specific mobile devices implement Open Mobile Alliance(OMA) specifications. The elements that compose our Web-based ap... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Automated Test Practice Detection and Governance

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

    The selection, monitoring, and adjustment of quality measures are fundamental to software engineering, and testing is a key quality assurance activity. In Small and Medium Enterprises (SMEs), it is often difficult and time consuming to manually ascertain the degree and type of test practice usage and related process compliance, thus such data collection may be omitted. Moreover, any manual data co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SAT-Based On-Line Fault Isolation in Serial Systems

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

    We introduce a method to isolate faults at run-time in an embedded system whose components form a matrix structure. Our method probes a system via test paths a SAT-solver recommends, feeding the SAT-solver with the encodings for test path conditions and the current status of the system. After receiving test results, the SAT-solver recommends another test path suitable for the situation. We can det... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scenario-Based Test Case Generation Using Event-B Models

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

    In this paper we present an extension of the previously reported model-based testing approach that is based on formal models and user-provided testing scenarios. In this approach, the user provides a testing scenario on the level of an abstract model. When the abstract model is refined to add or modify features, the corresponding testing scenarios are automatically refined to incorporate these cha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Open Real Time Test System Approach

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

    In 2008, Eurocopter and EADS Test & Services (T&S) jointly started a first project named EASI (EADS avionic system IDE) in order to demonstrate the benefits for the EADS community of a collaborative development approach using an open architecture for large scale integration test systems. The goal is to obtain a tool or a set of tools able to manage avionic systems containing Eurocopter spe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Is Depth of Inheritance Tree a Good Cost Prediction for Branch Coverage Testing?

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

    Depth of Inheritance Tree (DIT) is supposed to be a factor influencing the cost of testing: test would be more expensive if DIT is large. A question is thus to know whether DIT can be used as a predictive metric to estimate the cost of testing. In this paper, we consider the cost of testing as the number of test cases required to achieve the branch coverage, which is a classical criterion for stru... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving TTCN-3 Test System Robustness Using Software Fault Tolerance

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

    This paper contributes an analysis of possible pitfalls of automated test execution and provides an novel approach for TTCN-3 test system to manage and recover from errors occurred in the system under test (SUT) during test execution. The research problem addressed in this paper is how to facilitate recovery of distributed test system to recover from cascading errors caused by software faults in t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verification and Validation in the Recommended Practice for Integrated Software-Dependent Systems

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

    Det Norske Veritas is a classification society providing standards in the Maritime and Oil&Gas industries. In these industries, Information Technology (IT) usage is increasing rapidly, especially for onboard embedded automation systems, such as propulsion, navigation, steering, power management systems, life support and entertainment systems. The industry needs an increasing level of confidenc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A High-Level Language and Compiler to Configure the Multi-core Debug Solution (MCDS)

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

    With the rise of multi-core system-on-chips (SoC) debug adds new requirements and challenges to the system visibility and control. Complex on-chip trace and debug hardware like Infineon's multi-core debug solution (MCDS) offer the benefit of high degree of observability without affecting the run-time behavior of the system. Highly sophisticated programmable trace qualification capabilities allow t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Security Inspection Scenarios – A Facet of Security

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

    Today's software is often subject to attacks that exploit vulnerabilities. Since in the area of security, vulnerabilities are hard to find, quality assurance needs detailed guidance. Focusing on early quality assurance, we propose Security Inspection Scenarios as reading support for static quality assurance. They provide detailed guidance and clear and comprehensible structuring. As the vulnerabil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Aspect-Oriented Approach for Assertion Verification

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

    Assertions or formal program specifications are fundamental to build more reliable software. One of the most important applications of assertions is found in the design by contract metaphor: pre-conditions, invariants and post-conditions. Current assertion approaches use some software technology that relies on simple mechanisms; however their actual implementation can be both quite complex and ins... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration Test Order Strategies to Consider Test Focus and Simulation Effort

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

    The integration testing process aims at uncovering faults within dependencies between the components of a software system. Due to the lack of resources, it is usually not possible to test all dependencies. Fault prone dependencies have to be selected as test focus. This test focus has to be considered during the stepwise integration of the whole software system. An integration test order strategy ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using the Testability Analysis Methodology for the Validation of AIRBUS Systems

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

    The experiments, carried on AIRBUS systems, show that testability analysis can ease system formal detailed specifications validation activities. Indeed, testability information can highlight testing efforts, guide functional tests definition, facilitate detailed specification coverage analysis against system requirements, and support tests coverage analysis against formal detailed specification. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality of Code Can Be Planned and Automatically Controlled

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

    Quality of code is an important and critical health indicator of any software development project. However, due to the complexity and ambiguousness of calculating this indicator it is rarely used in commercial contracts. As programmers are much more motivated with respect to the delivery of functionality than quality of code beneath it,they often produce low quality code, which leads to post-deliv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stress Testing the Logical Decision Making Server of a Surveillance System

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

    The current generation of distributed and automated physical location surveillance systems faces high demands for robustness and reliability. We present and evaluate the design of the Logical Decision Making Server (LDMS), a rule-based automated decision making component used in the Single Location Surveillance Point (SLSP) system. To validate the robustness of the LDMS design for operation in the... View full abstract»

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