检索结果-南通市图书馆

A test Case Generation Approach Based on Sequence Diagram and Automata Models

Chinese Journal of Electronics 2016年第2期25卷 234-240页

作者： ZHANG Chen DUAN Zhenhua YU Bin TIAN Cong DING Ming Institute of Computing Theory and Technology Xidian University School of Computer Science and Technology Xidian University School of Information and Technology Northwest University Xi’an Aeronautics Computing Technique Research Institute AVIC

To improve the test automation in software development process, following the researches on test cases generation technology from models, an incremental test case generation approach is proposed based on finite automata, and Event deterministic finite automata(ETDFA)are employed to describe the sequence diagram models of system interaction. By model checked with Propositional pro jection temporal logic(PPTL), the correctness of ETDFA is verified. Then we can get the composed automata by synthesis rules, and generate the test cases incrementally by test cases generation algorithm. Case studies are presented to show that this approach enables to improve test cases correctness, and reduce the complexity of test cases generation process.

关键词： test model Model based testing test scenario test cases

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Out of sight, out of mind: a distance-aware forgetting strategy for adaptive random testing

引用

Science China(Information Sciences) 2017年第9期60卷 78-98页

作者： Chengying MAO Tsong Yueh CHEN Fei-Ching KUO School of Software and Communication Engineering Jiangxi University of Finance and Economics Department of Computer Science and Software Engineering Swinburne University of Technology

Adaptive random testing(ART) achieves better failure-detection effectiveness than random testing by increasing the diversity of test cases. However, the intention of ensuring even spread of test cases inevitably causes an overhead problem. Although two basic forgetting strategies(i.e. random forgetting and consecutive retention) were proposed to reduce the computation cost of ART, they only considered the temporal distribution of test cases. In the paper, we presented a distance-aware forgetting strategy for the fixed size candidate set version of ART(DF-FSCS), in which the spatial distribution of test cases is taken into consideration. For a given candidate, the test cases out of its "sight" are ignored to reduce the distance computation cost. At the same time, the dynamic adjustment for partitioning and the second-round forgetting are adopted to ensure the linear complexity of DF-FSCS algorithm. Both simulation analysis and empirical study are employed to investigate the efficiency and effectiveness of DF-FSCS. The experimental results show that DF-FSCS significantly outperforms the classical ART algorithm FSCS-ART in efficiency, and has comparable failure-detection effectiveness. Compared with two basic forgetting methods, DF-FSCS is better in both efficiency and effectiveness. In contrast with a typical linear-time ART algorithm RBCVT-Fast, our algorithm requires less computational overhead and exhibits the similar failure-detection capability. In addition, DF-FSCS has more reliable performance than RBCVT-Fast in detecting failures for the programs with high-dimensional input domain.

关键词： adaptive random testing software testing test cases computational overhead diversity

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

ContextAug:model-domain failing test augmentation with contextual information

引用

Frontiers of Computer Science 2024年第2期18卷 43-60页

作者： Zhuo ZHANG Jianxin XUE Deheng YANG Xiaoguang MAO School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China School of Computer and Information Engineering Institute for Artificial IntelligenceShanghai Polytechnic UniversityShanghai 201209China College of Computer National University of Defense TechnologyChangsha 410073China

In the process of software development,the ability to localize faults is crucial for improving the efficiency of *** speaking,detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development *** have tried to utilize various methods to locate the faulty ***,failing test cases usually account for a small portion of the test suite,which inevitably leads to the class-imbalance phenomenon and hampers the effectiveness of fault ***,in this work,we propose a new fault localization approach named *** obtaining dynamic execution through test cases,ContextAug traces these executions to build an information model;subsequently,it constructs a failure context with propagation dependencies to intersect with new model-domain failing test samples synthesized by the minimum variability of the minority feature *** contrast to traditional test generation directly from the input domain,ContextAug seeks a new perspective to synthesize failing test samples from the model domain,which is much easier to augment test *** conducting empirical research on real large-sized programs with 13 state-of-the-art fault localization approaches,ContextAug could significantly improve fault localization effectiveness with up to 54.53%.Thus,ContextAug is verified as able to improve fault localization effectiveness.

关键词： context fault localization test cases

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Generating test case specifications of web service composition using model checking

引用

Journal of Shanghai University(English Edition) 2011年第5期15卷 409-414页

作者：钱铃莉陈怡海 School of Computer Engineering and Science Shanghai University State Key Laboratory of Software Engineering Wuhan University

Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.

关键词： model-based testing web services choregraphy description language (WS-CDL) model checking simple promela interpreter (SPIN) test cases

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：