EFSM模型相关论文
启发式搜索算法以其智能化的特点,在各个领域被广泛采用。常见的启发式搜索算法有遗传算法,模拟退火算法,禁忌搜索算法等。在软件......
软件测试对于检测软件开发和维护过程中的软件故障至关重要。软件测试的有效性主要由测试用例集的质量决定,高质量的测试用例集可......
基于模型的软件测试技术在学术界和工业界得到越来越多的重视,已成为自动化测试的一个重要研究方向。进入Web2.0时代之后,Ajax技术......
随着web应用程序的应用越来越广泛,web应用程序的质量及可靠性变得越来越重要,而web应用测试是保证软件质量,提高可靠性的重要手段......
基于模型的软件测试凭借其测试生成效率高、易于实现等优势,在自动化测试领域受到了广泛关注。扩展有限状态机EFSM模型是诸多软件......
随着信息数字化时代的来临,计算机软件以惊人的速度急剧膨胀,软件测试对保障软件质量起着至关重要的作用。扩展有限状态机(Extende......
目前,超过90%的Web应用程序容易受到攻击。一旦Web应用程序被攻击,将会严重威胁到Web应用程序的安全性,造成经济损失。因此,如何提......
软件的修复需要修复算法对整个系统有深入的理解,然而随着软件规模的增大,对于理解与分析整个系统能力的要求越来越高。模型是一种......
在Web应用软件模型表示研究领域中,研究对象主要为不含Ajax技术的应用程序。少数针对Ajax(Asynchronous JavaScript and XML)的模......
针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构......
本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以......
基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite s......
扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技......
进入Web 2.0时代之后,由于Ajax技术在Web应用软件中的广泛使用,使得Web页面局部刷新的特点凸显出来,这给Web应用软件的模型表示带......