Model-based安全测试，基于德国福劳恩霍夫研究所领导的课题DIAMONDS:Development and Industrial Application of Multi-Domain Security Testing Technologies.研究适用于多领域的安全测试技术和工具。