基于时间最小化准则的Web应用程序复杂动态验证方法

Yu. K. Kravchenko, Oleksandr Makhovych, Anton Yakymenko, Serhii Salkutsan, Maksym Tyshchenko, Gulnur Smagulova
{"title":"基于时间最小化准则的Web应用程序复杂动态验证方法","authors":"Yu. K. Kravchenko, Oleksandr Makhovych, Anton Yakymenko, Serhii Salkutsan, Maksym Tyshchenko, Gulnur Smagulova","doi":"10.1109/SIST50301.2021.9465904","DOIUrl":null,"url":null,"abstract":"This article presents the complex dynamic method of Web application verification according to the criterion of minimum time with a further review of related tools.Dynamic verification methods use the results of real work, tested by the software system or its prototypes, to verify the compliance of these results with the requirements and design decisions. The review includes methods of dynamic verification - testing and verification monitoring. Software verification support tools - jUnit (testing) and AppDynamics (monitoring) are analyzed. The classification of methods is based on the list of important features, such as functionality, performance, reliability, and ease of use. Dynamic verification can be real or simulated, depending on whether it is used in its course, the software, its prototype or executable model.The experimental part presented as results of monitoring and test running on pre-prepared software, which is based on the following technology stack: programming language (PL) – Java, Database Management System (DBMS) – PostgreSQL, monitoring service (MS) – AppDynamics, test framework (TF) – JUnit and operating system (OS) Ubuntu 15.4 – a closed system that will act as a testing ground, which in turn will host the software package.","PeriodicalId":318915,"journal":{"name":"2021 IEEE International Conference on Smart Information Systems and Technologies (SIST)","volume":"246 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Complex Dynamic Method of Web Applications Verification by the Criterion of Time Minimization\",\"authors\":\"Yu. K. Kravchenko, Oleksandr Makhovych, Anton Yakymenko, Serhii Salkutsan, Maksym Tyshchenko, Gulnur Smagulova\",\"doi\":\"10.1109/SIST50301.2021.9465904\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article presents the complex dynamic method of Web application verification according to the criterion of minimum time with a further review of related tools.Dynamic verification methods use the results of real work, tested by the software system or its prototypes, to verify the compliance of these results with the requirements and design decisions. The review includes methods of dynamic verification - testing and verification monitoring. Software verification support tools - jUnit (testing) and AppDynamics (monitoring) are analyzed. The classification of methods is based on the list of important features, such as functionality, performance, reliability, and ease of use. Dynamic verification can be real or simulated, depending on whether it is used in its course, the software, its prototype or executable model.The experimental part presented as results of monitoring and test running on pre-prepared software, which is based on the following technology stack: programming language (PL) – Java, Database Management System (DBMS) – PostgreSQL, monitoring service (MS) – AppDynamics, test framework (TF) – JUnit and operating system (OS) Ubuntu 15.4 – a closed system that will act as a testing ground, which in turn will host the software package.\",\"PeriodicalId\":318915,\"journal\":{\"name\":\"2021 IEEE International Conference on Smart Information Systems and Technologies (SIST)\",\"volume\":\"246 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-04-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 IEEE International Conference on Smart Information Systems and Technologies (SIST)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SIST50301.2021.9465904\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE International Conference on Smart Information Systems and Technologies (SIST)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SIST50301.2021.9465904","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

本文提出了一种基于最小时间标准的复杂动态Web应用程序验证方法,并对相关工具进行了进一步的回顾。动态验证方法使用实际工作的结果,由软件系统或其原型测试,以验证这些结果与需求和设计决策的一致性。评审包括动态验证测试方法和验证监控方法。分析了软件验证支持工具——jUnit(测试)和AppDynamics(监控)。方法的分类基于重要特性的列表,例如功能、性能、可靠性和易用性。动态验证可以是真实的,也可以是模拟的,这取决于它是在它的过程中使用的,是软件、它的原型还是可执行模型。实验部分是在预先准备好的软件上运行的监控和测试结果,该软件基于以下技术堆栈:编程语言(PL) - Java,数据库管理系统(DBMS) - PostgreSQL,监控服务(MS) - AppDynamics,测试框架(TF) - JUnit和操作系统(OS) Ubuntu 15.4 -一个封闭的系统,它将作为测试场地,反过来又将托管软件包。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Complex Dynamic Method of Web Applications Verification by the Criterion of Time Minimization
This article presents the complex dynamic method of Web application verification according to the criterion of minimum time with a further review of related tools.Dynamic verification methods use the results of real work, tested by the software system or its prototypes, to verify the compliance of these results with the requirements and design decisions. The review includes methods of dynamic verification - testing and verification monitoring. Software verification support tools - jUnit (testing) and AppDynamics (monitoring) are analyzed. The classification of methods is based on the list of important features, such as functionality, performance, reliability, and ease of use. Dynamic verification can be real or simulated, depending on whether it is used in its course, the software, its prototype or executable model.The experimental part presented as results of monitoring and test running on pre-prepared software, which is based on the following technology stack: programming language (PL) – Java, Database Management System (DBMS) – PostgreSQL, monitoring service (MS) – AppDynamics, test framework (TF) – JUnit and operating system (OS) Ubuntu 15.4 – a closed system that will act as a testing ground, which in turn will host the software package.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
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学术文献互助群
群 号:604180095
Book学术官方微信