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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 14; číslo 4; s. 407 - 437
Hlavní autori:	Falcone, Yliès, Fernandez, Jean-Claude, Jéron, Thierry, Marchand, Hervé, Mounier, Laurent
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer-Verlag 01.08.2012 Springer Nature B.V Springer Verlag
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!