RM2PT: Requirements validation through automatic prototyping

Yilong Yang, Wei Ke, Xiaoshan Li

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

15 Citations (Scopus)


Prototyping is an effective and efficient way of requirements validation to avoid introducing errors in the early stage of software development. Our previous work presents a tool RM2PT to automatically generate prototypes from requirements models. The stakeholders can easily check whether the requirements reflect their real needs by investigating the executions of use cases in the generated prototypes. However, the conflict and contradictory of the requirements are hard to be discovered. In this paper, we enhance RM2PT by introducing consistency checking and state observations in the generated prototypes. Requirements inconsistency can be automatically detected and further fixed through carefully analyzing the contracts of system operations and system state observations. We have conducted four case studies with over 50 use cases. The experimental result shows that 107 requirements inconsistency are founded in requirements validations. Overall, the result is satisfiable, and the enhanced RM2PT can be further applied to the software industry for requirements validation. The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA.

Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 27th International Requirements Engineering Conference, RE 2019
EditorsDaniela Damian, Anna Perini, Seok-Won Lee
PublisherIEEE Computer Society
Number of pages2
ISBN (Electronic)9781728139128
Publication statusPublished - Sept 2019
Event27th IEEE International Requirements Engineering Conference, RE 2019 - Jeju Island, Korea, Republic of
Duration: 23 Sept 201927 Sept 2019

Publication series

NameProceedings of the IEEE International Conference on Requirements Engineering
ISSN (Print)1090-705X
ISSN (Electronic)2332-6441


Conference27th IEEE International Requirements Engineering Conference, RE 2019
Country/TerritoryKorea, Republic of
CityJeju Island


  • Consistency Checking
  • Prototype
  • Prototyping
  • Requirements
  • Requirements Validation


Dive into the research topics of 'RM2PT: Requirements validation through automatic prototyping'. Together they form a unique fingerprint.

Cite this