Issues in Testing of Software with Nfr
نویسندگان
چکیده
منابع مشابه
Issues in Software Testing with Model Checkers
Most software developers consider formal methods too hard and tedious to use in practice. Instead of using formal methods, developers test software. Model checking is a “light-weight” formal method to check the truth (or falsity) of statements. We use the SMV model checker as part of a highly automated test generation tool, which we hope will motivate practitioners to use formal methods more. F...
متن کاملSoftware Replaceability: An NFR Approach
Building software systems from components instead of from scratch is a trend in software industry world. Software replaceability gains growing interest recently since the replaceable, standard components in the marketplace is claimed as one of the goals and benefits of components. Treating software components as fully replaceable units will help CBS (Component Based System) development and evol...
متن کاملEstimation of Software Reliability by Sequential Testing with Simulated Annealing of Mean Field Approximation
Various problems of combinatorial optimization and permutation can be solved with neural network optimization. The problem of estimating the software reliability can be solved with the optimization of failed components to its minimum value. Various solutions of the problem of estimating the software reliability have been given. These solutions are exact and heuristic, but all the exact approach...
متن کاملResearch Issues in Testing for Software Systems Assurance white paper
Software will be improved by a broad-spectrum attack on the intrinsic complexity of the problems software tries to solve. However, most of the methods that have been (and will be) proposed for improving the development process are not subject to practical validation. The arguments for using these methods may be plausible, but their experimental validation is elusive. Software testing, on the ot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering & Applications
سال: 2012
ISSN: 0976-2221
DOI: 10.5121/ijsea.2012.3405