Android智能电视测试用例生成方法及应用研究

计算机工程与科学

Android智能电视测试用例生成方法及应用研究

崔凯，周宽久，梁浩然，潘杰

（大连理工大学软件学院，辽宁大连 116620）

收稿日期:2016-04-18 修回日期:2016-06-15 出版日期:2016-08-25 发布日期:2016-08-25

A method for generating test cases and its application for Android smart TV

CUI Kai,ZHOU Kuan-jiu,LIANG Hao-ran,PAN Jie

(School of Software Technology,Dalian University of Technology,Dalian 116620,China)

Received:2016-04-18 Revised:2016-06-15 Online:2016-08-25 Published:2016-08-25

摘要/Abstract

摘要：

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

关键词: 状态迁移矩阵, 圈复杂度, 正则表达式

Abstract:

Compared with the traditional TV, a smart TV has diverse functions such as Internet surfing, audio and video files playing, and applications downloading. So the software and hardware of the smart TV become very complicated and are relatively hard for users to operate. The reliability of such a large scale of consumer oriented products is the main problem that smart TV manufacturers are facing. We model the behaviors of the smart TV with AutoStar by hierarchical state transition matrix (STM), which are converted into an expanded regular expression (ERE) with memory property. The cyclic number of regular expression closures is set according to the cyclomatic complexity of the regular expression, and then the test cases are generated from the ERE. The test cases are converted to Python scripts automatically and sent to the Android smart TV through the ADB interface. Finally, a test platform for the Android smart TV is designed and applied in smart TV tests in domestic house-hold electrical appliance plant.

Key words: state transition matrix, cyclomatic complexity, regular expression

崔凯，周宽久，梁浩然，潘杰. Android智能电视测试用例生成方法及应用研究[J]. 计算机工程与科学.

CUI Kai,ZHOU Kuan-jiu,LIANG Hao-ran,PAN Jie. A method for generating test cases and its application for Android smart TV [J]. Computer Engineering & Science.

参考文献

［1］Leiner B M,Ruth R J, Sastry A R, et al.Goals and challenges of the DARPA GloMo program global mobile information systems ［J］.IEEE Personal Communications,1996,3(2):34-43.
［2］Sidhu D P, Leung Ting-Kau. Formal methods for protocol testing:A detailed study ［J］.IEEE Transactions on Software Engineering,1989,15(4):413-426.
［3］Ammann P,Offutt J.Introduction to software testing ［M］.Cambridge,UK:Cambridge University Press,2008.
［4］Ravi S,Lakshminarayana G,Jha N K.TAO:Regular expression based high-level testability analysis and optimization［C］∥Proc of the 1998 IEEE International Test Conference,1998:331-340.
［5］Zi Xiao-chao,Yao Li-hong,Li Lan.A state-based approach to information flow analysis［J］,Chinese Journal of Computers,2006,29(8):1460-1467.（in Chinese）
［6］Dalal S R,Jain A,Karunanithi N,et al.Model-based testing in practice［C］∥Proc of the 21st International Conference on Software Engineering, 1999:285-294.
［7］Broy M,Jonsson B,Katoen J-P,et al.Model-based testing of reactive systems:Advanced lectures［M］∥Lecture Notes in Computer Science, Berlin:Springer Verlag,2005:391-438.
［8］Neto A D,Subramanyan R,Vieira M,et al.Improving evidence about software technologies:A Look at model-based testing［J］.IEEE Software,2008,25(3):10-13.
［9］Neto A D, Subraman yan R, Vieira M, et al.A survey on model-based testing approaches:A systematic review［C］∥ Proc of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies:Held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering,2007:31-36.
［10］Prathapani A, Santhanam L, Agrawal D P. Detection of blackhole attack in a wireless mesh network using intelligent honeypot agents ［J］.The Journal of Supercomputing,2013,1(1):753-758.
［11］Kilpelinen P,Tuhkanen R.One-unambiguity of regular expressions with numberic occurrence indicators［J］. Information & Computation, 2007,205(6):890-916.
［12］Liu Pan,Miao Huai-kou.A new approach to generating high quality test cases［C］∥Proc of IEEE 19th Asian Test Symposium (ATS 2010),2010:71-76.
［13］Matsumoto M,Anada K,Ueshima D,et al.Model checking of state transition matrix［R］.ITSSV 2005,AIST Technical Report,2005:2-11.
附中文参考文献：
［5］訾小超,姚立红,李斓.一种基于有限状态机的隐含信息流分析方法［J］.计算机学报,2006,29(8):1460-1467.