A methodology for assessing the correctness of control programs

From MaRDI portal

DOI10.1016/0045-7906(84)90006-5MaRDI QIDQ2266584zbMATH OpenOpenAlexFDO

Authors C. V. Ramamoorthy, Farokh Bastani

Publication date 1984

Published in Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0045-7906(84)90006-5


zbMATH Keywords

control flow correctnesscorrectness of control programsprogram proofssoftware reliability

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)




Review text

In this paper we first analyze the role of program proofs in estimating the correctness of control programs. Then we develop a fuzzy-set-based measure of the correctness possibility of these programs. The input domain is partitioned into a set of hierarchical fuzzy equivalence classes. We estimate the computational and control flow correctness of each equivalence class. The computational correctness possibility is derived from an estimate of the complexity of the computations performed by the equivalence class. The control flow correctness possibility is based on the boundary value aspects and cohesiveness of the equivalence class. The model also incorporates the development history of the program. This is used to minimize the number of test cases.


Recommendations



Cited in
(3)








This page was built for publication: A methodology for assessing the correctness of control programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266584)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_methodology_for_assessing_the_correctness_of_control_programs&oldid=78389672"
Powered by MediaWiki