Overview

Full Product Details

Author:   Mike Holcombe ,  Florentin Ipate
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783540762461

ISBN 10:   3540762469
Pages:   206
Publication Date:   26 August 1998
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

1: Building Correct Systems.- 1 Models of Computer-Based Systems.- 1.1 Introduction to the modelling systems.- 1.2 Finite state machines.- 1.3 Statecharts.- 1.4 A general computational model: the X-machine.- 1.5 An X-machine example.- 2 Business Processes, Problems and Solutions.- 2.1 Problems and solutions.- 2.2 Design methods: old and new.- 2.3 Business process models.- 2.4 A simple business process case study.- 2.5 Another example of a business process and enterprise model.- 2.6 A microprocessor example.- 2.7 Implementation.- 3 Testing, Testing, Testing!.- 3.1 What is testing?.- 3.2 Fundamental issues of correct systems design.- 3.3 An approach to quality-oriented testing.- 3.4 Testing based on a computational modelling approach.- 3.5 Stream X-machines and the fundamental theorem of testing.- 3.6 Discussion.- 4 Building Correct Systems.- 4.1 Refining correct solutions.- 4.2 Components.- 4.3 An integrated design and test refinement strategy.- 4.4 A first simple refinement.- 4.5 Testing refined machines.- 4.6 Components revisited.- 5 A Case Study.- 5.1 An example of a stream X-machine specification: basic background and the requirements capture process.- 5.2 Developing the specification.- 5.3 Data design.- 5.4 Testing.- 5.5 Implementation.- 5.6 A summary of the facilities provided by the completed system..- 2: Theoretical Foundations.- 6 The Theory of X-Machines.- 6.1 The basic theory of X-machines.- 6.2 Stream X-machines.- 6.3 Stream X-machine refinement.- 7 Complete Functional Testing.- 7.1 Some state machine theory.- 7.2 Theoretical basis at finite state machine testing.- 7.3 The theoretical basis of stream X-machine testing.- 8 Refinement Testing.- 8.1 Theoretical basis of refinement testing.- 8.2 The refinement testing method.- References.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions