计算机科学 ›› 2016, Vol. 43 ›› Issue (Z11): 474-481.doi: 10.11896/j.issn.1002-137X.2016.11A.107
李元平,李华,赵俊岚
LI Yuan-ping, LI Hua and ZHAO Jun-lan
摘要： 在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法；结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。
| [1] Bertolino A.Software testing research:Achievements,challenges,dreams[C]∥2007 Future of Software Engineering.IEEE Computer Society,2007:85-103 [2] 刘攀,缪淮扣,曾红卫,等.基于 FSM 的测试理论,方法及评估[J].计算机学报,2011,34(6):965-984 [3] Petrenko A,Yevtushenko N.Adaptive testing of deterministic implementations specified by nondeterministic FSMs[C]∥IFIP International Conference on Testing Software and Systems.Springer Berlin Heidelberg,2011:162-178 [4] Petrenko A,Yevtushenko N.Adaptive testing of nondeterministic systems with FSM[C]∥2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.IEEE,2014:224-228 [5] Chow T S.Testing software design modeled by finite-state machines[J].IEEE Transactions on Software Engineering,1978,4(3):178 [6] 蒙移发,徐惠民,高强.协议验证与一致性测试方法[J].计算机科学,2002,29(5):40-42 [7] Machado P D L,Silva D A,Mota A C.Towards property oriented testing[J].Electronic Notes in Theoretical Computer Science,2007,184:3-19 [8] 刘攀.基于FSM的测试用例生成和测试优化[D].上海:上海大学,2010 [9] Fujiwara S,Bochmann G,Khendek F,et al.Test selection based on finite state models[J].IEEE Transactions on Software Engineering,1991,17(6):591-603 [10] 毕军,吴建平.基于 FSM 的形式化测试序列生成方法[J].软件,1995(8):15-21 [11] Luo G,Petrenko A,Bochmann G.Selecting test sequences for partially-specified nondeterministic finite state machines[M]∥Protocol Test Systems.Springer US,1995:95-110 [12] Juristo N,Moreno A M,Vegas S.Reviewing 25 years of testing technique experiments[J].Empirical Software Engineering,2004,9(1/2):7-44 |
| No related articles found! |
|
||
首页