期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一个适用于转换X-machine模型为Java代码的框架的设计与实现
1
作者 杨洋 《苏州大学学报(自然科学版)》 CAS 2007年第4期50-54,共5页
X-machine是一种形式化的、适用于动态系统建模的方法.首先介绍了该建模方法,然后设计、实现了一个可复用的、可转换X-machine模型为Java代码的框架,并给出在蚂蚁仿生系统中应用该框架的实例.
关键词 x-machine MODELS 框架 形式化 蚂蚁仿生系统
下载PDF
基于持久化X-Machine的SaaS测试
2
作者 曹阳 宋连春 王盈 《计算机工程》 CAS CSCD 北大核心 2011年第9期87-89,共3页
分析软件即服务(SaaS)类型软件的特点,在此基础上,提出SaaS系统的持久化X-Machine(DXM)模型,以支持形式化、自动化的SaaS系统测试。以一个客户关系管理(CRM)SaaS系统为实例进行建模,结果证明,DXM模型可以有效地对SaaS系统进行建模并构... 分析软件即服务(SaaS)类型软件的特点,在此基础上,提出SaaS系统的持久化X-Machine(DXM)模型,以支持形式化、自动化的SaaS系统测试。以一个客户关系管理(CRM)SaaS系统为实例进行建模,结果证明,DXM模型可以有效地对SaaS系统进行建模并构造测试集。 展开更多
关键词 软件即服务 软件测试 系统建模 持久化x-machine
下载PDF
Web Testing Generation: A Stream <i>X-Machine</i>Based Approach
3
作者 Zhongsheng Qian 《Journal of Software Engineering and Applications》 2012年第1期7-13,共7页
To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets i... To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research. 展开更多
关键词 Web Application SXM (Stream x-machine) FSM (Finite State Machine) Test Case Testing Framework
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部