Issue Date: 6-10 April 2010rnrntOn page(s): rnt54rnttrn- 61rnrnrnLocation: Paris, FrancernrnPrint ISBN: 978-1-4244-6773-0rnrnrnrnttrnDigital Object Identifier: href='http://dx.doi.org/10.1109/ICSTW.2010.47' target='_blank'>10.1109/ICSTW.2010.47 rnrnDate of Current Version: trnrnt2010-05-13 13:19:48.0rnrnt rntt class="body-text">rntname="Abstract">>Abstractrn>This paper presents a computer aided model-based test generation method. We propose this approach as a complement to the LTG (Leirios Test Generator) method, which extracts functional tests out of a formal behavioral model M by means of static (or structural) selection criteria. Our method computes additional tests by applying dynamic (or behavioral) selection criteria (tes;
Abstraction; Model-Based Testing; Test Purpose;
机译:基于和谐搜索的测试数据生成,用于软件结构测试中的分支机构覆盖
机译:基于关系的功能测试与结构测试相结合的方法
机译:在高温下测试的小直径基于SIC的纤维的最新生成的微观结构演变
机译:基于抽象和测试目的的测试生成,以补充结构测试
机译:基于MSC中表达的测试目的的定时测试套件生成。
机译:基于Lovibond色度系统的新型色度计及其在鱼肝油检测中的应用及其他目的
机译:基于抽象和测试目的的测试生成以补充结构测试
机译:基于形式化规范的数据抽象测试系统评估