Finite state modelling in program development

Authors:
Peter Henderson
Affiliations:
Computing Laboratory, University of Newcastle upon Tyne, U.K.
Venue:
Proceedings of the international conference on Reliable software
Year:
1975

Citing 1
Cited 16

Finite state testing of structured programs

Programming Symposium, Proceedings Colloque sur la Programmation

Mapping the Design Information Representation Terrain

Computer
SDA: A novel approach to software environment design and construction

ICSE '88 Proceedings of the 10th international conference on Software engineering
Aspect: detecting bugs with abstract dependences

ACM Transactions on Software Engineering and Methodology (TOSEM)
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector

IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
A collection of software tools for analyzing designs of concurrent software systems

ICSE '85 Proceedings of the 8th international conference on Software engineering
Validation of Scientific Programs

ACM Computing Surveys (CSUR)
Test data as an aid in proving program correctness

Communications of the ACM
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Behavior modelling during software design

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Design feedback and its use in software design aid systems

Proceedings of the software quality assurance workshop on Functional and performance issues
Test data as an aid in proving program correctness

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Models as executable designs

Proceedings of the workshop on Rapid prototyping
An introduction to the DREAM software design system

ACM SIGSOFT Software Engineering Notes
Languages for representing software specifications and designs

ACM SIGSOFT Software Engineering Notes
Modeling and projection in software development

Journal of Systems and Software
Inference from models of software systems

Journal of Systems and Software

Quantified Score

Hi-index	0.02

Visualization

Abstract

A technique is presented whereby a significant amount of program validation can be done simply by exercising the program components in a model environment provided by a finite state machine, specially built to characterise the real environment of that component. The tools necessary to support such a technique are characterised and the merits and demerits of the technique are discussed.