1 / 5

Approach to Improvement in framework for VDM++ Test

Approach to Improvement in framework for VDM++ Test. Soyeon Lee, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki Graduate School of Information Science and Electrical Engineering Kyushu University. The Formal method, VDM. Formal method - Why is it effective?

fola
Download Presentation

Approach to Improvement in framework for VDM++ Test

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Approach to Improvement in framework for VDM++ Test Soyeon Lee, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki Graduate School of Information Science and Electrical Engineering Kyushu University

  2. The Formal method, VDM • Formal method - Why is it effective? • VDM (Vienna Development Method) - The method to formally describe specifications • VDM++ - The formal language to support VDM - Object-oriented

  3. VDM into Mobile FeliCa • What is Mobile FeliCa? • What were the objectives to introduce VDM? • How was the model of Mobile FeliCa constructed? • Results and problems

  4. Improvement in Framework • Test on model is effective to confirm intended behavior • What is “Framework”? How does it work? • How can it be improved? The objective of this research is to test specifications simply, rapidly, and correctly → Redesigning framework is worthwhile

  5. The existent framework + Advantages from other frameworks(e.g. VDMUnit) Model Generate Test cases Offer The end framework Future Work • Layout of the end framework Surveying and analyzing other frameworks for unit testing Determining concrete way to generate test cases

More Related