当执行该用例时,记录执行轨迹。
When this use case is executed according to the Execution case, an execution trace is recorded.
第三,用例是要运行来收集系统的执行轨迹场景的来源。
Third, the use cases are the source of scenarios to be run to gather the execution trace of the system.
内存模型描述给定程序的某个特定的执行轨迹是否是该程序的一个合法执行。
A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legal execution of the program.
应用推荐