Loading...
Please wait, while we are loading the content...
Similar Documents
Particularities of Verification Processes for Distributed Informatics Applications
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ivan, Ion Ciurea, Cristian Vintila, Bogdan Noșca, Gheorghe |
| Copyright Year | 2013 |
| 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. Characteristics of Distributed Informatics Applications Distributed informatics applications are software constructions that are based on architectures whose components, through interaction, realize allocations of resources in real time. Distributed informatics applications include:-a heterogeneous group of users, having many elements that, through interaction, solve their well-defined problems, as data entry volume, sequence operations that activates and with concrete results that marks the success of performing the interaction or the need to retake some components from the operations chain specifying the cause and the manner of disposal: after a few replays each user successfully completes the interaction getting the message meaning that his problem has been solved correctly and completely;-dynamic definition of computer network through which is realized the messages transfer of user exempted in the ground indefinitely, the only restrictions being those related to hardware resources that ensure compatibility with data acquisition system and connection performance;-conducting an achievements cycle that includes steps, such as: defining the target group and setting its size; defining the set of distinct problems, which are subject to processing; in this respect for each problem are used appropriate definition tools to reduce the risk of sub-definitions or supra-definitions, situations attracting reversals of prior steps when minuses of information in the case of sub-definitions, or the excess of information, in the case of supra-definition of the problem, generate effects that lead to discontinuation of the development cycle with the impossibility to pass to the next stage; the stage of clear specifications, consistent, the development stage of informatics solutions variants accompanied by performance estimation models requires choosing the suitable variant against the criterion with which the multiplication effects is managed at the moment of implementation; the code elaboration stage as optimal resource allocation process, knowing that the instructions, data structures defining mechanism and building of sequences procedures must be understood as infinite resource use, but which differ from each other in terms of performance criteria of informatics applications, taken as a whole; the testing stage [1] play a very special role … |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://revistaie.ase.ro/content/65/10%20-%20ivan,%20ciurea,%20vintila,%20nosca.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Achievement Architecture as Topic Behavior Choose (action) Data acquisition Data structure Disposal Formal verification Genetic Heterogeneity HL7PublishingSubSection |
| Content Type | Text |
| Resource Type | Article |
