Transcription of Introducing Formal Methods - MIT
{{id}} {{{paragraph}}}
Example: biology
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 ?
Introducing Formal Methods Formal Methods for Software Specification and Analysis: An Overview L 5 2 Software Engineering and Formal Methods nEvery Software engineering methodology is based on a recommended development process proceeding through several phases: » Analysis,Specification,Design,Coding,Unit Testing,
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: