Characteristics of a good model
What are the Characteristics of a good model?
Expert
A model must include the most relevant information needed for determining whether the program properties being investigated hold in the target application.
Parts of the system that do not affect the outcome of the property verification can be excluded from the modeling phase. The dangers of getting the model wrong are obvious. If you exclude or abstract too much, you may get false positives or false negatives. If you leave in too much, the model checker spends most of its time checking unnecessary code, wasting precious time and memory.
There are several different approaches you can take to obtaining a model of the system. They are, in increasing order of preference:
Normal 0 false false
Weak Preservation: An abstraction of a concrete system is weakly preserving if a set of properties true in the abstract system encompass corresponding properties in the concrete system which are also true.
Code Coverage Heuristics: In many industries, 100% branch coverage is considered a minimum requirement for test adequacy (Bezier 1990). Branch coverage requires that at every branching point in the program all possible branches be taken at least once.
Which are the main intra-specific ecological interactions?
What is the universal Human rights declaration? What is its significance in achieving the goals of justice, equity & sustainability?
Error Preservation: When verification is used to disprove properties (find bugs), a third type of property preservation comes into play: An abstraction is error preserving if a set of properties that is false in the abstract system has corresponding p
18,76,764
1937933 Asked
3,689
Active Tutors
1416080
Questions Answered
Start Excelling in your courses, Ask an Expert and get answers for your homework and assignments!!