Deriving conformance tests for telecommunication protocols using #x03BC;Java tool

机译：使用μJava工具得出电信协议的一致性测试

获取原文

获取外文期刊封面目录资料

页面导航

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

摘要

In this paper, we have proposed a method for improving the fault coverage of EFSM based test suites using the mutation testing for its proper java implementation.

机译：在本文中，我们提出了一种使用突变测试来改进基于EFSM的测试套件的故障覆盖率的方法，以实现其正确的Java实现。

著录项

来源
《International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices》|2014年|150-153|共4页
会议地点
作者
Ermakov Anton D.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
#x03BC; Java; EFSM; FSM; Mutation; testing;

机译：μJava; EFSM; FSM;突变;测试;

相似文献

外文文献
中文文献
专利

1. Development of Formal Models and Conformance Testing for Systems with Asynchronous Interfaces and Telecommunications Protocols [J] . N. V. Pakulin, A. V. Khoroshilov Programming and Computer Software . 2007,第6期

机译：带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
2. Development Of Verification And Conformance Testing Tools For A Railway Signaling Communication Protocol [J] . Jae-Ho Lee, Jong-Gyu Hwang, Ducko Shin, Computer standards & interfaces . 2009,第2期

机译：铁路信号通信协议验证与一致性测试工具的开发
3. How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults [J] . Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Empirical Software Engineering . 2018,第4期

机译：变异测试工具的效果如何？具有人工分析和实际故障的Java变异测试工具的实证分析
4. Deriving conformance tests for telecommunication protocols using amp;#x03BC;Java tool [C] . Ermakov Anton D. International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices . 2014

机译：使用＆＃x03bc衍生电信协议的一致性测试; Java工具
5. Automatic test case generation of conformance testing for communication protocols specified in extended models. [D] . Wang, Chang-Jia. 1994

机译：针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
6. A JAVA-Based Tool for Remote Access to Emergency Protocols [O] . Victor Maojo, Luis Villalonga, Jose Crespo, 1997

机译：用于远程访问紧急协议的基于Java的工具
7. Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols [O] . Stephan Schulz 2004

机译：基于文本的协议的一致性测试的抽象协议类型定义的推导
8. Java Based Human Computer Interface For a UAV Decision Support Tool Using Conformal Mapping [R] . Flood, R. A. 1999

机译：基于Java的人机界面，用于使用保形映射的无人机决策支持工具

Deriving conformance tests for telecommunication protocols using #x03BC;Java tool

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅