Issue Date: 6-10 April 2010rnrntOn page(s): rnt222rnttrn- 231rnrnrnLocation: Paris, FrancernrnPrint ISBN: 978-1-4244-6773-0rnrnrnrnttrnDigital Object Identifier: href='http://dx.doi.org/10.1109/ICSTW.2010.44' target='_blank'>10.1109/ICSTW.2010.44 rnrnDate of Current Version: trnrnt2010-05-13 13:19:49.0rnrnt rntt class="body-text">rntname="Abstract">>Abstractrn>Experimental work in software testing has generally focused on evaluating the effectiveness and efficiency on various source code programs. However, an important issue of testing efficiency on the model level has not been sufficiently addressed, and hitherto, no empirical studies exist. This paper presents an automated test data generation system for feasible transition p;
机译:一种基于搜索的集成方法,可从扩展有限状态机(EFSM)模型进行自动测试
机译:通过基于事件的EFSM建模为带有复杂循环的SDL中指定的协议生成测试
机译:使用Monte Carlo树搜索生成来自EFSM模型的可行协议测试序列
机译:基于EFSM模型的搜索试验效率的实证研究
机译:基于搜索的基于状态的组件的自动测试生成方法。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:EFsm模型搜索检测生成效率的实证研究
机译:雷电探测效率分析过程:基于经验数据的建模。