Practical Guide to Software Quality Mangement
Practical Guide to Software Quality Mangement
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Software Testing: Testing Across the Entire Software Development Life Cycle
Software Testing: Testing Across the Entire Software Development Life Cycle
Model-based system analysis using Chi and Uppaal: An industrial case study
Computers in Industry
Integration and test sequencing for complex systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Application of supervisory control theory to theme park vehicles
Discrete Event Dynamic Systems
Hi-index | 0.00 |
Industrial trends show that the lead time and costs of integrating and testing high-tech multi-disciplinary systems are becoming critical factors for commercial success. In our research, we developed a method for early, model-based integration and testing to reduce this criticality. Although its benefits have been demonstrated in industrial practice, the method requires certain investments to achieve these benefits, e.g. time needed for creating models. Making the necessary trade-off between investments and potential benefits to decide when modeling is profitable is a difficult task that is often based on personal intuition and experience. In this paper, we describe a method based on integration and test sequencing techniques that can be used to make quantitative impact estimations of using models for integration and testing. An industrial case study application of this method shows that it is feasible to quantify the costs and benefits of using models in terms of risk, time, and costs, such that the profitability can be determined.