Testing and verification in service‐oriented architecture: a survey
Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …
system architecture for business‐to‐business collaborations. This momentum can be …
Systematic mapping study on MBT: tools and models
Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …
Therefore, to follow the evolution and trends of several tools and models available is difficult …
Execution of natural language requirements using State Machines synthesised from Behavior Trees
SK Kim, T Myers, MF Wendland, PA Lindsay - Journal of Systems and …, 2012 - Elsevier
This paper defines a transformation from Behavior Tree models to UML state machines.
Behavior Trees are a graphical modelling notation for capturing and formalising dynamic …
Behavior Trees are a graphical modelling notation for capturing and formalising dynamic …
A new approach to abstract reachability state space of time Petri nets
K Klai, N Aber, L Petrucci - 2013 20th International Symposium …, 2013 - ieeexplore.ieee.org
Time Petri nets (TPN model) allow the specification of real-time systems involving explicit
timing constraints. The main challenge of the analysis of such systems is to construct, with …
timing constraints. The main challenge of the analysis of such systems is to construct, with …
Toward a better interoperability of enterprise information systems: a CPNs and timed CPNs-based web service interoperability verification in a choreography
MS Benabdelhafid, M Boufaida - Procedia Technology, 2014 - Elsevier
Abstract Service-Oriented Architectures (SOA) claim to facilitate the construction of flexible
and loosely coupled business applications. Therefore it is seen as an enabling factor for the …
and loosely coupled business applications. Therefore it is seen as an enabling factor for the …
Requirements-driven testing with behavior trees
MF Wendland, I Schieferdecker… - 2011 IEEE Fourth …, 2011 - ieeexplore.ieee.org
Requirements engineering is vital for a software development project's success or failure. As
today's software systems are getting more and more complex, their related requirements …
today's software systems are getting more and more complex, their related requirements …
Plets: a product line of model-based testing tools
EM Rodrigues - 2013 - meriva.pucrs.br
O teste de software é uma atividade fundamental para garantir a qualidade de software.
Além disso, teste de software é uma das atividades mais caras e demoradas no processo …
Além disso, teste de software é uma das atividades mais caras e demoradas no processo …
Fokus! MBT: a multi-paradigmatic test modeling environment
MF Wendland, A Hoffmann… - Proceedings of the …, 2013 - dl.acm.org
UML modeling environments for doing model-based testing are often not very comfortable to
use and burden some knowledge about the internals of UML to the users, respectively test …
use and burden some knowledge about the internals of UML to the users, respectively test …
How does the UML testing profile support risk-based testing
The increasing complexity of software-intensive systems raises a lot of challenges
demanding new techniques for ensuring their overall quality. The risk of not meeting the …
demanding new techniques for ensuring their overall quality. The risk of not meeting the …
[PDF][PDF] Model-Based Software Component Testing
W Zheng - 2012 - research-repository.uwa.edu.au
Software component testing (SCT) is a proven software engineering approach to evaluating,
improving and demonstrating component reliability and quality for producing trusted …
improving and demonstrating component reliability and quality for producing trusted …