Issues on software testing for safety-critical real-time automation systems
作者： L. Wang
DOI: 10.1109/DASC.2004.1390801
关键词:
摘要: Software quality indicates how well the software product complies with user requirements. The challenge in testing is to uncover difficult-to-find problems. Networked and embedded real-time automation safety-critical applications such as avionics poses unique concerns about due its demanding requirements on system performance. benefits of rigorous development verification processes include both functional nonfunctional performance assurance. heart lies techniques for validation verification. effective can ensure make developer garner, customer kudos high quality.
sci-hub.se 参考文章(15)
Mark Norris, Peter Rigby, Software engineering explained ,(1992)
Matt Weisfeld, The Object-Oriented Thought Process ,(2000)
Frank P. Ginac, Customer Oriented Software Quality Assurance ,(1997)
Taso H.-S. Jacob, Jerry Zayu Gao, Jacob Tsao, Ye Wu, Testing and Quality Assurance for Component-Based Software ,(2003)
John W. Horch, Practical guide to software quality management ,(1996)
Daniel Galin, Software Quality Assurance: From Theory to Implementation ,(2003)
Scott W. Ambler, The Object Primer: Agile Model-Driven Development with UML 2.0 Cambridge University Press. ,(2004) , 10.1017/CBO9780511584077
Stefan Sigfried, Understanding object-oriented software engineering ,(1996)
Bruce Powell Douglass, Real-time UML (2nd ed.): developing efficient objects for embedded systems Addison-Wesley Longman Publishing Co., Inc.. ,(1997)
Houman Younessi, Object-oriented defect management of software ,(2002)