Transcription of Introducing Formal Methods - MIT
{{id}} {{{paragraph}}}
Example: marketing
Introducing Formal Methods - MIT
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 ?
into a formal specification language nConcise description of high-level behavior and properties of a system nWell-defined language semantics support formal deduction about specification L 4 8 Types of Specifications I nInformal » Free form, natural language » Ambiguity and lack of organization can lead to
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: