Advances in software inspections
IEEE Transactions on Software Engineering
Certifying the reliability of software
IEEE Transactions on Software Engineering
Testing in software development
Testing in software development
Quality programming: developing and testing software with statistical quality control
Quality programming: developing and testing software with statistical quality control
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Software quality engineering: a total technical and management approach
Software quality engineering: a total technical and management approach
Introduction to special section on software testing
Communications of the ACM
Evaluation of safety-critical software
Communications of the ACM
The cleanroom approach to quality software development
The cleanroom approach to quality software development
Software engineering: principles and practice
Software engineering: principles and practice
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Software engineering (5th ed.)
Software engineering (5th ed.)
Software testing in the real world: improving the process
Software testing in the real world: improving the process
Social processes and proofs of theorems and programs
Communications of the ACM
Automating Specification-Based Software Testing
Automating Specification-Based Software Testing
Art of Software Testing
Software Testing
Quantifying Software Validation: When to Stop Testing?
IEEE Software
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
Artificial life and cellular automata based automated test case generator
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
To achieve software quality, testing is an essential component in all software development. It involves the execution of a deterministic software system with test data and a comparison of the results with the expected output, which must satisfy the users‘ requirements. This accounts for over 25% of the cost of a software development. Therefore, automation has considerable potential. The quality programming introduced by Cho can automatically generate data for testing, based on a so-called ‘SIAD tree‘ which is used to represent the hierarchical and ‘network‘ relation between input elements and also incorporates rules into the tree for using the inputs. However, it lacks a clear framework which would show how automated testing can be achieved. To address this problem, we present a Framework for Automating Statistics-based Testing (FAST), which is an extension of the testing concept in quality programming to achieve automated testing. In FAST, we propose a SOAD tree, which is similar to the structure of the SIAD tree, to describe the syntactic structure of the product unit and its defectiveness. Based on this tool, the inspection of test results can be automatically achieved by lexical and syntax analysis. The implementation of automated software testing or Command File Interpreter (CFI) software which incorporates the framework is also described.