approach to improvement in framework for vdm++ test
DESCRIPTION
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? - PowerPoint PPT PresentationTRANSCRIPT
IWFST2005 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
IWFST2005 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
IWFST2005 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
IWFST2005 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
IWFST2005 5
Future Work
• Layout of the end framework
The existent framework
+Advantages from other frameworks
(e.g. VDMUnit)
Model
Test cases
Generate
Offer
The end framework
Surveying and analyzing other frameworks for unit testing
Determining concrete way to generate test cases