Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV

IEEE Access

Volumn 5, Issue , 2017, Pages 6492-6501

  Cui, Kai ^a   Zhou, Kuanjiu ^a   Song, Houbing ^b   Li, Mingchu ^a  

^a DALIAN UNIVERSITY OF TECHNOLOGY   (China)

^b West Virginia University   (United States)

Author keywords

Cyclomatic complexity; expanded regular expressions; group state; Hierarchical state transition matrix

Indexed keywords

ANDROID (OPERATING SYSTEM); AUTOMATION; COMPLEX NETWORKS; DISTANCE EDUCATION; EFFICIENCY; HIGH LEVEL LANGUAGES; INTELLIGENT BUILDINGS; PATTERN MATCHING; REMOTE PATIENT MONITORING; SPECIFICATIONS; SYSTEMS ANALYSIS;

AUTOMATED SOFTWARE TESTING; CLOSURE OPERATORS; CYCLOMATIC COMPLEXITY; DESIGN SPECIFICATION; GROUP STATE; HIERARCHICAL STATE; REGULAR EXPRESSIONS; TESTING EFFICIENCY;

SOFTWARE TESTING;

EID: 85027984210     PISSN: None     EISSN: 21693536     Source Type: Journal    
DOI: 10.1109/ACCESS.2017.2694880     Document Type: Article

References (24)

1. T. Qiu, D. Luo, F. Xia, N. Deonauth, W. Si, and A. Tolba, "A greedy model with small world for improving the robustness of heterogeneous Internet of Things, " Comput. Netw., vol. 101, pp. 127-143, Jun. 2016.
2. C. Lin, G. Wu, M. S. Obaidat, and C. W. Yu, "Clustering and splitting charging algorithms for large scaled wireless rechargeable sensor networks, " J. Syst. Softw., vol. 113, pp. 381-394, Mar. 2016.
3. C. Lin, Y. Wu, Z. Liu, M. S. Obaidat, C. W. Yu, and G. Wu, "GTCharge: A game theoretical collaborative charging scheme for wireless rechargeable sensor networks, " J. Syst. Softw., vol. 121, pp. 88-104, Nov. 2016.
4. C. Lin, Z. Wang, D. Han, Y. Wu, C. W. Yu, and G. Wu, "TADP: Enabling temporal and distantial priority scheduling for on-demand charging architecture in wireless rechargeable sensor networks, " J. Syst. Archit., vol. 70, pp. 26-38, Oct. 2016.
5. C. Lin, G. Wu, F. Xia, M. Li, L. Yao, and Z. Pei, "Energy efficient ant colony algorithms for data aggregation in wireless sensor networks, " J. Comput. Syst. Sci., vol. 78, no. 6, pp. 1686-1702, Nov. 2012.
6. C. Lin, D. Han, J. Deng, and G. Wu, "P2S: A primary and passer-by scheduling algorithm for on-demand charging architecture in wireless rechargeable sensor networks, " IEEE Trans. Veh. Technol., to be published.
7. T. Qiu, W. Sun, Y. Bai, and Y. Zhou, "An efficient multi-path selforganizing strategy in Internet of Things, " Wireless Pers. Commun., vol. 73, no. 4, pp. 1613-1629, 2013.
8. T. Qiu, X. Liu, L. Feng, Y. Zhou, and K. Zheng, "An efficient tree-based self-organizing protocol for Internet of Things, " IEEE Access, vol. 4, pp. 3535-3546, 2016.
9. T. Qiu, Y. Lv, F. Xia, N. Chen, J. Wan, and A. Tolba, "ERGID: An efficient routing protocol for emergency response Internet of Things, " J. Netw. Comput. Appl., vol. 72, pp. 104-112, Sep. 2016.
10. T. Qiu, L. Feng, H. Jiang, and W. Sun, "Queueing model analysis and scheduling strategy for embedded multi-core SoC based on task priority, " Comput. Elect. Eng., vol. 39, no. 1, pp. 24-33, Jan. 2013.
11. S. Jeschke, C. Brecher, H. Song, and D. B. Rawat, Industrial Internet of Things. Cham, Switzerland: Springer, 2017.
12. K. Xu, X. Wang, W. Wei, H. Song, and B. Mao, "Toward software defined smart home, " IEEE Commun. Mag., vol. 54, no. 5, pp. 116-122, May 2016.
13. H. Song, R. Srinivasan, T. Sookoor, and S. Jeschke, Smart Cities: Founda-tions Principles and Applications. 2017.
14. D. Sidhu and T.-K. Leung, "Formal methods for protocol testing: A detailed study, " IEEE Trans. Softw. Eng., vol. 15, no. 4, pp. 413-426, Apr. 1989.
15. S. R. Dalal et al., "Model-based testing in practice, " in Proc. Int. Conf. Softw. Eng., 1999, pp. 285-294.
16. P. Kilpeläinen and R. Tuhkanen, "One-unambiguity of regular expressions with numeric occurrence indicators, " Inf. Comput., vol. 205, no. 6, pp. 890-916, Jun. 2007.
17. X.-C. Zi, L.-H. Yao, and L. Li, "A state-based approach to information flow analysis, " Chin. J. Comput., vol. 29, no. 8, pp. 1460-1467, 2006.
18. P. Liu and H. Miao, "Anewapproach to generating high quality test cases, " in Proc. 19th IEEE Asian Test Symp., Dec. 2010, pp. 71-76.
19. P. Ammann and J. Offutt, Introduction to Software Testing. Cambridge, U. K.: Cambridge Univ. Press, 2016.
20. S. Ravi, G. Lakshminarayana, and N. K. Jha, "TAO: Regular expression based high-level testability analysis and optimization, " in Proc. Int. Test Conf., Oct. 1998, pp. 331-340.
21. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner, Model-Based Testing of Reactive Systems: Advanced Lectures, vol. 3472. Berlin, Germany: Springer, 2005.
22. W. Kong, N. Katahira, M. Watanabe, T. Katayama, K. Hisazumi, and A. Fukuda, "Formal verification of software designs in hierarchical state transition matrix with smt-based bounded model checking, " in Proc. 18th Asia Pacific Softw. Eng. Conf., Dec. 2011, pp. 81-88.
23. J. Liu, Z. Ren, Q. Guo, and B. Wang, "Node importance ranking of complex networks, " Acta Phys. Sin, vol. 62, no. 17, pp. 1-10, 2013.
24. J. Wang, L. Rong, and T. Guo, "A new measure method of network node importance based on local characteristics, " J. Dalian Univ. Technol., vol. 50, no. 5, pp. 822-826, 2010.