By Topic

Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific

Date 7-9 Dec 1994

Filter Results

Displaying Results 1 - 25 of 45
  • Reachability testing: an approach to testing concurrent software

    Publication Year: 1994, Page(s):246 - 255
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    Concurrent programs are more difficult to test than sequential programs because of nondeterministic behavior. An execution of a concurrent program nondeterministically exercises a sequence of synchronization events, called a synchronization sequence (or SYN-sequence). Nondeterministic testing of a concurrent program P is to execute P with a given input many times in order to exercise distinct SYN-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ordered sequence testing criteria for concurrent programs and the support tool

    Publication Year: 1994, Page(s):236 - 245
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    Testing of programs is important to increase the reliability of programs. Coverage is a ratio of the number of worked test events to all test events, and it is used as a metric of testing sufficiency and reliability. The test events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential programs. However, the criteria are inadequate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reversing concurrent systems into formal specifications

    Publication Year: 1994, Page(s):229 - 234
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    Many distributed systems are developed in traditional artistic manner. They neither have formal specifications nor the implementation are able to be reasoned or formally verified. As the number and importance of distributed systems are growing rapidly, we expect that there will be a demand of reversing these distributed systems back to formal descriptions in order to verify its correctness or to d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From the software process to software quality: BOOTSTRAP and ISO 9000

    Publication Year: 1994, Page(s):174 - 182
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (496 KB)

    The aim of the BOOTSTRAP project was to develop a method for software process assessment, quantitative measurement and improvement. BOOTSTRAP enhanced and refined the SEI method for software process assessment and adapted it to the needs of software producing units (SPUs) in the European software industry. BOOTSTRAP assesses both the SPU and the projects of the SPU with respect to policies and gui... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A mapping system from Object-Z to C++

    Publication Year: 1994, Page(s):220 - 228
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. The paper introduces and discusses a structural mapping system from Object-Z to the programming language C++, and reports on its implementation on Unix. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such as data me... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated class testing: methods and experience

    Publication Year: 1994, Page(s):163 - 171
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. In our approach, a driver class and an oracle class are developed for each class-under-test (CUT). The driver class is based on a test-graph which partially models the CUT as a state machine, but with vastly fewer states and transitions. The oracle class provides e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering: a review and research agenda

    Publication Year: 1994, Page(s):10 - 19
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    This paper reviews the area of requirements engineering. It outlines the key concerns to which attention should be devoted by both practitioners, who wish to “reengineer” their development processes, and academics, seeking intellectual challenges. It presents an assessment of the state-of-the-art and draws conclusions in the form of a research agenda View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing distributed applications by semantics-based automatic replication

    Publication Year: 1994, Page(s):40 - 49
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (700 KB)

    A new method for developing some types of distributed applications is presented. The main idea is to provide a generic tool by which a non-distributed service object can be developed into a replicated service object automatically, to provide the corresponding distributed service. A service object implements some abstract data types that can be accessed only by invoking the operations exported in i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery time

    Publication Year: 1994, Page(s):445 - 452
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    The hyper-geometric distribution model (HGDM) of software reliability growth has been used for estimating the number of initial faults in a software program. Another important problem in the software development process is to determine when to stop testing and release the software. In this paper, we investigate the optimal release policies minimizing the total expected software cost with a schedul... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic evolution of distributed systems specifications using reflective language

    Publication Year: 1994, Page(s):208 - 219
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (992 KB)

    The object-oriented approach is known by its flexibility for system construction. Current work has not addressed the dynamic modifications of specifications of distributed systems. We are concerned with formal description techniques that allow for the development and the dynamic modification of executable specifications. A two level model for the evolution of large object-oriented specifications i... View full abstract»

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

    Publication Year: 1994, Page(s):2 - 6
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    I discuss several results of analysis related to software engineering. I show a result of analyzing research topics discussed in the software engineering community in the last two decades. I introduce an analytical result on important issues in the future and discuss the software gap between Japan and US View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process representation to support multiple views

    Publication Year: 1994, Page(s):197 - 205
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    Current interest in improving the effectiveness and predictability of software development has led to a recent focus on software process modeling and improvement. Process-centered software development environments (PCSDEs), have been examined as a useful adjunct to software process modeling. A number of PCSDEs have been designed and built; an examination of the range of potential users of such env... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating data access programs from PCTE schemas with constraints

    Publication Year: 1994, Page(s):298 - 307
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    Presents how we developed a tool for generating data access programs from PCTE data schemas. We propose first an extended PCTE data model which allows constraints to be explicitly described between values of the data types. Our program generator analyzes this data model, which we call the constrained SDS (schema definition set), and generates a C++ library. A class of C++ is generated from each ob... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal definitions of behavioural compatibility for active and passive objects

    Publication Year: 1994, Page(s):336 - 344
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    The modular refinement of object-oriented specifications requires a sound theory of behavioural compatibility of classes. Such a theory will depend on the way in which objects of a class interact with their environment. This paper defines two notions of behavioural compatibility. Observational compatibility is relevant when an active object is placed within a passive environment and operational co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge-based approach to regression testing

    Publication Year: 1994, Page(s):144 - 153
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    This paper describes a frame-based reasoning mechanism and its implementation for regression testing. It describes a prototype rule set for data flow-based retesting to illustrate how the knowledge-based system can be used to support a particular retesting strategy. The key function of the mechanism is to deduce and maintain the reusability of test cases. The system is based on frames and a truth ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting user-analyst interaction in functional requirements elicitation

    Publication Year: 1994, Page(s):114 - 123
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    A critical phase in the task of software engineering is represented by the elicitation of requirements from the users. The paper presents a cognitive approach to the elicitation of functional requirements of software systems founded on the modelling of the application domain. The framework outlined is grounded on an incremental process aimed at building a description of the real world, as perceive... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An adaptive user navigation mechanism and its evaluation

    Publication Year: 1994, Page(s):29 - 37
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    Recently, there have been many online help systems that provide usage explanations for applications. However, it is difficult to find out necessary information in help contents and to understand how to obtain complete information. A navigation mechanism which can provide a user with essential information and guide the user so that he can achieve intended actions is indispensable. In this paper, we... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented analysis and design support system using algebraic specification techniques

    Publication Year: 1994, Page(s):388 - 397
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    Although many CASE tools for object-oriented methods (OO-CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match the requirements of the system being developed. In order to realize this kind of verification, we propose a software development method amalgamating OO-CASE tools and algebraic specification techniques. We are developing an ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis and enactment of a distributed software process model: the AttNet model

    Publication Year: 1994, Page(s):278 - 286
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    Process modeling has become increasingly attractive in the software engineering community. In process modeling, the enactment of software process model is a dominant theme. In order to correctly and smoothly enact the software process model, it is necessary to detect the inconsistencies contained in the software process model early, before the software process model is instantiated to actual enact... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software documents, their relationships and properties

    Publication Year: 1994, Page(s):102 - 111
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    One of the functionalities of software development environments is to maintain all the documents produced in the software development process. To facilitate the much needed traceability support for the software process, the representation of the software documents should capture not only the individual documents, but also their relationships and structural properties. We present an approach to the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints

    Publication Year: 1994, Page(s):328 - 335
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Areas of computer application are being broadened rapidly due to the rapid improvement of the performance of computer hardware. This results in increased demands for computer applications that are large and have complex temporal characteristics. This paper introduces a real-time systems analysis method named PARTS. PARTS supports analyses from two viewpoints: external viewpoint, a view of the syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guiding the requirements engineering process

    Publication Year: 1994, Page(s):82 - 91
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (824 KB)

    Despite a constant improvement in automation in CASE environments, the level of guidance provided to developers is still low, especially in the early phases of information systems engineering. We argue in this paper that a more effective guidance to requirements engineers can be based on a process meta-model which allows us to deal with a large variety of situations in a flexible, decision-oriente... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process-sensitive software engineering environments: an object-oriented view

    Publication Year: 1994, Page(s):287 - 295
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    An object-oriented model is proposed, designed as a collection of layered components, for process-sensitive software engineering environments (PSEEs). In the model, three types of object (process objects, entity objects and service objects) are identified to abstract and reflect the behaviour in different aspects of a PSEE. An overview of object interaction patterns, which reflects and captures th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A sentential function mapping method for object-oriented analysis and design

    Publication Year: 1994, Page(s):368 - 377
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    Points out the problems of OOA/D methods concerning function decomposition, the assignment procedure and its description methods. We suggest a practical method, called SSDM (sentential system design method), as a solution for those problems. SSDM makes use of the preliminary outcomes of an OOA/D method. With those as inputs, we first prepare semantic diagrams, and then, for each system function, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to predict software maintenance cost based on ripple complexity

    Publication Year: 1994, Page(s):439 - 444
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (380 KB)

    Almost half of a software maintainer's time is spent trying to understand programs. This means that software maintenance cost prediction depends on software understandability. We have proposed ripple complexity as a means to predict program understandability. This paper describes an experiment to prove the usefulness of ripple complexity. The result of this experiment has shown that ripple complex... View full abstract»

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