By Topic

Proceedings First Asia-Pacific Conference on Quality Software

30-31 Oct. 2000

Filter Results

Displaying Results 1 - 25 of 36
  • Proceedings First Asia-Pacific Conference on Quality Software

    Publication Year: 2000, Page(s):iii - viii
    Request permission for commercial reuse | PDF file iconPDF (181 KB)
    Freely Available from IEEE
  • Proceedings 2000 International Workshop on Autonomous Decentralized System (Cat. No.00EX449)

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (727 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2000, Page(s): 335
    Request permission for commercial reuse | PDF file iconPDF (48 KB)
    Freely Available from IEEE
  • Modelling and verification of a network player system with DCValid

    Publication Year: 2000, Page(s):44 - 49
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    In this paper we study the formal modelling and verification of a network player system using Duration Calculus, a real time interval temporal logic. The system is modelled by the conjunction of a number of Duration Calculus formulae each capturing a basic property of the system. That the system satisfies the requirement is expressed by the entailment of the requirement formula from the system for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Investigating the effect of a second software inspection cycle. Cost-benefit data from a large-scale experiment on reinspection of a software requirements document

    Publication Year: 2000, Page(s):194 - 203
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    The goal of software inspection is to identify defects and to measure the product and inspection process quality. Software development products that are suspected to contain a substantial number of defects after inspection may be subject to a second inspection cycle (re-inspection). So far, very few empirical results can be found on re-inspections. This paper reports on a controlled experiment tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object driven performance testing of Web applications

    Publication Year: 2000, Page(s):17 - 26
    Cited by:  Papers (18)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    Performance of many Web sites depends on the load on the site at peak time under varying conditions. Performance testing is normally conducted in reasonably simulated environment with the help of performance testing tools. However, performance of a Web site depends on various parameters and each parameter must be tested under varying stress levels. It is not possible to draw a common denominator f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to analyzing dependency of concurrent programs

    Publication Year: 2000, Page(s):39 - 43
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (324 KB)

    Dependency analysis is an important approach to testing, understanding, maintaining and transforming concurrent programs. However because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper we propose some models for constructing concurrent program flow graph and concurrent program dependency graph... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a more efficient way of generating test cases: class graphs

    Publication Year: 2000, Page(s):285 - 293
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB)

    Specifications are the primary source for obtaining test cases in software testing. Specification based testing is becoming more and more important when black box components and COTS are widely used in software development. One of these systematic approaches is deriving test cases from a classification tree. This approach partitions the input domain into classifications. Classifications are furthe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification analysis and test data generation by solving Boolean combinations of numeric constraints

    Publication Year: 2000, Page(s):267 - 274
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    In the analysis of state-based requirement specifications and in software test data generation, one often has to determine the satisfiability of Boolean combinations of numeric constraints. Theoretically this problem is undecidable, and practically many problem instances are very difficult. In this paper an extension to a Boolean constraint solver is described. The new tool can deal with variables... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality improvement-the Six Sigma way

    Publication Year: 2000, Page(s):248 - 257
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Six Sigma provides an effective mechanism to focus on customer requirements, through the improvement of process quality. In the Global Engineering Development Center of Tata Consultancy Services (TCS-GEDC) at Chennai, India, Six Sigma projects are being carried out with the objective of improving on-time delivery, product quality and in-process quality. This paper describes the application of the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality metrics of object oriented design for software development and re-development

    Publication Year: 2000, Page(s):127 - 135
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (516 KB)

    The quality of software has an important bearing on the financial and safety aspects in our daily life. Assessing quality of software at the design level will provide ease and higher accuracy for users. However, there is a great gap between the rapid adoption of Object Oriented (OO) techniques and the slow speed of developing corresponding object oriented metric measures, especially object oriente... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TDL: a language for transition diagrams in the derivation of LOTOS specifications

    Publication Year: 2000, Page(s):226 - 235
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    Introduces a formalism which allows LOTOS specifications to be given in the form of transition diagrams (TDs). We argue that being able to use TDs as a design notation for LOTOS specifications would increase the quality of the software produced via a formal method, and ultimately this enhances LOTOS's acceptance by industry. The basis of our argument is that TDs are well-known and can be readily s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing for imperfect integration of legacy software components

    Publication Year: 2000, Page(s):156 - 165
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    In the manufacturing domain, few new distributed systems are built ground-up; most contain wrapped legacy components. While the legacy components themselves are already well-tested, imperfect integration can introduce subtle faults that are outside the prime target area of generic integration and system tests. One might postulate that focused testing for integration faults could improve the yield ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The 9 quadrant model for code reviews

    Publication Year: 2000, Page(s):188 - 193
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    Discusses a decision-making model which can be used to determine the efficiency of a code review process. This model is based on statistical techniques such as control charts. The model has nine quadrants, each of which depicts a range of values of the cost and yield of a code review. The efficiency of the code review in detecting defects is determined by taking inputs from past data, in terms of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented web test model for testing Web applications

    Publication Year: 2000, Page(s):111 - 120
    Cited by:  Papers (18)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    In recent years, Web applications have grown rapidly. As Web applications become complex, there is a growing concern about their quality and reliability. In this paper we present a methodology that uses an object-oriented Web Test Model (WTM) to support Web application testing. The test model captures both structural and behavioral test artifacts of Web applications and represents the artifacts fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-based data flow testing of web applications

    Publication Year: 2000, Page(s):7 - 16
    Cited by:  Papers (23)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    Recently, the extraordinary growth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applications using Web technologies. As Web applications become complex, testing Web applications becomes crucial. This paper extends traditional data flow testing techniques to Web applications. Several data flow issues for an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal mechanism for assessing polymorphism in object-oriented systems

    Publication Year: 2000, Page(s):53 - 62
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recognized and widely accepted by the software engineering community. We agree that both the traditional and the new object-oriented properties should be analyzed in assessing the quality of object-oriented design. However, we be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal modelling of interactive systems

    Publication Year: 2000, Page(s):207 - 215
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    This paper presents a case study in interface modelling and testing using the Z specification language. The paper models a single feature of a VCR and the use of Z allows the model to be tested from different points of view, including an approach to interface testing in which system dynamics are categorised according to formal attributes that are relevant to user cognition View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control of nondeterminism in testing distributed multithreaded programs

    Publication Year: 2000, Page(s):29 - 38
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    Distributed and multithreaded systems are usually much more complex to analyze statically or test dynamically due to the nondeterminism involved. Forcing the system to take a particular execution path manually may be fairly difficult sometimes. In this paper, we present our work in test control methods for distributed concurrent systems, and introduce the framework of our automated test control to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A model and prototype tool to manage software risks

    Publication Year: 2000, Page(s):297 - 305
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1396 KB)

    Software industry is facing many types of risks that make software development projects miss their planned schedule, time and quality. Hence, the urge to manage such risks if one wants to avoid the above problems. However, available software risk management tools present many weaknesses and above all, they are few. This paper is a contribution to increase the number of tools in the library of soft... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • White on black: a white-box-oriented approach for selecting black box-generated test cases

    Publication Year: 2000, Page(s):275 - 284
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    Many useful test case construction methods that are based on important aspects of the specification have been proposed in the literature. A comprehensive test suite thus obtained is often very large and yet is non-redundant with respect to the aspects identified from the specification. This paper addresses the problem of selecting a subset of test cases from such a test suite. We propose the use o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software project measurement criteria

    Publication Year: 2000, Page(s):258 - 264
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (352 KB)

    The consensus of opinion of a sample of Mass Transit Railway Corporation (MTRC) management and engineering staff is that projects containing software products have proved difficult to deliver to programme and within budget. This fact is further exasperated when a particular supplier does not subscribe to a “mature” software development process (SDP), thereby failing to either sustain c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BS 7925-2: the software component testing standard

    Publication Year: 2000, Page(s):139 - 148
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    This paper covers both the development of BS 7925-2 and compliance with the finished standard. The process used to produce BS 7925-2 is described by presenting a history of its development, showing how initial chaotic development evolved with experience into a systematic process. This process was found to bear a strong resemblance to the software engineering process, and borrowed techniques from i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software acquisition management experience learnt in a multi discipline and multi contract project environment

    Publication Year: 2000, Page(s):239 - 247
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    This paper summarizes software acquisition management lessons learnt from a complex multidisciplinary and multi-contract environment. It also identifies a number of new measures for improvement in a current project. These new measures are then analyzed against the key process areas of the Software Acquisition Capability Maturity Model(R) (SA-CMM(R)) for their applicability an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Achieving quality software development for distributed environments

    Publication Year: 2000, Page(s):169 - 178
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    With the rapid advances of computer networking and wireless technologies, the applications of information technology have been drastically broadened. However, there are also more challenges in developing quality software for these applications. In this paper, recent advances to meet these challenges are discussed. In particular, among these advances, component-based software development, middlewar... View full abstract»

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