By Topic

Software Engineering Journal

Issue 4 • Date Jul 1992

Filter Results

Displaying Results 1 - 7 of 7
  • An experimental evaluation of a symbolic execution system

    Publication Year: 1992 , Page(s): 285 - 290
    Cited by:  Papers (2)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (368 KB)  

    The author describes a symbolic execution system that assists in the construction of test data and the detection of program errors. The system automatically generates a subset of all possible execution paths in the program, according to a certain path selection criterion. It symbolically executes each one of these paths and creates conditions on input variables that cause the path to be executed. These conditions form a system of equalities and inequalities. Solving this system gives input variable values that cause the path to be executed. If the system of conditions for a path is insoluble, the path is infeasible. The author presents the results of experiments that have been carried out to evaluate the effectiveness of the system and the path selection criterion employed in it View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software reliability growth model for an error-removal phenomenon

    Publication Year: 1992 , Page(s): 291 - 294
    Cited by:  Patents (1)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (216 KB)  

    The authors develop a software reliability growth model based on the non-homogeneous Poisson process, under the assumption that the detection of these errors can also cause the detection of some of the remaining errors without these errors causing any failure. Using the expected number of errors thus detected, the authors obtain the mean value function describing the failure phenomenon. Parameters of the model are estimated, and the applicability of the model is illustrated. The authors discuss the optimal release policy for such a software reliability growth model based on the cost-reliability criterion. Predictive validity of the model is discussed, and numerical results are also presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semi-automatic test suite generation from Estelle

    Publication Year: 1992 , Page(s): 295 - 307
    Cited by:  Patents (5)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (932 KB)  

    Overviews of the standard formal specification language Estelle and test suite specification language TTCN are provided. Steps involved in semi-automatic generation of TTCN test suites from Estelle are introduced. Details of TTCN test step generation from Estelle transitions are explained. Test cases are obtained from these test steps by way of ordering them using the control flow graph. The implementation of a software tool called TTCNGEN, which largely automates the methodology, is explained and examples are provided from the LAP-D protocol of the integrated services digital network. Related research is discussed, and various ideas are highlighted for future research View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software development post-mortem summary

    Publication Year: 1992 , Page(s): 277 - 284
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (660 KB)  

    Software development requires the integration of many concepts and activities. The authors look at five key elements: people, functions, schedule, tools and processes. These five elements and their dynamics are discussed in the context of a business applications project. This analysis is performed in the spirit of a project post-mortem, as encouraged by T.K. Abdel-Hamid and S.E. Madnick (1990). It also provides data with which other business applications developers can compare View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software development: two approaches to animation of Z specifications using Prolog

    Publication Year: 1992 , Page(s): 264 - 276
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (904 KB)  

    Formal methods rely on the correctness of the formal requirements specification, but this correctness cannot be proved. This paper discusses the use of software tools to assist in the validation of formal specifications and advocates a system by which Z specifications may be animated as Prolog programs. Two Z/Prolog translation strategies are explored; formal program synthesis and structure simulation. The paper explains why the former proved to be unsuccessful and describes the techniques developed for implementing the latter approach, with the aid of case studies View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Acquisition, organisation and reuse of software design knowledge

    Publication Year: 1992 , Page(s): 238 - 246
    Cited by:  Patents (1)
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (628 KB)  

    The paper addresses the acquisition, organisation and reuse of knowledge in the design of real-time software systems. Experiences from capturing and making explicit software design alternatives and their selection criteria are evaluated. Generic, software design task-specific and domain-specific types of knowledge are discussed and illustrated using real-life design examples. A prototype of a CASE tool is also described, which incorporates a repository of reusable software components as a source of design alternatives and assists a designer both in selecting them and in analysing the results View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology for deriving an object-oriented design from functional specifications

    Publication Year: 1992 , Page(s): 247 - 263
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (1164 KB)  

    A recent paradigm in software engineering is object-oriented software development. However, object-oriented methods still remain ad hoc, and the process of deriving an object-oriented design from the·early analysis has not yet been formalised. The authors advocate deriving a formal specification from informal requirements, conducting static analysis on the formal functional specifications to reason about the intended behaviour of the system, and then transforming the flat specification to an object-oriented design. The transformations discussed in this paper can be formalised and can be applied to any model-oriented specification to get a corresponding object-oriented design. The methodology is illustrated for a simple library management system using the model-oriented specification technique VDM View full abstract»

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