Programs
- Amrita’s Fetal Cardiology learning ( AFCL) Module – Fetal Heart Hybrid - Fellowship
- B.Tech. in Artificial Intelligence (AI) and Data Science (Medical Engineering) - Undergraduate
Publication Type : Conference Proceedings
Publisher : 2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)
Source : Proceedings of International Conference on Advances in Computing, Communications and Informatics (ICACCI), IEEE, Udupi, India, p.1387 - 1392 (2017)
Url : https://ieeexplore.ieee.org/abstract/document/8126034
Keywords : Consistency, design-time and run-time model, Execution trace, software development life cycle, UML
Campus : Amritapuri
School : Department of Computer Science and Engineering, School of Engineering
Department : Computer Science, Sciences
Verified : Yes
Year : 2017
Abstract : Simulating real world applications containing many functionalities using programs tend to become very complex in structure and behaviour. Validating such programs for its correctness require correct outputs and their ability to cope with erroneous scenarios. This work proposes a methodology for the verification of such programs defined using Java, based on their design-time and run-time model, where both the models are defined using the behavioural Unified Modeling Language state and sequence diagrams. The design-time behaviour is depicted by the state diagram and the run-time behaviour by sequence diagram, which is defined over the execution trace of the program. This work includes an automated and algorithmic approach to perform validation of application software.
Cite this Research Publication : M. Mithun and Swaminathan J., “Comparison of sequence diagram from execution against design-time state specification”, in 2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI), Udupi, India, 2017