Biotechnologie : une revue indienne
ISSN (PRINT): 0974-7435

Abstrait

Model-based testing for UML statechart diagram via extended context-free grammar

Liping Li,Tao He, Xiaolin Cao


This paper proposes an approach to checking the consistency and generating test cases fromUML statechart specification through extended context-free grammar (ECFG) and model checking. UML statechart, test coverage criteria and ECFG are input to the system, to perform an automated consistency simulation and property verification for UML specification. ECFG is considered as external events and test coverage criteria are expressed as trap properties in CTL. A Simulation-Tree is introduced to simulate the execution of the systemwith the trigger events. The result of the simulation is the refined FSM consistent with the specification. Finally, test cases which satisfied with the specified test coverage are generated based on the refined FSM for UML statechart.


Indexé dans

  • CASS
  • Google Scholar
  • Ouvrir la porte J
  • Infrastructure nationale du savoir de Chine (CNKI)
  • CiterFactor
  • Cosmos SI
  • Répertoire d’indexation des revues de recherche (DRJI)
  • Laboratoires secrets des moteurs de recherche
  • Euro Pub
  • ICMJE

Voir plus

ISSN de la revue

Indice h du journal

Flyer

Revues en libre accès