Transcription of Introducing Formal Methods
{{id}} {{{paragraph}}}
Example: stock market
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 ?
Introducing Formal Methods Formal Methods for Software Specification and Analysis: An Overview L 5 2 ... » Ambiguity and lack of organization can lead to incompleteness, inconsistency, and misunderstandings ... when drawing informal conclusions nMay be manual but usually constructed with automated assistance L 4 22
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: