MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.
Rui WangLars Michael KristensenVolker StolzPublished in: VECoS (2018)
Keyphrases
- distributed systems
- coloured petri nets
- software testing
- test cases
- fault tolerant
- formal verification
- unit testing
- software development
- distributed environment
- geographically distributed
- fault tolerance
- software reliability
- quality assurance
- test case generation
- distributed computing
- load balancing
- software systems
- testing process
- operating system
- software engineering
- integration testing
- regression testing
- test data generation
- distributed database systems
- database
- test suite
- data replication
- security policies
- deadlock detection
- real time systems
- development process
- petri net
- mobile agents
- real world