A METHOD FOR SOFTWARE TESTING BASED ON DETERMINISTIC FINITE AUTOMATA MACHINE

机译：一种基于确定性有限自动机的软件测试方法

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this article, a path coverage testing method based on deterministic finite automata machine is proposed after analyzing current software testing methods. Deterministic finite automata machine and loop edge is introduced to perform the change between source program and path coverage testing. The experiment shows that the new method can reduce the number of generated paths to satisfy testing goal.

机译：在本文中，在分析当前的软件测试方法后提出了一种基于确定性有限自动机床的路径覆盖测试方法。介绍确定性有限自动机和循环边缘，以执行源程序和路径覆盖测试之间的变化。实验表明，新方法可以减少产生的路径的数量，以满足测试目标。

著录项

来源
《International Symposium on Information Engineering and Electronic Commerce》|2011年||共3页
会议地点
作者
Hong Mei Mao; Hong Cai;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 G202-53;
关键词
Software testing; Path coverage testing; Loop edge; Deterministic finite automata machine;

机译：软件测试;路径覆盖测试;循环边缘;确定性有限自动机;

相似文献

外文文献
中文文献
专利

1. Real-time embedded software testing method based on extended finite state machine [J] . Yin Yongfeng Systems Engineering and Electronics, Journal of . 2012,第2期

机译：基于扩展有限状态机的实时嵌入式软件测试方法
2. Real-time embedded software testing method based on extended finite state machine [J] . Yongfeng Yin, Bin Liu, Hongying Ni 系统工程与电子技术（英文版） . 2012,第002期

机译：基于扩展有限状态机的实时嵌入式软件测试方法
3. Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine [J] . R. M. HIERONS The Computer journal . 2003,第3期

机译：针对非确定性有限状态机测试确定性实现时生成候选
4. A METHOD FOR SOFTWARE TESTING BASED ON DETERMINISTIC FINITE AUTOMATA MACHINE [C] . Hong Mei Mao, Hong Cai International Symposium on Information Engineering and Electronic Commerce . 2011

机译：一种基于确定性有限自动机的软件测试方法
5. A GENERALIZED MODEL FOR MEMORY BASED FINITE STATE MACHINES (DIGITAL SYSTEMS, AUTOMATA, DECOMPOSITION, ARCHITECTURE). [D] . MOREAN, ORLANDO ARTURO. 1986

机译：基于内存的有限状态机（数字系统，自动，分解，体系结构）的通用模型。
6. Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information [O] . Desheng Liu, Zhiping Huang, Yimeng Zhang, -1

机译：基于后向深度信息的有效确定性有限自动机最小化
7. Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine [O] . R. M. Hierons 2014

机译：在针对非确定性有限状态机测试确定性实现时生成候选者

A METHOD FOR SOFTWARE TESTING BASED ON DETERMINISTIC FINITE AUTOMATA MACHINE

摘要

著录项

相似文献

相关主题

期刊订阅