Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2016-08-15

Journal: 计算机工程与科学

Included Journals: CSCD、ISTIC、PKU

Volume: 38

Issue: 8

Page Number: 1669-1675

ISSN: 1007-130X

Key Words: 状态迁移矩阵;圈复杂度;正则表达式

Abstract: 相比传统电视,由于增加上网浏览、音视频文件播放、下载各种应用软件等多种功能,智能电视系统软硬件变得异常复杂,用户使用相对繁琐,这种大批量消费类产品的可靠性是目前智能电视厂家面临的主要问题.提出根据系统设计规格书对智能电视的操作行为采用AutoStar进行层次化状态迁移矩阵(STM)建模,进而转化为具有记忆功能的正则表达式,同时根据正则表达式圈复杂度来递归确定正则表达式中包含所有闭包循环的次数,并生成测试用例,自动转成Python脚本,通过Android提供的ADB接口发送给Android智能电视,最后设计实现Android智能电视测试平台,该平台应用于国内智能电视的测试.