An empirical study of the reliability of UNIX utilities
Communications of the ACM
The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
Software Testability: The New Verification
IEEE Software
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Software Component Certification
Computer
WCT: A Wrapper for Component Testing
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
A framework for component deployment testing
Proceedings of the 25th International Conference on Software Engineering
Towards a composition model problem based on IEC61850
Journal of Systems and Software - Special issue on: Component-based software engineering
Decompositional Verification of Component-based Systems-A Hybrid Approach
Proceedings of the 19th IEEE international conference on Automated software engineering
Intelligent Component Selection
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Towards certifying the testing process of Open-Source Software: New challenges or old methodologies?
FLOSS '09 Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
An automata-theoretic approach for model-checking systems with unspecified components
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Tailored responsibility within component-based systems
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
| Hi-index | 4.10 |
The methods for certifying software quality continue to multiply. Popular, process-based approaches-- such as ISO 9000 and SEI-CMM--make software publishers take oaths concerning which development standards and processes they will use. These approaches often require auditors to spot-check a publisher's documentation and oaths. Yet even if a certification auditor can verify the publisher's veracity, that verification alone does not guarantee high-quality software.Given these problems, the author proposes a certification methodology that does not employ publisher oaths and auditors. This certification method employs automated processes to greatly reduce liability while also eliminating the need to dispatch human auditors. The process harnesses the testing resources of end users, drawing upon proven tech-niques such as the methods that made Linux the most popular and reliable of all Unix flavors. Totally product-based, this proposed process assesses how well behaved the software is, not the maturity of the processes used to develop the code.