Biotechnologie: Eine indische Zeitschrift
ISSN (PRINT): 0974-7435

Abstrakt

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.


Haftungsausschluss: Dieser Abstract wurde mit Hilfe von Künstlicher Intelligenz übersetzt und wurde noch nicht überprüft oder verifiziert

Indiziert in

  • CASS
  • Google Scholar
  • Öffnen Sie das J-Tor
  • Nationale Wissensinfrastruktur Chinas (CNKI)
  • CiteFactor
  • Kosmos IF
  • Verzeichnis der Indexierung von Forschungszeitschriften (DRJI)
  • Geheime Suchmaschinenlabore
  • Euro-Pub
  • ICMJE

Mehr sehen

Zeitschrift ISSN

H-Index der Zeitschrift

Flyer

Open-Access-Zeitschriften