机译:基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
INESC TEC and Department of Informatics Engineering, Faculty of Engineering, University of Porto, Porto, Portugal;
INESC TEC and Department of Informatics Engineering, Faculty of Engineering, University of Porto, Porto, Portugal;
Sequence diagrams; Conformance testing; Petri nets;
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:有色Petri网的面向测试目的的I / O一致性测试选择
机译:针对UML序列图进行一致性测试的技术和工具集
机译:一种基于状态机图和数据流信息设计测试用例序列的遗传算法。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:用于UML序列图的一致性测试的技术和工具集