出版社：Vilnius University, University of Latvia, Latvia University of Agriculture, Institute of Mathematics and Informatics of University of Latvia
摘要：The paper analyzes one component of "smart technologies" – a model for program execution environment verification that employs software meta-data descriptions of quality requirements to ensure the conformity of characteristics of the surrounding environment to those necessary. The study is based on practical software deployment and maintenance experience in areas where the production environment is inadequate and defies normal software operation. The solution is to develop a "profile" for each software item which would contain information about software requirements regarding its execution, for instance, OS version, configuration file and registry entries, regional settings, etc. The profile document is added to software deliverables together with a set of tools capable of verifying the adequacy of the execution environment according to the document. The profile document can be used in both the installation and operational phases of software.
