By Topic

Quality Software, 2003. Proceedings. Third International Conference on

Date 6-7 Nov. 2003

Filter Results

Displaying Results 1 - 25 of 63
  • PRISMA: towards quality, aspect oriented and dynamic software architectures

    Publication Year: 2003, Page(s):59 - 66
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (333 KB) | HTML iconHTML

    The development of software systems must be done using platforms that allow the description of quality, complex, distributed, dynamic and reusable architectural models. We present in this paper PRISMA, an architectural modelling approach based on aspects and components that uses a component definition language (components, connectors and systems) to define architectural types at a high abstraction... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A study of the metrics applied to the software evaluation framework 'SEF'

    Publication Year: 2003, Page(s):52 - 58
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (283 KB) | HTML iconHTML

    The primary objective of this paper was to present a study on the metrics which can be applied to the software evaluation framework. The paper presents the results of a preliminary study, which focuses on the measurements applied to the framework. It provides a description of the metrics used and an analysis of how they compare to each other in the measurement of the software characteristics. This... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Empirical case studies of combining software quality classification models

    Publication Year: 2003, Page(s):40 - 49
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5333 KB) | HTML iconHTML

    The increased reliance on computer systems in the modern world has created a need for engineering reliability control of computer systems to the highest possible standards. This is especially crucial in high-assurance and mission critical systems. Software quality classification models are one of the important tools in achieving high reliability. They can be used to calibrate software metrics-base... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic test allocation model for software reliability

    Publication Year: 2003, Page(s):26 - 31
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (257 KB) | HTML iconHTML

    In any non trivial software system the reliability of the software cannot be determined exactly. Instead, we must apply statistical methods to create an estimate based on a sample of test cases. Our goal is, given a fixed total number of test cases, to determine how to allocate these test cases among the partitions of the software so as to minimize the variance incurred by the maximum likelihood e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data mining and cyber security

    Publication Year: 2003
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (597 KB) | HTML iconHTML

    Data mining is the process of posing queries and extracting patterns, often previously unknown from large quantities of data using pattern matching or other reasoning techniques. Cyber security is the area that deals with protecting from cyber terrorism. Cyber attacks include access control violations, unauthorized intrusions, and denial of service as well as insider threat. The presentation provi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proceedings Third International Conference On Quality Software

    Publication Year: 2003, Page(s): 0_3
    Request permission for commercial reuse | PDF file iconPDF (204 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences in the inspection process characterization techniques

    Publication Year: 2003, Page(s):388 - 395
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (410 KB) | HTML iconHTML

    Implementation of a disciplined engineering approach to software development requires the existence of an adequate supporting measurement & analysis system. Due to demands for increased efficiency and effectiveness of software processes, measurement models need to be created to characterize and describe the various processes usefully. The data derived from these models should then be analyzed quan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mirror adaptive random testing

    Publication Year: 2003, Page(s):4 - 11
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (341 KB) | HTML iconHTML

    Adaptive random testing (ART) has recently been introduced to improve the fault-detection effectiveness of random testing (RT) for certain types of failure-causing patterns. However, ART requires extra computations to ensure an even spread of test cases, which may render ART to be less cost-effective than RT. In this paper, we introduce an innovative approach, namely Mirror Adaptive Random Testing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A neuro-fuzzy model for software cost estimation

    Publication Year: 2003, Page(s):126 - 133
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (314 KB) | HTML iconHTML

    A novel neuro-fuzzy constructive cost model (COCOMO) for software estimation is proposed. The model carries some of the desirable features of the neuro-fuzzy approach, such as learning ability and good interpretability, while maintaining the merits of the COCOMO model. Unlike the standard neural network approach, this model is easily validated by experts and capable of generalization. In addition,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CALDEA: a data quality model based on maturity levels

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

    In these days, most organizations have realised, at last, so important as their software is their data, because it can be considered as an important asset present in all business organizational processes. Our aim is to optimise the data management process (DMP) in order to assure data quality. For this, we have just drawn a framework based on maturity levels - as CMMIs ones -with specific and gene... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experience on using the team software process for implementing the Capability Maturity Model for software in a small organization

    Publication Year: 2003, Page(s):327 - 334
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB) | HTML iconHTML

    We describe our experience on how we used the team software process (TSPSM) as a foundation for implementing a software process improvement (SPI) initiative in a small software development company. The Capability Maturity Model for software (SW-CMMTM) was chosen as the model to follow and the IDEAL model as the organizational improvement model for planning and implementing th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing a reproducible testing environment for distributed Java applications

    Publication Year: 2003, Page(s):402 - 409
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (299 KB) | HTML iconHTML

    Executions with internal nondeterministic choices make the testing procedure non-repeatable. A natural solution is to artificially enforce and direct the execution to take the desired path so that a test can be reproduced. With geographically distributed processes and heterogeneous platform architectures, distributed systems have raised new dimensions of challenges to develop effective techniques ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Debugging with reverse watchpoint

    Publication Year: 2003, Page(s):116 - 123
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB) | HTML iconHTML

    Many programmers have had to deal with an overwritten variable resulting for example from an aliasing problem. The culprit is obviously the last write-access to that memory location before the manifestation of the bug. The usual technique for removing such bugs starts with the debugger by (1) finding the last write and (2) moving the control point of execution back to that time by re-executing the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deriving software statistical testing model from UML model

    Publication Year: 2003, Page(s):343 - 350
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (294 KB) | HTML iconHTML

    Software statistical testing is concerned with testing the entire software systems based on their usage models. In the context of UML-based development, it is desired that usage models can be derived from UML analysis artifacts. This paper presents a method that derives the software usage models from reasonably constrained UML artifacts. The method utilizes use case diagrams, sequence diagrams and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring functional size of interactive software: a support system based on XForms-format user interface specifications

    Publication Year: 2003, Page(s):368 - 373
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (295 KB) | HTML iconHTML

    This study reports a measurement support system, which was developed based on the XForms-format user interface (UI) specifications in order to facilitate the process of measuring the functional size of interactive software. XForms is the next generation of Web forms. As it is capable of describing the purpose and the presentation of the Web form separately, the semantics of user-computer interacti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Status report: practical software measurement

    Publication Year: 2003, Page(s):315 - 320
    Cited by:  Papers (49)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (285 KB) | HTML iconHTML

    This article summarizes the basic concepts of practical software measurement (PSM), explains their relationship to prior work, then describes the status of its transition into practice within the software industry. PSM is rapidly becoming the most popular approach to measurement for process management. It is based on the collective experience of a working group representing universities, industry,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal methods applied to plywood production

    Publication Year: 2003, Page(s):298 - 305
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (575 KB) | HTML iconHTML

    Formal notations and mathematics are used in several areas to capture the requirements and express the functionalities of the software. This paper focuses on the use of formal methods to model the real world environment in a Malaysian plywood production manufacturing industry. The formal methods are used to describe abstractly the plywood production system in the aspect of its behavior but not pre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing decomposition of component specifications based on a rule for formal verification

    Publication Year: 2003, Page(s):154 - 160
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (313 KB) | HTML iconHTML

    This paper proposes a general technique for testing decomposition of component specifications based on rules for formal verification. Component specifications are expressed as pairs of two models: a context assumption and a component guarantee. Thereby they capture the contract-like nature between the component to be developed and the context in which it is supposed to work. The paper provides emp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verifying Haskell programs by combining testing and proving

    Publication Year: 2003, Page(s):272 - 279
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (331 KB) | HTML iconHTML

    We propose a method for improving confidence in the correctness of Haskell programs by combining testing and proving. Testing is used for debugging programs and specification before a costly proof attempt. During a proof development, testing also quickly eliminates wrong conjectures. Proving helps us to decompose a testing task in a way that is guaranteed to be correct. To demonstrate the method, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining behavior and data modeling in automated test case generation

    Publication Year: 2003, Page(s):247 - 254
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (310 KB) | HTML iconHTML

    Software testing plays a critical role in the process of creating and delivering high-quality software products. Manual software testing can be an expensive, tedious and error-prone process, therefore testing is often automated in an attempt to reduce its cost and improve its defect detection capability. Model-based testing, a technique used in automated test case generation, is an important topic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using design pattern to develop the quality MSC simulator software in performance test for GSM and GPRS system

    Publication Year: 2003, Page(s):374 - 377
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB) | HTML iconHTML

    Design pattern is a solution in the structured format describing the problem and solution that can be applied in the new background. Global system for mobile communication (GSM) and general packet radio service (GPRS) are such backgrounds and they all need good MSC simulator software to guarantee the quality of performance test for the system. This paper introduces the method to develop the simula... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating scenarios from use case map specifications

    Publication Year: 2003, Page(s):108 - 115
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4906 KB) | HTML iconHTML

    The use case map (UCM) notation is being standardized as part of the user requirements notation (URN), the most recent addition to ITU-T's family of languages. UCM models describe functional requirements and high-level designs with causal paths superimposed on a structure of components. The generation of individual scenarios from UCM specifications enables the validation of requirements and facili... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating small combinatorial test suites to cover input-output relationships

    Publication Year: 2003, Page(s):76 - 82
    Cited by:  Papers (9)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (417 KB) | HTML iconHTML

    In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are specified by input-output parameter relationships of a software system. That is, we only consider combinations of input parameters that affect an output parameter. We also do not assume that the input parameters have the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model for the implementation of software process improvement: a pilot study

    Publication Year: 2003, Page(s):196 - 203
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (285 KB) | HTML iconHTML

    Little attention has been paid in the literature on "how to implement" software process improvement (SPI) which has resulted in limited success for many SPI efforts. In this paper we report on our empirical study which explored the experiences and perceptions of practitioners about SPI implementation. We visited 11 companies and conducted 14 in-depth interviews. Using the different experiences and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verifying CIM models of Apache Web-server configurations

    Publication Year: 2003, Page(s):290 - 297
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB) | HTML iconHTML

    We show how configuration properties of the Apache Web-server can be formally verified, so that an installation is safe with respect to both universal and site specific local constraints. Our approach starts from an existing semi-formal component model of the Web-server in the common information model (CIM) standard. Hence, our approach is applicable also to the verification of other systems for w... View full abstract»

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