Correct Systems

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.

Contenu

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.