Formalization of software testing criteria using the Z notation

2002 ◽  
Author(s):  
S.A. Vilkomir ◽  
J.P. Bowen
Keyword(s):  
Software Testing ◽  
Z Notation ◽  
Testing Criteria

Integration Object-Oriented Software Testing and Metrics

1997 ◽  
Vol 07 (01) ◽  
pp. 125-144
Author(s):  
Chi-Ming Chung ◽  
Timothy K. Shih ◽  
Chun-Chia Wang ◽  
Ming-Chi Lee
Keyword(s):  
Software Testing ◽  
Object Oriented ◽  
Close Relation ◽  
Multiple Inheritance ◽  
Class Hierarchy ◽  
Software Complexity ◽  
Software Errors ◽  
Key Issues ◽  
Testing Criteria ◽  
Object Oriented Metrics

Software testing methodologies and metrics are key issues to improve and assure software quality. They are important areas in the research of Software Engineering. However, not many focus on the testing criteria and metrics evaluation of a class hierarchy. This paper introduces an important concept named URI (Unit Repeated Inheritance) to realize integrated object-oriented testing and object-oriented metrics. The approach describes an ILT (Inheritance Level Technique) method as a guide to test object-oriented software errors and measure the software complexity of a class hierarchy. The proposed technique shows that inheritance has a close relation to object-oriented software complexity and reveals that overuse of repeated(multiple) inheritance will increase software complexity and be prone to implicit software errors. Also, two test criteria: intra level first and inter level first are presented.

scholarly journals A fault-based testing approach for VR applications

2019 ◽  
Vol 3 (2) ◽  
pp. 1-4
Author(s):  
Stevão Alves de Andrade ◽  
Fatima L. S. Nunes ◽  
Marcio E. Delamaro
Keyword(s):  
Software Testing ◽  
Three Dimensional ◽  
Essential Factor ◽  
Automated Software Testing ◽  
Time Interaction ◽  
Traditional Programs ◽  
Testing Approach ◽  
Testing Practices ◽  
Automated Software ◽  
Testing Criteria

Technologies such as Virtual Reality (VR) have emerged, allowing the development of three-dimensional environments with real-time interaction. VR systems lack similarities between traditional programs, which makes it ineffective to apply traditional software testing criteria in then. Considering this motivation and the acceptance between researchers and engineers that quality is an essential factor in software development, in this paper we examine software testing practices available for the VR domain and present the possibilities for improvement to provide an automated software testing approach that can contribute to the quality assurance of VR applications.

scholarly journals Using an Incremental Testing Strategy to Improve Students’ Perception of Software Quality

2021 ◽  
Author(s):  
Italo Santos ◽  
Allan Mori ◽  
Simone R. S. Souza
Keyword(s):  
Software Testing ◽  
Software Quality ◽  
Software Project ◽  
Testing Strategy ◽  
Software Projects ◽  
Broad View ◽  
Testing Techniques ◽  
Incremental Testing ◽  
Testing Criteria

Teaching software testing should include a broad view of the main techniques, criteria, and tools. In general, students have few opportunities to test their code-projects suitably during the undergraduate course and, therefore, teaching software testing in practice is crucial to students recognize the advantages and limitations of different testing techniques. This paper reports the experience of teaching software testing in practice, with students applying an incremental testing strategy to validate their software projects. Students selected a software project developed during their undergraduate and an incremental testing strategy, including testing criteria learned in the class. The students should choose the testing techniques, apply them and write a report with the results and perceptions. Through this experience, it was possible to show to the students, in practice, the importance of combining more than one technique during the software testing activity.

Model-Based Software Testing and Analysis with C#

2007 ◽  
Author(s):  
Jonathan Jacky ◽  
Margus Veanes ◽  
Colin Campbell ◽  
Wolfram Schulte
Keyword(s):  
Software Testing ◽  
Model Based

A Future Online Analyzer for Hidden Project Management Risks

2017 ◽  
Vol 7 (7) ◽  
pp. 99
Author(s):  
Rupali A. Mahajan
Keyword(s):  
Cloud Computing ◽  
Project Management ◽  
Qualitative Study ◽  
Software Testing ◽  
Gold Plating ◽  
Software Cost ◽  
Test Information ◽  
Online Software

The aim of this qualitative study was to investigate and comprehend the conditions that impact software cost, requirement tracking as well as scheduled software testing as an online administration and inspire essential exploration issues. Interviews were led with administrators from five associations. Thestudy utilized qualitative grounded hypothesis as its exploration system. The effects show that the interest for software testing and online requirement monitoring as an online administration is on the ascent and is impacted by conditions, for example, the level of area information required to adequately test a provision, adaptability and expense adequacy as profits, security and estimating as top prerequisites, cloud computing as the project monitor mode and the need for software analyzers to sharpen their abilities. Potential e x p l o r a t i o n territories recommended incorporate requisition regions best suited for online software testing, estimating and treatment of test information among others. The key issue is to monitor client’s requirements, track those requirements and also make it bug free and to avoid requirement gold plating issue. This study will present latest i d e a a b o u t online r e q u i r e m e n t monitoring and software testing.

Sign in / Sign up

Export Citation Format

Share Document