Conformance testing of FMI calling sequence for simulation environments
暂无分享,去创建一个
[1] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..
[2] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[3] G. Dahlquist. A special stability problem for linear multistep methods , 1963 .
[4] Elmar Ahle,et al. The Functional Mockup Interface - seen from an industrial perspective , 2014 .
[5] Andreas Junghanns,et al. Improving Interoperability of FMI-supporting Tools with Reference FMUs , 2017 .
[6] Peter Gorm Larsen,et al. Formalising and Validating the Interface Description in the FMI Standard , 2016, FM.
[7] Andreas Junghanns,et al. The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .
[8] Dirk Seifert. Conformance Testing Based on UML State Machines , 2008, ICFEM.
[9] Manfred Broy,et al. Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.
[10] Wilhelm Schäfer,et al. Generating Functional Mockup Units from Software Specifications , 2012 .
[11] Hasan Ural. Formal methods for test sequence generation , 1992, Comput. Commun..
[12] Angelo Gargantini. Conformance Testing , 2004, Model-Based Testing of Reactive Systems.
[13] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.
[14] Andreas Junghanns,et al. Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .