Review on formalizing use cases and scenarios: Scenario based testing

Altaf Hussain, A. Nadeem, Muhammad Touseef Ikram
{"title":"Review on formalizing use cases and scenarios: Scenario based testing","authors":"Altaf Hussain, A. Nadeem, Muhammad Touseef Ikram","doi":"10.1109/ICET.2015.7389203","DOIUrl":null,"url":null,"abstract":"Software Testing is an important activity used for quality assurance, reliability estimation, validation and verification of software products under development. There is a need for effective testing techniques for larger, complex and safety critical software applications in different fields of life such as defense, medical, automobiles and control systems for different products. Recent approaches have been taken by the researcher to use UML models for the purpose of software testing. Test cases may be generated from the artifacts used in requirement and design specifications or it is produced from the code of software. The former is more advantageous over the later for test case generations and contributes more positively in software development process; although both has its own vital roles. Much research has been done and even in progress for software testing using UML diagrams. In this paper we have gone through a literature review on different techniques proposed for testing from UML models. This work focuses on finding the existing approaches of software testing that adopted the way of formalizing the user requirements using use case scenarios and use case diagrams. Then these approaches are evaluated using some parameters i.e. support for inter-scenario dependency, consistency check, initial artifact and the target formalization by each approach. This paper will make help to the researcher interested in the field of software testing using the artifacts in the requirement and design specifications of software application under development.","PeriodicalId":166507,"journal":{"name":"2015 International Conference on Emerging Technologies (ICET)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 International Conference on Emerging Technologies (ICET)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICET.2015.7389203","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9

Abstract

Software Testing is an important activity used for quality assurance, reliability estimation, validation and verification of software products under development. There is a need for effective testing techniques for larger, complex and safety critical software applications in different fields of life such as defense, medical, automobiles and control systems for different products. Recent approaches have been taken by the researcher to use UML models for the purpose of software testing. Test cases may be generated from the artifacts used in requirement and design specifications or it is produced from the code of software. The former is more advantageous over the later for test case generations and contributes more positively in software development process; although both has its own vital roles. Much research has been done and even in progress for software testing using UML diagrams. In this paper we have gone through a literature review on different techniques proposed for testing from UML models. This work focuses on finding the existing approaches of software testing that adopted the way of formalizing the user requirements using use case scenarios and use case diagrams. Then these approaches are evaluated using some parameters i.e. support for inter-scenario dependency, consistency check, initial artifact and the target formalization by each approach. This paper will make help to the researcher interested in the field of software testing using the artifacts in the requirement and design specifications of software application under development.
对形式化用例和场景的回顾:基于场景的测试
软件测试是一项重要的活动,用于开发中的软件产品的质量保证、可靠性评估、确认和验证。在不同的生活领域,如国防、医疗、汽车和不同产品的控制系统,需要有效的测试技术来测试更大、更复杂和安全关键的软件应用。研究人员采用了最近的方法,将UML模型用于软件测试。测试用例可以从需求和设计规范中使用的工件中生成,也可以从软件代码中生成。对于测试用例的生成,前者比后者更有优势,在软件开发过程中贡献更积极;尽管两者都有各自的重要作用。对于使用UML图进行软件测试,已经做了很多研究,甚至还在进行中。在这篇文章中,我们回顾了关于从UML模型进行测试的不同技术的文献。这项工作的重点是寻找现有的软件测试方法,这些方法采用了使用用例场景和用例图形式化用户需求的方法。然后用一些参数对这些方法进行了评估,即每种方法对场景间依赖、一致性检查、初始工件和目标形式化的支持。本文将对在开发的软件应用程序的需求和设计规范中使用构件对软件测试领域感兴趣的研究者有所帮助。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信