article

Free access

Finite state modelling in program development

Author:

Peter HendersonAuthors Info & Claims

ACM SIGPLAN Notices, Volume 10, Issue 6

Pages 221 - 227

https://doi.org/10.1145/390016.808443

Published: 01 April 1975 Publication History

PDF eReader

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.

References

[1]

Henderson P. and Snowdon R.A. "A tool for structured program development". Proc. IFIP Congress, Stockholm 1974. Information Processing North Holland.]]

Google Scholar

[2]

Henderson P. and Quarendon P. "Finite state testing of structured programs". Colloque sur la Programmation, CNRS, Paris 1974. Lecture Notes in Computer Science, Springer Verlag (to appear).]]

Digital Library

Google Scholar

[3]

Dijkstra E.W. "Notes on Structured Programming" Structured Programming, Dahl O-J, Dijkstra E.W., Hoare C.A.R., Academic Press, 1972.]]

Digital Library

Google Scholar

[4]

Zurcher F. and Randell B. "Iterative multilevel modelling - a methodology for computer system design". Proc. IFIP Congress Edinburgh 1968. Information Processing 68, North Holland.]]

Google Scholar

Cited By

View all

Webster D(1988)Mapping the Design Information Representation TerrainComputer10.1109/2.1618621:12(8-23)Online publication date: 1-Dec-1988
https://dl.acm.org/doi/10.1109/2.16186
Riha KRzevski G(1988)Computer-Aided Design Of Software: Research and ExperienceAutomating Systems Development10.1007/978-1-4613-1033-4_12(135-158)Online publication date: 1988
https://doi.org/10.1007/978-1-4613-1033-4_12
Kopetz H(1986)Design of Real-Time SystemsComputer Systems for Process Control10.1007/978-1-4613-2237-5_5(91-107)Online publication date: 1986
https://doi.org/10.1007/978-1-4613-2237-5_5
Show More Cited By

Index Terms

Finite state modelling in program development

Recommendations

Finite state modelling in program development
Proceedings of the international conference on Reliable software

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 ...
Mutation Analysis for Testing Finite State Machines
ISECS '09: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01

Mutation analysis is a program testing method which seeds a fault in a program and tries to identify it with test data, thus promoting the test efficiency. The paper investigates the application of mutation analysis in model-based testing for the ...
Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 10, Issue 6

International Conference on Reliable Software

June 1975

563 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/390016

Issue’s Table of Contents

Proceedings of the international conference on Reliable software
April 1975
567 pages
ISBN:9781450373852
DOI:10.1145/800027
Chairmen:
Martin L. Shooman,
Raymond T. Yeh

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1975

Published in SIGPLAN Volume 10, Issue 6

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
230
Total Downloads

Downloads (Last 12 months)54
Downloads (Last 6 weeks)7

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Webster D(1988)Mapping the Design Information Representation TerrainComputer10.1109/2.1618621:12(8-23)Online publication date: 1-Dec-1988
https://dl.acm.org/doi/10.1109/2.16186
Riha KRzevski G(1988)Computer-Aided Design Of Software: Research and ExperienceAutomating Systems Development10.1007/978-1-4613-1033-4_12(135-158)Online publication date: 1988
https://doi.org/10.1007/978-1-4613-1033-4_12
Kopetz H(1986)Design of Real-Time SystemsComputer Systems for Process Control10.1007/978-1-4613-2237-5_5(91-107)Online publication date: 1986
https://doi.org/10.1007/978-1-4613-2237-5_5
Hesse W(1981)Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und ÜberblickWerkzeuge der Programmiertechnik10.1007/978-3-642-68064-9_7(113-153)Online publication date: 1981
https://doi.org/10.1007/978-3-642-68064-9_7
Cousot P(2021)Calculational design of a regular model checker by abstract interpretationTheoretical Computer Science10.1016/j.tcs.2021.01.037869(62-84)Online publication date: May-2021
https://doi.org/10.1016/j.tcs.2021.01.037
Fishwick PDavis TDouglas J(2005)Model representation with aesthetic computingACM Transactions on Modeling and Computer Simulation10.1145/1103323.110332715:3(254-279)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1103323.1103327
Matloff N(2005)Estimation of internet file-access/modification rates from indirect dataACM Transactions on Modeling and Computer Simulation10.1145/1103323.110332615:3(233-253)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1103323.1103326
Beliakov G(2005)Universal nonuniform random vector generator based on acceptance-rejectionACM Transactions on Modeling and Computer Simulation10.1145/1103323.110332515:3(205-232)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1103323.1103325
Tang WGoh RThng I(2005)Ladder queueACM Transactions on Modeling and Computer Simulation10.1145/1103323.110332415:3(175-204)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1103323.1103324
Hounam I(2005)Software tools for FortranACM SIGPLAN Fortran Forum10.1145/1058176.105817824:1(6-22)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1145/1058176.1058178
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations