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 reuse | PDF file iconPDF (181 KB)
    Freely Available from IEEE
  • Object-based data flow testing of web applications

    Publication Year: 2000, Page(s):7 - 16
    Cited by:  Papers (23)  |  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (803 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.
  • Object driven performance testing of Web applications

    Publication Year: 2000, Page(s):17 - 26
    Cited by:  Papers (25)  |  Patents (5)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (871 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.
  • Control of nondeterminism in testing distributed multithreaded programs

    Publication Year: 2000, Page(s):29 - 38
    Cited by:  Papers (9)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (762 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.
  • An approach to analyzing dependency of concurrent programs

    Publication Year: 2000, Page(s):39 - 43
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (398 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.
  • Modelling and verification of a network player system with DCValid

    Publication Year: 2000, Page(s):44 - 49
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (380 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.
  • A formal mechanism for assessing polymorphism in object-oriented systems

    Publication Year: 2000, Page(s):53 - 62
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (775 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.
  • A framework for quantifying error proneness in software

    Publication Year: 2000, Page(s):63 - 68
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (446 KB)

    This paper proposes a framework for assessing quantitatively the error-proneness of computer program modules. The model uses an information theory approach to derive an error proneness index, that can be used in a practical way. Debugging and testing rake at least 40% of a software project's effort, but do not uncover all defects. While current research looks at identifying problem-modules in a pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software quality prediction using mixture models with EM algorithm

    Publication Year: 2000, Page(s):69 - 78
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (677 KB)

    The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The expectation-maximum likelihood (EM) algorithm is engaged to build the model. By only employing software size and complexity metrics, this technique can be used to develop a model for predicting software quality even without the prior knowledge of the num... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the determination of an appropriate time for ending the software testing process

    Publication Year: 2000, Page(s):81 - 88
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    Software testing is widely used as a means of increasing software reliability. The prohibitive nature of exhaustive testing has given rise to the problem of determining when a system has reached an acceptable reliability slate and can be released. This has probably become the hardest problem facing a project manager. In this paper, a stopping rule that indicates the appropriate time at which to st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing of large number multiplication functions in cryptographic systems

    Publication Year: 2000, Page(s):89 - 98
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (683 KB)

    Integer multiplication is one of the fundamental functions in cryptographic systems. Although much research has already been done on the testing of multiplication functions, most does not meet the need of cryptographic systems, where very large numbers are involved. Others provide only probabilistic algorithms. In this paper we propose an efficient deterministic algorithm for verifying large numbe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to modify and test expired window logic

    Publication Year: 2000, Page(s):99 - 108
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    The windowing technique has been a popular method to address the Y2K problem. In fact, about 80% of the systems used this technique. Unfortunately, the windowing technique is a temporary solution and windows will expire some time later. This paper proposes several approaches to address the expired window problem including modification and testing techniques. In software modification, ripple effect... 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 (22)  |  Patents (5)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (683 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 oriented design function points

    Publication Year: 2000, Page(s):121 - 126
    Cited by:  Papers (10)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (402 KB)

    Estimating different characteristics viz., size, cost, etc. of software during different phases of software development is required to manage the resources effectively. Function points measure can be used as an input to estimate these characteristics of software. The Traditional Function Point Counting Procedure (TFPCP) can not be used to measure the functionality of an Object Oriented (OO) system... 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 reuse | Click to expandAbstract | PDF file iconPDF (623 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.
  • BS 7925-2: the software component testing standard

    Publication Year: 2000, Page(s):139 - 148
    Cited by:  Papers (7)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (728 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.
  • On the completeness of test cases for atomic arithmetic expressions

    Publication Year: 2000, Page(s):149 - 155
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (466 KB)

    Most research on weak mutation testing focuses on predicate statements. Relative little attention has been paid to arithmetic expressions. In this paper we analyse the latter type of expression and prove that, given an atomic arithmetic expression, if it contains no variable or if the operator is the unary "++" or "--", then a single test case is sufficient and necessary to kill any fundamental mu... 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 reuse | Click to expandAbstract | PDF file iconPDF (795 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.
  • Achieving quality software development for distributed environments

    Publication Year: 2000, Page(s):169 - 178
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (657 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.
  • How to teach practical software quality assurance. An experience report

    Publication Year: 2000, Page(s):181 - 187
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (489 KB)

    The product/process duality of software quality is highlighted and problems of providing computing students, whether on undergraduate or postgraduate courses, with experiences analogous to those found in industry are outlined. Details are presented of the MSc in Computer-Based Information Systems, a "conversion" course offered world-wide by the University of Sunderland. The Systems Engineering mod... 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 reuse | Click to expandAbstract | PDF file iconPDF (473 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.
  • 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 reuse | Click to expandAbstract | PDF file iconPDF (736 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.
  • Formal modelling of interactive systems

    Publication Year: 2000, Page(s):207 - 215
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (508 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.
  • Refinement and modular verification with observers

    Publication Year: 2000, Page(s):216 - 225
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (733 KB)

    The formal verification of properties in reactive real-time systems is crucial, as these systems are often safety-critical ones. Refinement is a relevant operation in synchronous languages. In this paper, we argue that, in the synchronous approach to the design and implementation of reactive real-time systems, modular verification (from the point of view of the refining program) is best achieved w... 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 reuse | Click to expandAbstract | PDF file iconPDF (485 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.