Transcription of Introducing Formal Methods
{{id}} {{{paragraph}}}
Example: dental hygienist
Introducing Formal Methods
1 Introducing Formal MethodsFormal Methods for Software Specification and Analysis: An OverviewL 52 Software Engineering and Formal MethodsnEvery Software engineering methodology is based on a recommended development process proceeding through several phases: Analysis,Specification,Design,Coding,Uni t Testing, Integration and System Testing, MaintenancenFormal Methods can: Be a foundation for describing complex systems Be a foundation for reasoning about systems Provide support for program developmentnComplimentary approach to methodology!3 Testing: Static vsDynamic AnalysisnStatic analysis of code Does not require execution of code Lexical analysis of the program syntax and investigates and checks the structure and usage of individual statements; often automatednDynamic Analysis of code Involves running the system (testing) Program run formally under cont
nEnhances existing review processes by adding a degree of rigor L 4 36 Limitations to Formal Methods nUsed as an adjunct to, not a replacement for, standard quality assurance methods nFormal methods are not a panacea, but can increase confidence in a product’s reliability if applied with care and skill nVery useful for consistency checks, but can
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: