-
题名软硬件功能测试用例半形式化生成方法
- 1
-
-
作者
邓辉
石竑松
张宝峰
-
机构
中国信息安全测评中心
-
出处
《通信技术》
2016年第10期1364-1368,共5页
-
基金
国家自然科学基金(No.61472448)~~
-
文摘
功能测试旨在保证软硬件正确性,降低生产成本。已有的功能测试均为黑盒测试,无法最大化地发现功能正确性问题。而半形式化方法可为最大化分析、验证软硬件正确性提供框架。因此,围绕功能入口,混合有限状态机、Petri网、顺序图,共同建模软硬件动静态特征及其功能属性,并建立模型简化规则。模型由功能入口使用方式、功能入口、功能入口触发迁移三部分组成,覆盖所有功能入口模拟测试场景,并最大化生成测试用例。最终,基于模型等价性,检查实现功能测试的描述。
-
关键词
软硬件功能测试
有限状态机
Petri网
顺序图
等价性检查
-
Keywords
software and hardware functional test
finite-state machine
petri net
sequence diagram
equivalence verification
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
