ISSN:0960-0833    

DOI:10.1002/stvr.4370040402

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractIn this paper an approach to reliability prediction and estimation of Prolog programs is proposed. Two complexity measures describing Prolog programs are introduced. Values of the two measures are used, subsequently, to predict the reliability of Prolog programs before testing and in the early testing stages, and further, to estimate the reliability as a function of time, in order to determine whether the reliability objective is achieved. The proposed reliability determination approach is based on previous work (Azemet al., 1993), extending the prediction approach used therein through modification of the complexity measures and providing an estimation approach. It leads to improvements in the quality of predictions and estimations with respect to software reliability characteristics. The proposed approach is implemented in a reliability assessment environment, which also includes several well‐known software reliability models for comparison purpose

ISSN:0960-0833    

DOI:10.1002/stvr.4370040403

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

摘要:

AbstractIn previous publications the authors described a compositional (hierarchical) approach to reachability analysis of Ada tasking programs based on process algebra. The abstraction capabilities of process algebra provide an effective means to control state explosion in automated state‐space analysis, but only if a design is carefully modularized to encapsulate details of behaviour. This paper reports experience modifying an existing design (a remote temperature sensor system described by Sanden) to make it more amenable to hierarchical analysis. Redesign for analysis was effective in improving the design in other ways as well: flaws uncovered in the analysis (and present in the original design) were easy to understand and correct because of the increased understandability of the revised design. This also suggests that these flaws might have been avoided, and the design generally improved, had ‘design for analysis’ been applied from the

ISSN:0960-0833    

DOI:10.1002/stvr.4370040404

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040405

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040406

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370040401

出版商:John Wiley&Sons, Ltd    

年代:1994

数据来源: WILEY