Computer Science ›› 2017, Vol. 44 ›› Issue (4): 234-240.doi: 10.11896/j.issn.1002-137X.2017.04.050
Previous Articles Next Articles
LIANG Hao-ran, ZHOU Kuan-jiu, CUI Kai, PAN Jie and HOU Gang
[1] BERTOLINO A.Software testing research:Achievements,challenges,dreams[C]∥Future of Software Engineering.IEEE,2007:85-103. [2] LEE D,YANNAKAKIS M.Principles and methods of tes-ting finite state machines-a survey[J].Proceedings of the IEEE,1996,84(8):1090-1123. [3] PRADHAN S N,CHOUDHURY P.Low power and high testable Finite State Machine synthesis[C]∥2015 International Conference and Workshop on Computing and Communication (IEMCON).Vancouver,Canada:IEEE Press,2015:1-5. [4] GOMES CABRAL F,MOREIRA M V,DIENE O,et al.A Petri net diagnoser for discrete event systems modeled by finite state automata[J].IEEE Transactions on Automatic Control,2015,60(1):59-71. [5] FUJIWARA S,BOCHMANN G V,KHENDEK F,et al.Testselection based on finite state models[J].IEEE Transactions on Software Engineering,1991,17(6):591-603. [6] LIU P,MIAO H K,ZENG H W,et al.FSM-based testing:Theory,method and evaluation[J].Chinese Journal of Computers,2011,34(6):965-984.(in Chinese) 刘攀,缪淮扣,曾红卫,等.基于 FSM 的测试理论,方法及评估[J].计算机学报,2011,34(6):965-984. [7] CHOW T S.Testing software design modeled by finite-statemachines[J].IEEE Transactions on Software Engineering,1978(3):178-187. [8] SABNANI K,DAHBURA A.A protocol test generation procedure[J].Computer Networks and ISDN systems,1988,15(4):285-297. [9] AMMANN P,OFFUTT J.Introduction to software testing[M].Cambridge,UK:Cambridge University Press,2008. [10] BOCHMANNAND G V,GECSEI J.A unified method for the spectification and verification of protocols[C]∥IFIP Congress,1977.Toronto,Canada:IEEE,1977:229-234. [11] PETRENKO A,BORODAY S,GROZ R.Confirming configurations in EFSM testing[J].IEEE Transactions on Software Engineering,2004,30(1):29-42. [12] DERDERIAN K,HIERONS R M,H ARMAN M,et al.Estimating the feasibility of transition paths in extended finite state machines[J].Automated Software Engineering,2010,17(1):33-56. [13] YANG R,CHEN Z,ZHANG Z,et al.EFSM-Based Test Case Generation:Sequence,Data,and Oracle[J].International Journal of Software Engineering and Knowledge Engineering,2015,25(4):633-667. [14] WALKINSHAW N,TAYLOR R,DERRICK J.Inferring ex-tended finite state machine models from software executions[J].Empirical Software Engineering,2016,21(3):811-853. [15] HUANG C M,JANG M Y,LIN Y C.Executable EFSM-based data flow and control flow protocol test sequence generation using reachability analysis[J].Journal of the Chinese Institute of Engineers,1999,22(5):593-615. [16] ZHANG J,YANG R,CHEN Z,et al.Automated EFSM-based test case generation with scatter search[C]∥International Workshop on Automation of Software Test (AST).IEEE Press,2012:76-82. [17] GAROFALAKIS M N,RASTOGI R,SHIM K.SPIRIT:Se-quential pattern mining with regular expression constraints:VLDB,1999[C]∥Edinburgh.Scotland:Morgan Kaufmann Publishers,1999:7-10. [18] LIU P,MIAO H.Theory of Test Modeling Based on RegularExpressions [M]∥Structured Object-oriented Formal Lanuage and Method.2013:17-31 . [19] BELLI F,GROSSPIETSCH K E.Specification of fault-tolerant system issues by predicate/transition nets and regular expressions-approach and case study[J].IEEE Transactions on Software Engineering,1991,17(6):513-526. |
No related articles found! |
|