Process behavior and process state have some kind of intrinsic relations . this paper discusses the relation based on the category and integrated deterministic finite automaton . this paper established a process detection model based on category ( cpdm ) , and proposed a state - based process detection technique 本文以范畴论为基础,结合确定性有限状态自动机,对这种关系进行了研究和论证,建立了基于范畴论的进程检测模型( cpdm , processdetectionmodelbasedoncategory ) ,并在此基础上给出了基于状态的进程检测技术。
Functions of the interface , event , context dependence relationship and content dependence relationship in component - based software were analyzed with regard to integration testing . the difficulty in acquiring these four factors was also analyzed . a dfa ( deterministic finite automaton ) model based on the characteristics of component - based software was proposed so that these four factors could be acquired from the model . an example was given to prove the validity of the model 分析了构件化软件接口、事件、上下文及内容依赖关系在集成测试中的作用,以及提取该四要素的难度;针对构件化软件的自身特点提出了一种有限状态自动机模型,利用该模型实施对四要素的提取,并通过实例验证了该模型的有效性。