object-oriented methods; formal specification; real-time systems; software tools; formal verification; railways; control engineering computing; program testing; automated test generation; object-oriented specifications; real-time reactive systems; formal descriptions; domain model; TROMLAB; train-gate-controller;
机译:根据实时反应系统的正式规范自动生成测试套件
机译:基于实时系统的功能规范的研究
机译:实时系统的双重面向对象规范模型的生命周期
机译:从面向对象的实时反应系统规格自动测试生成
机译:根据实时反应系统的正式规范自动生成测试。
机译:使用BD Max开放系统进行样品的高通量测试的快速自动化的样品至结果假丝酵母实时PCR分析
机译:ConData:一种用于自动化通信系统基于规范的测试用例生成的工具