软硬件功能测试用例半形式化生成方法

• 作者: 张宝峰 石竑松 邓辉
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 软硬件功能测试 有限状态机 Petri网 顺序图 等价性检查
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 网络与系统
• 页码范围: 1364-1368
• 页数: 5页
• 分类号: TP311.52
• 字数: 2967字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2016.10.019

摘要

功能测试旨在保证软硬件正确性，降低生产成本。已有的功能测试均为黑盒测试，无法最大化地发现功能正确性问题。而半形式化方法可为最大化分析、验证软硬件正确性提供框架。因此，围绕功能入口，混合有限状态机、Petri网、顺序图，共同建模软硬件动静态特征及其功能属性，并建立模型简化规则。模型由功能入口使用方式、功能入口、功能入口触发迁移三部分组成，覆盖所有功能入口模拟测试场景，并最大化生成测试用例。最终，基于模型等价性，检查实现功能测试的描述。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓辉		5	9	2.0	3.0
2	石竑松		11	6	2.0	2.0
3	张宝峰		11	44	3.0	6.0