首页> 外文OA文献 >Autolink -- A Tool for Automatic Test Generation from SDL Specifications

【2h】

Autolink -- A Tool for Automatic Test Generation from SDL Specifications

机译：自动链接 - 从sDL规范生成自动测试的工具

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Beat Koch; Jens Grabowski; Dieter Hogrefe; Michael Schmitt;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Sdl2pml - Tool for automated generation of Promela model from SDL specification [J] . Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik Computer standards & interfaces . 2009,第4期

机译：Sdl2pml-用于根据SDL规范自动生成Promela模型的工具
2. Validation of SDL specifications using EFSM-based test generation [J] . W. Eric Wong, Andy Restrepo, Byoungju Choi Information and software technology . 2009,第11期

机译：使用基于EFSM的测试生成来验证SDL规范
3. SDL- and MSC-based specification and automated test case generation for INAP [J] . Jens Grabowski, Dieter Hogrefe Telecommunication systems: Modeling, Analysis, Design and Management . 2002,第3a4期

机译：基于SDL和MSC的规范以及用于INAP的自动测试案例生成
4. Autolink-a tool for automatic test generation from SDL specifications [C] . Koch, B., Grabowski, . 1999

机译：自动链接-一种根据SDL规范自动生成测试的工具
5. Automatic generation of SDL specifications from timed MSCs. [D] . Zhang, Xiao Jun. 2004

机译：从定时MSC自动生成SDL规范。
6. Applying modern psychometric techniques to melodic discrimination testing: Item response theory computerised adaptive testing and automatic item generation [O] . Peter M. C. Harrison, Tom Collins, Daniel Müllensiefen -1

机译：将现代心理测量技术应用于旋律鉴别测试：项目响应理论计算机化自适应测试和自动项目生成
7. Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications [O] . Anders Ek, Jens Grabowski, Dieter Hogrefe, 100

机译：面向SDL规范的验证技术和自动测试生成方法的工业应用

Autolink -- A Tool for Automatic Test Generation from SDL Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅