Transcription of Introducing Formal Methods
{{id}} {{{paragraph}}}
Example: marketing
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 controlled conditions with specific results expected Path and Branch Testing4 What are Formal Methods ?
4 What are Formal Methods? nTechniques and tools based on mathematics and formal logic nCan assume various forms and levels of rigor Occasional mathematical notation embedded in English specifications Fully formal specification languages with a precise semantics least rigorous spectrum of rigor most rigorous L 5
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: