By Topic

Software Testing, Reliability and Quality Assurance, 1994. Conference Proceedings., First International Conference on

Date 21-22 Dec. 1994

Filter Results

Displaying Results 1 - 25 of 27
  • Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)

    Publication Year: 1994
    Save to Project icon | Request Permissions | PDF file iconPDF (119 KB)  
    Freely Available from IEEE
  • Software quality through the traceability of requirements specifications

    Publication Year: 1994 , Page(s): 100 - 104
    Cited by:  Patents (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (348 KB)  

    The paper argues that quality assurance must begin with quality software requirements specification (SRS) and that by preserving the link between a customer's requirements definition and the SRS, the quality of a software system can be assured beyond first release. Without such a link, it would be difficult to properly analyse the effect of related or inconsistent requirements because the reason f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient array reference analysis for data flow testing

    Publication Year: 1994 , Page(s): 131 - 135
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (444 KB)  

    Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicabl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Investigating coverage-reliability relationship and sensitivity of reliability to errors in the operational profile

    Publication Year: 1994 , Page(s): 21 - 35
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (764 KB)  

    The focus of the work is an investigation into the correlation between “true” reliability of a software system and the white box testing measures such as block coverage, c-uses and p-uses coverage. We believe that software reliability and testing measures, especially white box testing, are inherently related. Results from experiments are presented to support this belief. We also demons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Impact of software testability considerations on software development life cycle

    Publication Year: 1994 , Page(s): 105 - 110
    Cited by:  Papers (11)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (568 KB)  

    The testability of software has been defined as provisions that can be made in the software during the design and coding phases, so that test-plans can be executed easily and systematically. Software testability measures are defined in terms of controllability and observability measures. Observability measures are incorporated in the software to facilitate observation of internal states. Controlla... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software to aid reliability estimation

    Publication Year: 1994 , Page(s): 54 - 58
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (492 KB)  

    Estimating the reliability of software is becoming increasingly important. There are a large number of models available for estimating reliability. Most of these models are computationally complex and require statistical inferencing to estimate the parameters. In addition, techniques for evaluating the results obtained from a given model themselves are computationally expensive. We describe a soft... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality factors for resource allocation problems-linking domain analysis and object-oriented software engineering

    Publication Year: 1994 , Page(s): 68 - 72
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (604 KB)  

    The paper presents the quality factors that were addressed in designing an object-oriented framework for a class of resource allocation problems. The paper discusses the interplay between domain analysis and object-oriented software engineering in the context of defining external and internal qualities for that software system and describes the process of system development View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a zero-defect product-the End-To-End test process

    Publication Year: 1994 , Page(s): 137 - 147
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (692 KB)  

    The competitive market place today demands the best of everything-quality, cost and schedule. The ontime delivery of an error-free product at minimal cost are standards that demanding customers expect and good suppliers continually strive to meet. It is no easy task to strike an effective balance where quality is accomplished without sacrificing schedules and incurring unplanned costs-and to do so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A language for specifying program transformations

    Publication Year: 1994 , Page(s): 36 - 42
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (460 KB)  

    Large computer programs have to be maintained and hence understood by many different people most of whom are not their original authors. Such programs need to be evaluated and transformed into semantically equivalent but maintainable code. The paper introduces a tool that is designed to work on abstract representations, and directly manipulate them. The proposed tool is capable of performing progr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CLAS: a reverse engineering tool

    Publication Year: 1994 , Page(s): 126 - 130
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (424 KB)  

    CLAS (C Language Program Analysis System) is a reverse engineering tool intended for use in the verification and validation (V&V) of software programs developed in the ANSI `C' language. By analysing the source code, CLAS generates data according to two conceptual models of software programs viz, the entity-relationship (ER) model and control flow graph (CFG) model. The tools within CLAS, make... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System complexity as an aid to quality assurance

    Publication Year: 1994 , Page(s): 116 - 120
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (396 KB)  

    Designing a good software system is a very complex task. In order to produce a good software product, several measures need to be taken into account. System complexity generally affects attributes such as software reliability, maintainability, and testability of software systems which are considered of immense importance in designing a better software product. For achieving these software qualitie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparison of ISO 9000 and SEI/CMM for software engineering organizations

    Publication Year: 1994 , Page(s): 78 - 83
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (532 KB)  

    ISO 9000 and CMM are two well-established models for a software quality system. The paper compares the two models in detail and analyses how they can be used to complement each other in establishing a quality system by a software engineering organization View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated neural-fuzzy system of software reliability prediction

    Publication Year: 1994 , Page(s): 154 - 158
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (300 KB)  

    The paper explores the potential of prediction techniques which have been used for assessing software reliability. It is demonstrated that artificial neural networks (ANN) provide the basis for fully satisfactory prediction methods, which are shown to be superior to conventional analytical models in many respects. The method retains all the advantages normally associated with its use in other appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A quantitative analysis for different testing criteria through program decomposition

    Publication Year: 1994 , Page(s): 49 - 53
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (432 KB)  

    Many software testing criteria have been proposed which demonstrate different testing capacities. However, there is still less research exploring what the quantitative difference is among different testing criteria. A quantitative difference among different criteria is apparently a good guideline for selecting appropriate testing methodologies. All-statements and all-branches testing criteria are ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to graphical specification of real-time safety systems

    Publication Year: 1994 , Page(s): 95 - 99
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (468 KB)  

    The paper describes a specialized graphical language for formally specifying real time safety systems. The language architecture is designed as a transparent high-level language with a dual approach representation: to describe the functionality and for realising the timing and synchronization aspects of real time systems; a relationship is then defined between the two representations for complete ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software reliability model in the embedded system

    Publication Year: 1994 , Page(s): 59 - 63
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (324 KB)  

    We propose a software reliability model for estimating, measuring, and controlling software reliability of embedded systems, and a software test stopping equation for determining software testing time. It is not easy to correct errors occurring in embedded systems on site View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability growth model for object oriented software system

    Publication Year: 1994 , Page(s): 148 - 153
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (344 KB)  

    Object oriented design techniques are the most powerful way of developing software in the foreseen future. The techniques help in reducing the cost of development and increase the reliability of the software. We develop a software reliability growth model for an object oriented software system. The model is validated by simulating the error data. The goodness of fit and predictive validity is also... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing C++ classes

    Publication Year: 1994 , Page(s): 43 - 48
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (388 KB)  

    We present a semi-exhaustive approach to testing of a C++ class as a unit of testing. The general approach is outlined by an algorithm. This approach determines the correctness of a class by considering the manipulation of each of its data members by all possible sequences of member functions of the class. Member functions manipulating a data member are divided into different categories and each c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Attitude towards testing: a key contributor to software quality

    Publication Year: 1994 , Page(s): 111 - 115
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (452 KB)  

    Increasing emphasis placed on high quality and customer (user) satisfaction of software calls for rethinking on the objectives and management of testing. Test and evaluation methods and tools, in themselves, do not guarantee effective testing and ensure high quality of software. The key to improving the effectiveness of testing is to improve the attitude of software developers towards testing and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A coverage based model for software reliability estimation

    Publication Year: 1994 , Page(s): 6 - 10
    Cited by:  Papers (1)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (504 KB)  

    There is an increasing interest in estimating and predicting the reliability of software systems. Many models exist for reliability estimation. Most of these models consider a software system as a black box and predict the reliability based on the failure data observed during testing. The application of these models require a fair amount of data collection, computation, and expertise and computati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An applicable methodology to automate software quality measurements

    Publication Year: 1994 , Page(s): 121 - 125
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (448 KB)  

    Numerous software metrics have been presented in the recent years. However, even if they seem to be able to provide many advantages in the improvement of software quality, they have not helped in terminating the so called “software crisis” . The reason for this is not the inability of metrics to improve the software quality, but the ineffective use of metrics and the lack of easy-to-us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical study on reliability evaluation for a real time switching system

    Publication Year: 1994 , Page(s): 11 - 15
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (356 KB)  

    We present an empirical model to evaluate reliability of a large software system. We take as a target system a large real-time switching system which is under development in our research institute. The results obtained from our reliability model indicate that there is close relation between software failures collected during the development of the system and reliability of the system. We also anal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Shaping software quality-the quantitative way

    Publication Year: 1994 , Page(s): 84 - 94
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (612 KB)  

    The paper starts with a brief introduction of the theoretical concepts related to software quality, digresses into a broader area of software reliability and tries to augment the broad guidelines of ISO 9000 in encouraging discipline in the software development process. With the advent of a hi-tech era and growing concern over liberalisation and TQM sufficient light has been thrown on software fau... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effectiveness of sampling based software profilers

    Publication Year: 1994 , Page(s): 1 - 5
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (444 KB)  

    Profilers are a class of program monitoring tools which aid in tuning performance. Profiling tools which employ PC (Program Counter) sampling to monitor program dynamics are popular owing to their low overhead. However, the effectiveness of such profilers depends on the accuracy and completeness of the measurements made. We study the methodology and effectiveness of PC sampling based software prof... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software reliability model based on group rectification policy

    Publication Year: 1994 , Page(s): 64 - 67
    Save to Project icon | Request Permissions | Click to expandAbstract | PDF file iconPDF (280 KB)  

    The paper presents a software reliability model based on group rectification of faults. In doing so we compare the advantages and disadvantages of obtaining the optimal group size View full abstract»

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