More testable properties

Testing remains a widely used validation technique for software systems. However, recent needs in software development (e.g., in terms of security concerns) may require to extend this technique to address a larger set of properties. In this article, we explore the set of testable properties within t...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 14; no. 4; pp. 407 - 437
Main Authors:	Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer-Verlag 01.08.2012 Springer Nature B.V Springer Verlag
Subjects:	Classification Computer engineering Computer programs Computer Science Ictss 2010 Security Software Software development Software Engineering Software Engineering/Programming and Operating Systems Synthesis Test methods Testability Theory of Computation Safety-progress Testability Test Property
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!