AN INPUT LANGUAGE BASED ON EXTENDED MESSAGE SEQUENCE CHARTS AND USED FOR TEST SPECIFICATION

V. P. Kotlyarov; V. A. Sukhomlinov

首页> 外文期刊>Cybernetics and Systems Analysis >AN INPUT LANGUAGE BASED ON EXTENDED MESSAGE SEQUENCE CHARTS AND USED FOR TEST SPECIFICATION

【24h】

AN INPUT LANGUAGE BASED ON EXTENDED MESSAGE SEQUENCE CHARTS AND USED FOR TEST SPECIFICATION

机译：基于扩展消息序列图的输入语言，用于测试规范

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The use of Message Sequence Charts (MSCs) for test generation is discussed and an extended MSC language that provides a considerable economv of manual work in developing test specifications is proposed.

机译：讨论了使用消息序列图（MSC）进行测试生成的情况，并提出了一种扩展的MSC语言，该语言可为开发测试规范提供大量的人工工作。

著录项

来源
《Cybernetics and Systems Analysis》 |2004年第1期|p.43-51|共9页
作者
V. P. Kotlyarov; V. A. Sukhomlinov;
展开▼
作者单位

Closed Corporation "Motorola ZAO," St. Petersburg, Russia;

展开▼
收录信息美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
program testing; test generation; MSC; macros;

机译：程序测试;测试生成;MSC;宏;

相似文献

外文文献
中文文献
专利

1. Basic protocols, message sequence charts, and the verification of requirements specifications [J] . A. Letichevsky, J. Kapitonova, A. Letichevsky Jr., Computer networks . 2005,第5期

机译：基本协议，消息序列图和需求规范的验证
2. Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software [J] . Byeong Man Kim, Hyeon Soo Kim, Wooyoung Kim IEICE Transactions on Information and Systems . 2001,第2期

机译：构造全局状态转换图以验证写在电信软件消息序列图中的规范
3. Natural language and message sequence chart representation of use cases [J] . L. M. G. Feijs Information and software technology . 2000,第9期

机译：用例的自然语言和消息序列图表示
4. An Executable Specification Language Based on Message Sequence Charts [C] . Abhik Roychoudhury, P.S. Thiagarajan Anniversary colloquium of UNU/IIST . 2003

机译：基于消息序列图表的可执行规范语言
5. Message sequence chart specifications with cross verification. [D] . Boles, Timothy Shawn. 2001

机译：带有交叉验证的消息序列图规范。
6. Development and Validation of the Minnesota Low Vision Reading Test (MNRead) Acuity Chart for the Asante Twi Language [O] . Samuel Bert Boadi-Kusi, Michael Agyemang Kwarteng, Emmanuel Asubonteng 2019

机译：明尼苏达州阿桑特Twi语言的低视力阅读测试（MNRead）视力表的开发和验证
7. An Executable Specification Language Based on Message Sequence Charts [O] . 2008

机译：基于消息序列图的可执行规范语言
8. Specification of Tools for Message Sequence Charts [R] . Mauw, S., van der Meulen, E. A. 1995

机译：消息序列图工具规范

AN INPUT LANGUAGE BASED ON EXTENDED MESSAGE SEQUENCE CHARTS AND USED FOR TEST SPECIFICATION

摘要

著录项

相似文献

相关主题

期刊订阅