the 5th edition of the Competition on software Testing (Test-Comp 2023) provides again an overview and comparative evaluation of automatic test-suite generators for C programs. the experiment was performed on a benchm...
详细信息
ISBN:
(数字)9783031308260
ISBN:
(纸本)9783031308253;9783031308260
the 5th edition of the Competition on software Testing (Test-Comp 2023) provides again an overview and comparative evaluation of automatic test-suite generators for C programs. the experiment was performed on a benchmark set of 4 106 test-generation tasks for C programs. Each test-generation task consisted of a program and a test specification (error coverage, branch coverage). there were 13 participating test-suite generators from 6 countries in Test-Comp 2023.
A successful deployment process of a complex software solution, such as optimization algorithms in a dynamic production environment is an extremely complicated and time-consuming task. Over this, the acceptance by tho...
详细信息
A successful deployment process of a complex software solution, such as optimization algorithms in a dynamic production environment is an extremely complicated and time-consuming task. Over this, the acceptance by those employees where the software solution is to be used later should not be underestimated;it is essential to involve them in the entire development process, as they can be game changers. this paper summarizes some best practices and lessons learned about the full integration of an optimization algorithm in the dynamic steelmaking environment of voestalpine Stahl GmbH. the focus is on the development of a practical test strategy and ultimately a generally valid rollout concept for an arbitrary complex software system for every conceivable industry. Over that, emerging gaps between theory and practice are highlighted, an attempt is made to justify their cause, and, as a result, possible solutions to tackle those challenges are presented. (C) 2024 the Authors. Published by Elsevier B.V.
this paper makes use of the powerful interface development ability of Visual C# and the numerical operation ability of Matlab, and uses the mixed programming technology of Matlab and Visual C# for software programming...
详细信息
Withthe increasing complexity of softwaredevelopment, traditional automated testing methods face significant challenges in efficiency and coverage. this paper proposes a novel AI-driven automated testing method aime...
详细信息
software Architecture Courses in softwareengineering curricula often involve project-based group assignments where students have to design and document software architectures and evaluate other architectures. this pa...
详细信息
ISBN:
(纸本)9781450399562
software Architecture Courses in softwareengineering curricula often involve project-based group assignments where students have to design and document software architectures and evaluate other architectures. this paper presents the design and implementation of the Architectural Kata workshop conducted in the software Architecture course as a group exercise to teach designing, documenting, and evaluating software architecture. Feedback on the workshop was collected from students using a survey questionnaire after the conclusion of the course. the results showed that besides acquiring skills to design and evaluate architectural designs, the workshop also supported skills to identify non-functional requirements, elaborate assumptions, and collaborate withtheir peers. Observations and lessons learned from the workshop about students' feedback, planning, and workshop moderation are shared. Possible future improvements are also suggested.
software testing is crucial for ensuring software quality, including security. this research presents a case study examining manual and open-source tool-based security testing of an e-commerce website. By applying var...
详细信息
Withthe boom within the wide kind of automobiles in the urban cities, the huge kind of health uncertainties/accidents has multiplied manifold. the want for ambulances is therefore growing at an alarming price. Which ...
详细信息
Withthe boom within the wide kind of automobiles in the urban cities, the huge kind of health uncertainties/accidents has multiplied manifold. the want for ambulances is therefore growing at an alarming price. Which will increase the survival rate of sufferers, effective communique among ambulances and the hospital and the routing of ambulances at signal stations can be very necessary. For this reason, the proposed structure guarantees powerful conversation a number of the ambulance and the sanatorium about the delivery of beds, in order that the affected person may be transferred from this ambulance to the closest medical institution and also permits the ambulance to ship a sign to the close by visitors sign. the pillars open in order that the ambulance can skip effortlessly, which saves a number of time. the proposed device has the ability to improve the general overall performance and effectiveness of emergency services and in the end shop lives.
In the realm of neuroscience research, understanding and analyzing the three-dimensional structure of neurons is essential for unveiling brain functions and mechanisms, and technological advancements, particularly in ...
详细信息
ISBN:
(纸本)9798350386783;9798350386776
In the realm of neuroscience research, understanding and analyzing the three-dimensional structure of neurons is essential for unveiling brain functions and mechanisms, and technological advancements, particularly in high-resolution imaging, have significantly enhanced our ability to create detailed three-dimensional digital models of these structures. Despite the development of numerous processing tools, challenges in efficiently processing and analyzing complex neuronal data persist, highlighting the need for more advanced and integrated solutions. the SWCGEOM toolkit is designed to facilitate the processing and analysis of neuronal morphology and image data, offering a wide range of functionalities for data integrity, editing, and transformation. It supports various data formats, provides editing capabilities, and includes a framework for complex data analysis workflows. Aimed at researchers in neuroscience, SWCGEOM enhances the efficiency of data analysis, contributing to a deeper understanding of neuron structure and function.
Using the advantages of modern web technologies, this project utilizes powerful data modelling characteristics of Prisma and dynamic front-end capacities of *** to design a Learning Management System (LMS). the aim of...
详细信息
the proceedings contain 32 papers. the topics discussed include: reflections on training next-gen industry workforce on secure softwaredevelopment;the gap between higher education and the software industry – a case ...
ISBN:
(纸本)9781450399562
the proceedings contain 32 papers. the topics discussed include: reflections on training next-gen industry workforce on secure softwaredevelopment;the gap between higher education and the software industry – a case study on technology differences;using automatic program assessment in a softwaredevelopment project course;using learning analytics to identify student learning profiles for softwaredevelopment courses;learning analytics dashboard for educators: proposed project to design with pedagogical background;towards learning style prediction based on personality;adaptive learning path sequencing based on learning styles within n-dimensional spaces;learning style classification by using Bayesian networks based on the index of learning style;systematic literature review for the use of AI based techniques in adaptive learning management systems;and flipped teaching in softwareengineering education: results of a long-term study.
暂无评论