By Topic

2006 Sixth International Conference on Quality Software (QSIC'06)

Date 27-28 Oct. 2006

Filter Results

Displaying Results 1 - 25 of 68
  • Sixth International Conference on Quality Software [Cover]

    Publication Year: 2006, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (203 KB)
    Freely Available from IEEE
  • Sixth International Conference on Quality Software-Title

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

    Publication Year: 2006, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (45 KB)
    Freely Available from IEEE
  • Sixth International Conference on Quality Software - TOC

    Publication Year: 2006, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (59 KB)
    Freely Available from IEEE
  • Message from the General Chair

    Publication Year: 2006, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (27 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Program Committee Chair

    Publication Year: 2006, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (28 KB) | HTML iconHTML
    Freely Available from IEEE
  • QSIC 2006 Conference Committees

    Publication Year: 2006, Page(s):xiii - xv
    Request permission for commercial reuse | PDF file iconPDF (37 KB)
    Freely Available from IEEE
  • ISEAT 2006 Workshop Committees

    Publication Year: 2006, Page(s):xvi - xvii
    Request permission for commercial reuse | PDF file iconPDF (36 KB)
    Freely Available from IEEE
  • Do we really have provable Best Practices that ensure Software Quality?

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

    In 1999 the International Federation for Information Processing (IFIP) released a document entitled "Harmonization of Professional Standards" which had been developed by a small working group within the Technical Committee for Education (IFIP TC3). The purpose of the document was to set out what could become an international standard for professional practice in Information Technology. The IFIP Ha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Software Engineering: a Rigorous Architectural Approach

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

    The engineering of distributed software is a complex task which requires a rigorous approach. Software architectural (structural) concepts and principles are highly beneficial in specifying, designing, analysing, constructing and evolving distributed software. A rigorous architectural approach dictates formalisms and techniques that are compositional, components that are context independent and sy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Government R&D Programs on Software Technology

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

    Summary form only given. In China, new organizational management has been structured in the R&D programs to support domestic software development during the new 11 th national five-year plan. A key national program is being launched jointly by a number of government agencies headed by the Ministry of Science and Technology. Areas include key electronic components, chipsets and infrastructure s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Helping End-User Programmers "Engineer' Dependable Software

    Publication Year: 2006, Page(s): 11
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB) | HTML iconHTML

    Summary form only given. Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic Web p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples

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

    During the construction of a software metric model, incomplete data often appear in the data sample used for the construction. Moreover, the decision on whether a particular predictor metric should be included is most likely based on an intuitive or experience-based assumption that the predictor metric has an impact on the target metric with a statistical significance. However, this assumption is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Event-Driven Adaptive Differentiated Service Web Container Architecture

    Publication Year: 2006, Page(s):22 - 29
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB) | HTML iconHTML

    Web container conforming to J2EE specification is adopted by more and more Web servers to provide dynamic content services for Internet-based applications. Web applications with complex business require Web container to provide differentiated services for requests from different clients according to role or payment, etc. However, most traditional Web containers still adopt the best-effort service ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-Relational Database Metrics Formalization

    Publication Year: 2006, Page(s):30 - 37
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (561 KB) | HTML iconHTML

    In this paper the formalization of a set of metrics for assessing the complexity of ORBDs is presented. An ontology for the SQL:2003 standard was produced, as a framework for representing the SQL schema definitions. It was represented using UML. The metrics were defined with OCL, upon the SQL:2003 ontology View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control-Flow Analysis and Representation for Aspect-Oriented Programs

    Publication Year: 2006, Page(s):38 - 48
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB) | HTML iconHTML

    Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, focused primarily on problem analysis, language design, and implementation. Even though the importance of program comprehension and software maintenance is known, it has received little attention in the aspect-oriented para... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating Invariant Verification of Behavioral Specifications

    Publication Year: 2006, Page(s):49 - 56
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (200 KB) | HTML iconHTML

    We describe a method of automating invariant verification of behavioral specifications, which are algebraic specifications of abstract machines. The proposed method is based on fixed-point computation, which is one of the standard techniques for automatic (invariant) verification. One notable feature of the proposed method is to find and use as lemmas state predicates whose invariant proofs may (e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Method for Realizing Software Architecture Design

    Publication Year: 2006, Page(s):57 - 64
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (346 KB) | HTML iconHTML

    A software architecture design provides a high-level abstraction of system topology, functionality, and/or behavior; which provides the basis for early system understanding and analysis as well as the foundation for subsequent detailed design and implementation. However, research on software architecture in the past decade primarily focused on architecture description languages and their analysis ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correctness-preserving synthesis for real-time control software

    Publication Year: 2006, Page(s):65 - 73
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (339 KB) | HTML iconHTML

    Formal theories for real-time systems (such as timed process algebra, timed automata and timed Petri nets) have gained great success in the modelling of concurrent timing behavior and in the analysis of real-time properties. However, due to the ineliminable timing differences between a model and its realization, synthesising a software realization from a model in a correctness-preserving way is st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Asynchronous Semantics and Anti-patterns for Interacting Web Services

    Publication Year: 2006, Page(s):74 - 84
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (318 KB) | HTML iconHTML

    Web service is an emerging paradigm for distributed computing. First, in order to verify Web services rigorously, it is important to provide a formal semantics for the flow-based Web service language (WS). A suitable formal model should cover most features of the WS. The existing formal models either abstract from data, cover a simple subset of WS, or omit the interactions between certain componen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Random Testing of Image Processing Applications

    Publication Year: 2006, Page(s):85 - 92
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (151 KB) | HTML iconHTML

    Testing image processing applications is a non-trivial task. Complex inputs have to be generated and complex test results have to be evaluated. In the present paper, models for random generation of images are proposed and compared. The study for their comparison uses mutants of one particular implementation of an image processing operator, namely an implementation of the Euclidean distance transfo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Design of Dependency Relationships Matrix to improve the testability of Component-based Software

    Publication Year: 2006, Page(s):93 - 98
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (213 KB) | HTML iconHTML

    Component-based software development technique and its intensive use in the industry has led to the wide research in various aspects of component-based systems (CBSs). Its relating quality assurance techniques had become the key research content. This paper summarizes eight types of dependency between two components in the CBSs. And it discusses about a dependency-based representation called the c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving Coverage in Functional Testing

    Publication Year: 2006, Page(s):99 - 106
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB) | HTML iconHTML

    Input-predicate/output (IP/O)n-chains coverage criterion, originally proposed for black-box testing of telecommunications software, is adapted to white-box testing of programs written in block-structured languages. This criterion is based on the analysis of the effects of inputs on predicates and outputs in a program. It requires that each such effect in a program is examined at least o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Test Data Generation Tool for Unit Testing of C Programs

    Publication Year: 2006, Page(s):107 - 116
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (129 KB) | HTML iconHTML

    This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It simulates pointer operations precisely. This makes it capable of generating test data for programs involving pointer and structure operations. Experiments on real-world programs including the GNU coreutils... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Co-evolution of i* Models and 3APL Agents

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

    Agent-oriented conceptual modelling (AOCM), as exemplified by the i* notation (Yu, 1995), represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organisational contexts, stakeholder intentions and rationale. Our objective in this paper is to define means for executing i* models by translating these into set of interacting agents impleme... View full abstract»

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