By Topic

Fifth International Conference on Quality Software (QSIC'05)

19-20 Sept. 2005

Filter Results

Displaying Results 1 - 25 of 72
  • Proceedings. Fifth International Conference on Quality Software (QSIC 2005)

    Publication Year: 2005
    Request permission for commercial reuse | PDF file iconPDF (212 KB)
    Freely Available from IEEE
  • Fifth International Conference on Quality Software - Title Page

    Publication Year: 2005, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (34 KB)
    Freely Available from IEEE
  • Fifth International Conference on Quality Software - Copyright

    Publication Year: 2005, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (45 KB)
    Freely Available from IEEE
  • Fifth International Conference on Quality Software - Table of contents

    Publication Year: 2005, Page(s):v - ix
    Request permission for commercial reuse | PDF file iconPDF (62 KB)
    Freely Available from IEEE
  • Message from the Steering Committee Chair

    Publication Year: 2005, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (33 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Program Committee Co-Chairs

    Publication Year: 2005, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (37 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conference Committees

    Publication Year: 2005, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Additional reviewers

    Publication Year: 2005, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (27 KB)
    Freely Available from IEEE
  • Workshop Committees

    Publication Year: 2005, Page(s): xvi
    Request permission for commercial reuse | PDF file iconPDF (52 KB)
    Freely Available from IEEE
  • Keynote speech

    Publication Year: 2005, Page(s): xx
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (23 KB)

    Provides an abstract of the keynote presentation and a brief professional biography of the presenter. The complete presentation was 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.
  • Model-based testing of concurrent programs with predicate sequencing constraints

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

    A predicate sequencing constraint logic (PSCL) is proposed to represent test purpose for testing of concurrent programs. The advantage of PSCL rests in its capability of expressing not only sequencing relationships among I/O events, but also data dependencies between event parameters. A PSCL-based symbolic test case generation method is also proposed to automatically derive symbolic test cases tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test order for class-based integration testing of Java applications

    Publication Year: 2005, Page(s):11 - 18
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB) | HTML iconHTML

    This paper presents an improvement to existing class test ordering strategies by including coupling measures to reduce non-determinism and decrease the number of stubs to be produced. Our novel strategy aims to lift the known methods from class hierarchies to component-based product lines in which so-called connectors between components are key entities for structuring, assembling and integrating ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the test case definition for GUI testing

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

    GUI testing is an area of growing importance, facing a number of severe challenges. A few methods have been proposed for GUI testing. However it is still not clear how to define GUI test cases and how many actions should be comprised of a GUI test case. In this paper we propose an approach that defines GUI test cases as a sequence of primitive GUI actions and treats GUI test suites as an inner hie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Peer reviews in real life - motivators and demotivators

    Publication Year: 2005, Page(s):29 - 36
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB) | HTML iconHTML

    Peer reviews are an efficient quality assurance method in software development. Several reviewing methods exist to match the needs of different organizations and situations. Still, peer reviews are not practiced as commonly as one would suppose. This study aims at finding out what types of reviewing methods are in use in software companies, surveying the most important benefits of peer reviews and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards the UML evaluation using taxonomic patterns on meta-classes

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

    In order to evaluate the design quality of the UML, understanding meta-classes is a key activity as they are the primary weapons by which the UML specifies the application domains. The paper introduces taxonomic patterns for clustering the UML meta-classes based on the observation of their evolution and fitness. The result sets of the patterns assist in finding the evidence of the concerns about t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A preliminary evaluation of software inspection tools, with the DESMET method

    Publication Year: 2005, Page(s):45 - 52
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB) | HTML iconHTML

    Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, and thus tool support for inspection has evolved. In parallel, generic document-processing tools such as Microsoft Word and Adobe Acrobat have developed support for features that can be utilized in inspections. This study... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Identification of categories and choices in activity diagrams

    Publication Year: 2005, Page(s):55 - 63
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (272 KB) | HTML iconHTML

    The choice relation framework (CHOC'LATE) provides a systematic skeleton for constructing test cases from specifications. An early stage of the framework is to identify a set of categories and choices from the specification, which is not a trivial task when this document is largely informal and complex. Despite the difficulty, the identification task is very important because the quality of the id... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test case generation by OCL mutation and constraint solving

    Publication Year: 2005, Page(s):64 - 71
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB) | HTML iconHTML

    Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a method of fault-based test case generation for pre- and postcondition specifications. Here, errors are anticipated on the specification level by mutating the pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation

    Publication Year: 2005, Page(s):72 - 79
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB) | HTML iconHTML

    We report on a framework for model composition, exploration, and conformance testing based on symbolic execution. The foundations of this framework are given by so-called action machines, a variation of labeled transition systems which communicate over synchronously stepped actions and constraints attached to them. The implementation is based on XRT, an exploration engine for .NET CIL code which s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cost and response time simulation for Web-based applications on mobile channels

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

    When considering the addition of a mobile presentation channel to an existing Web-based application, a key question that has to be answered even before development begins is how the mobile channel's characteristics will impact the user experience and the cost of using the application. If either of these factors is outside acceptable limits, economical considerations may forbid adding the channels,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality assurance in the design of Web information systems

    Publication Year: 2005, Page(s):91 - 98
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB) | HTML iconHTML

    Despite the fact that several integrated development methods for Web information systems (WISs) have been proposed, quality assurance for such systems has hardly been addressed. In this paper some quality criteria are postulated and investigated by combining semi-formal and formal methods. On a high level of abstractions WISs can be described by abstract locations and transitions between them. The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stochastic voting algorithms for Web services group testing

    Publication Year: 2005, Page(s):99 - 106
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB) | HTML iconHTML

    This paper proposes a stochastic voting for testing a large number of Web services (WS) under group testing. In the future, a large number of WS would be available and they need to be tested and evaluated in real time. While numerous test input generation techniques are available to generate test inputs, the oracle or the expected output of these test input is often difficult to obtain. One way to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verification of C programs using slicing execution

    Publication Year: 2005, Page(s):109 - 116
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB) | HTML iconHTML

    The paper presents a novel method, namely slicing execution, to verify C programs with respect to temporal safety properties. The distinguished feature is that it only simulates the execution of the relevant statements under abstraction criteria and checks the properties on the fly. The abstraction criterion begins with a proper initial set of program variables and may be iteratively refined accor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic generation of analyzable failure propagation models from component-level failure annotations

    Publication Year: 2005, Page(s):117 - 123
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB) | HTML iconHTML

    Model-driven and component-based software engineering methodologies are currently key factors for the successful construction of complex software systems. To effectively apply these methodologies to mission- and safety-critical systems, component-based models should also support hazard analysis techniques and enable the automatic construction of safety cases. This paper outlines a technique, which... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal fault tree analysis of state transition systems

    Publication Year: 2005, Page(s):124 - 131
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB) | HTML iconHTML

    Fault tree analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitions between states, and it is difficult to decompose complex system fault events that are composed of multiple normal components' states rather than individual component failures. To solve these problems, we first propose ... View full abstract»

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