pt-cloud是什麼

pt-cloud是一種基於着色Petri網模型的一致性雲測試生成方法，可進一步提高測試生成效率。Petri網模型是1960年德國CarlAdamPetri博士提出的一種圖論工具。應用軟件是和系統軟件相對應的，是用户可以使用的各種程序設計語言，以及用各種程序設計語言編制的應用程序的集合，分為應用軟件包和用户程序。應用軟件包是利用計算機解決某類問題而設計的程序的集合，多供用户使用。