1 / 5

Approach to Improvement in framework for VDM++ Test

This research discusses the enhancement of the VDM++ framework to improve testing efficiency in Mobile FeliCa applications. VDM, or Vienna Development Method, provides a formal technique for describing specifications. By integrating the object-oriented aspects of VDM++ with Mobile FeliCa, the study aims to simplify and expedite the testing process while ensuring accurate model behavior. The paper outlines the current challenges, proposed improvements, and the design of an improved framework that leverages advantages from existing tools like VDMUnit. Future work will focus on generating effective test cases.

fola
Télécharger la présentation

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