Formal methods are mathematically-based approaches to software development where a formal model of software model is define. The main point to use the formal methods is it able to predict what a program will do without running any code. It also can discover many errors without having to run any tests. The formal methods can be used in three essentials activities that are
- Modelling
- design
- verification
Formal methods are based on the idea that computer programming is built upon a relatively small number of fundamental concepts, most of which are present in mathematics in some form or another. For example : equality, arithmetic operation, etc). The formal methods do not provide a universal cure to software problem. We cannot expect them to solve everything. Most of people rely in some way or other on computerized systems, but this does not mean that we can reasonably expect them to take care everything.
No comments:
Post a Comment