Effective Model-Based Testing
摘要
Model-Based Testing (mbt) has grown from testing infamous coffee machines to complex industrial size systems with many interfaces and parallel message exchanges. Over the last decade Axini has developed a state-of-the-art platform, which can be used to model, analyze and test (very) large systems. We have successfully applied our platform to several medium to large applications in the finance and high-tech industry. While modeling and testing such systems, we stumbled upon quality, management and engineering challenges to cope with the complexity of the whole mbt trajectory. We have developed several engineering guidelines to control both our modeling and testing trajectories. Moreover, over the last few years, we have witnessed that model based working has gotten more acceptance within the industry. For mbt we see a shift of focus from testing to modeling. Originally, mbt would be applied when the development of the System Under Test was completely finished. Currently, we start the modeling during the analysis and design phase of the system. We have adapted our engineering methodology and guidelines accordingly. We share our lessons learned and provide valuable insights for modeling and test engineers involved in model based testing and/or development.