[发明专利]一种由流程图自动产生覆盖率代码的方法及装置

摘要

本发明公开了一种由流程图自动产生覆盖率代码的方法及装置，包括：收集处理框覆盖点、判断框覆盖点、组合覆盖点、序列覆盖点、带约束条件的序列覆盖点等内容，并产生其对应的覆盖率代码。其装置由读入单元、层次展开单元、单元库、连接关系库、处理框覆盖率代码产生单元、判断框覆盖率代码产生单元、组合覆盖率代码产生单元、序列覆盖率代码产生单元、其他覆盖率代码产生单元、代码合并单元组成。本发明根据流程图直接提取覆盖点，自动转化为覆盖率代码，节省时间，减少人为遗漏，从功能角度出发，弥补了单纯代码覆盖率的不足。以客观的形式产生覆盖率代码，增加了覆盖率统计的有效性、信心度和客观性。

主权项

一种由流程图自动产生覆盖率代码的方法，其特征在于包括：收集处理框中的覆盖点并产生覆盖率代码的方法，以处理框中所描述的系统中各模块在该处理框中执行的动作为功能覆盖点，以对应该动作定义的事件的表征信号作为覆盖条件，产生覆盖率代码；收集判断框中的覆盖点并产生覆盖率代码的方法，以判断框中所描述的判定条件中的变量为依据划分的场景作为功能覆盖点，以判定条件中的变量所代表的系统中的参数或模块动作处理后的结果值作为覆盖条件，产生覆盖率代码；收集组合覆盖点并产生覆盖率代码的方法，以每一条从起始点到终止点路径上出现的所有判断框中描述的判定条件交叉组合后对应的场景作为功能覆盖点，以判定条件中的变量取值的交叉组合作为覆盖条件，产生覆盖率代码；收集序列覆盖点并产生覆盖率代码的方法，以每一条从起始点到终止点路径上出现的所有处理框代表的有序动作序列作为功能覆盖点，以有序动作序列对应的有序事件的表征信号作为覆盖条件，产生覆盖率代码；收集带约束条件的序列覆盖点并产生覆盖率代码的方法，以每一条从起始点到终止点路径上出现的所有处理框代表的有序动作序列和其中穿插的判断框代表的判定条件作为功能覆盖点，以有序动作序列对应的有序事件的表征信号以及判定条件中规定的变量取值作为覆盖条件，产生覆盖率代码。