https://github.com/seeker04/nvim-mbt

A model based approach to testing Neovim's mode transitions.
https://github.com/seeker04/nvim-mbt

model-based-testing neovim nvim testing

Last synced: 5 days ago
JSON representation

A model based approach to testing Neovim's mode transitions.

• Host: GitHub
• URL: https://github.com/seeker04/nvim-mbt
• Owner: Seeker04
• License: mit
• Created: 2022-08-13T15:46:43.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-08-13T15:49:46.000Z (over 2 years ago)
• Last Synced: 2023-11-10T22:27:28.846Z (about 1 year ago)
• Topics: model-based-testing, neovim, nvim, testing
• Language: TeX
• Homepage:
• Size: 9.93 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# A model based approach to testing Neovim's mode transitions

**Abstract:**

Modal text editors, like Vi and its derivatives, support different editing modes, each based around distinct tasks and each having a different set of keybindings. Reusing keys like this leads to a more efficient text editing workflow by decreasing the number of keystrokes required for frequent editing tasks. It is important for the modes and the transitions between them to be well defined and consistent. This study aims to present a model based approach to generating testcases that can verify the text mode transitions of Neovim.

**Keywords:** Neovim, nvim, modal editor, FSM, model based testing, test generation

----

This material was written for a university assignment at [ELTE-IK](https://www.inf.elte.hu/en/).

The full study can be read in [Model\_based\_testing\_Neovim\_modes.pdf](Model_based_testing_Neovim_modes.pdf).