首页>
外国专利>
STATIC DEBUGGING TECHNIQUES FOR COORDINATION-CENTRIC SOFTWARE SYSTEMS
STATIC DEBUGGING TECHNIQUES FOR COORDINATION-CENTRIC SOFTWARE SYSTEMS
展开▼
机译:协调中心软件系统的静态调试技术
展开▼
页面导航
摘要
著录项
相似文献
摘要
Systemwide control aspects of a software system can be graphically-represented by a static control graph (SCG). A simple SCG typically has, the following: conjunctive nodes, each representing a control constraint; disjunctive nodes, each representing a mode within a component; and directed edges, each representing implication between a pair of nodes. Dynamic control graphs (DCGs) further have actions nodes, each representing an action that only responds to and generates control events, and lend themselves to a wider variety of dynamic checks and to model checking through conversion to Binary Decision Diagrams (BDDs) as well. Control dataflow graphs (CDGs) further have dataflow nodes, each representing a dataflow interaction of the software system and can be used to schedule components within the software system.
展开▼