The color coding of the diagram shows increasing technical solution specificity on the horizontal axis and increasing coverage of the business problem in the solution space on the vertical axis.
Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
3
In accordance with the characteristics and coverage requirement of path coverage test as well as the graph theory, this paper presents a new program control flow diagram model.