首页> 外文OA文献 >A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking

【2h】

A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking

机译：基于UML状态图的软件规格变异测试一致性检查方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Mi Lei; Ben Kerong;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A formal methodology for semantics and time consistency checking of UML dynamic diagrams [J] . Youcef Hammala* Journal of the Chinese Institute of Engineers . 2011,第2期

机译：UML动态图的语义和时间一致性检查的正式方法
2. A formal methodology for semantics and time consistency checking of UML dynamic diagrams [J] . Hammal Y. Journal of the Chinese Institute of Engineers . 2011,第2期

机译：UML动态图的语义和时间一致性检查的形式化方法
3. An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z [J] . Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Journal of Software Engineering and Applications . 2015,第8期

机译：UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
4. A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking [C] . Lei Mi, Kerong Ben International Conference on Advanced in Control Engineering and Information Science . 2013

机译：一种基于UML状态图的一致性检查软件规范突变测试方法
5. Consistency checking in multiple UML state diagrams using Super State Analysis. [D] . Alanazi, Mohammad N. 2008

机译：使用超级状态分析在多个UML状态图中进行一致性检查。
6. Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts [O] . Halit Erdogan, Esra Erdem, Olivier Bodenreider -1

机译：利用UMLS语义检查UMLS概念中的语义一致性
7. Generation of Software Test Data from the Design Specification Using Heuristic Techniques. Exploring the UML State Machine Diagrams and GA Based Heuristic Techniques in the Automated Generation of Software Test Data and Test Code. [O] . Doungsa-ard Chartchai 2011

机译：使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。

A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking

著录项

引文网络

相似文献

相关主题

期刊订阅