Functional Requirements Specification Language (FRSL)

Plugin frsl2filmstrip

Prerequisites

• Install Eclipse DSL Tools 2024-03 (untested with latest versions).
• Install the repository frsl: https://github.com/vnu-sme/frsl.
• Install Acceleo by the update site: https://download.eclipse.org/releases/2024-03.
  • Help -> Install New Software...
  • Note: frsl requires UML2 Extender SDK from this update site, too.
• Clone this repository.
• Inside Eclipse, import this repository as Eclipse projects:
  • File -> Open Project From File System -> Specify to folder 'frsl' -> Select 'Search for nested projects' -> Finish.
  • File -> Open Project From File System -> Specify to folder 'frsl2filmstrip' -> Select 'Search for nested projects' -> Finish.
    • Note: The IDE may ask for installing OCL as the projects have "OCL Nature", but the projects have their OCL dependencies bundled.
• In Problem section (in Eclipse):
  • If any project is missing src-gen (xtend-gen), add manually folder src-gen (xtend-gen) to that project.
  • Fix the error 'An API baseline has not been set for the current workspace":
    • (1) Click the menu: Windows\Preferences\Plug-in Development\API Baselines
    • (2) Update the option "Missing API baseline": Error -> Warning
  • Other issues: To be reported.

Note

• JavaSE-21 is recommended.

Usage

Step 1. Defining an application model for use cases (Eclipse/FRSL)

• Run runtime: Right click to any project -> Run As -> Eclipse Application.
• In the runtime environment, create a general project: File -> New Project -> General -> Project -> Next ...
• In the general project, create a .frsl file: Right click -> New -> File -> Set name "anyFrslModel.frsl" -> Finish
  • You can also load a given example in examples/org.eclipse.sme.frsl2filmstrip.example
• Generate the .frslas file from the .frsl file:
  • Open the .frsl file -> Right click on white space in file -> FRSLCS -> Save As -> FRSLAS.
• Generate the Filmstrip model (the two files: .use and .properties) from the .frslas file:
  • Open the .frslas file -> Right click on file icon -> Frslas2Filmstrip -> Generate Filmstrip Model.

Step 2. Generating the filmstrip model (USE/Filmstrip)

• Install the USE tool: https://github.com/useocl/use.
• Replace the files for the USE plugins (Filmstrip and Model Validator) located in the folder use-7.1.1/lib/plugins with the two files filmstrip-7.1.1.jar and validator-7.1.1.jar in the folder /examples/org.eclipse.sme.frsl2filmstrip.examples/USE-plugins/.
• Load the application model corresponding to the generated .use file from Step 1.
• Invoke the USE Filmstrip plugin by selecting the menu item Plugins -> Filmstrip, indicated by a film-like icon.
• Save the .use file for the Filmstrip model that was generated from the application model.

Step 3. Generating Test Cases by Model Finding (USE/Model Validator)

• Using the USE model validator plugin to load the configuration (after manually tuning the bound constraints).
• Performing test cases generation by model finding.

Examples

• An example for the case study purchaseProduct is available here.