Particularities of Verification Processes for Distributed Informatics Applications

Ion Ivan, Cristian Ciurea (), Bogdan Vintila () and Gheorghe Nosca ()

Informatica Economica, 2013, vol. 17, issue 1, 113-130

Abstract: This paper presents distributed informatics applications and characteristics of their development cycle. It defines the concept of verification and there are identified the differences from software testing. Particularities of the software testing and software verification processes are described. The verification steps and necessary conditions are presented and there are established influence factors of quality verification. Software optimality verification is analyzed and some metrics are defined for the verification process.

Keywords: Distributed Informatics Applications; Software Testing; Software Verification; Verification Process; Software Optimality (search for similar items in EconPapers)
Date: 2013
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.revistaie.ase.ro/content/65/10%20-%20iv ... vintila,%20nosca.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:aes:infoec:v:17:y:2013:i:1:p:113-130

Access Statistics for this article

Informatica Economica is currently edited by Ion Ivan

More articles in Informatica Economica from Academy of Economic Studies - Bucharest, Romania Contact information at EDIRC.
Bibliographic data for series maintained by Paul Pocatilu ().