Authors:
Saeko Matsuura
1
;
Shinpei Ogata
2
and
Yoshitaka Aoki
1
Affiliations:
1
Shibaura Institute of Technology, Japan
;
2
Shinsyu University, Japan
Keyword(s):
UML, Security Requirements, Source Code Verification, Model Checking, Reverse Engineering.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Frameworks for Model-Driven Development
;
Methodologies, Processes and Platforms
;
Model-Based Testing and Validation
;
Model-Driven Software Development
;
Software Engineering
Abstract:
In software development, when making migration or specification changes to an existing system, it is
important to verify that the new source code meets the original specifications. We propose an effective use
of model checking techniques and a supporting tool that allows non-specialized developers to easily verify
specification conformance. In this study, we verify security requirements for an ongoing learning
management system that has insufficient specification documentation and discuss the applications and
challenges for developing the model checking technology.