DocumentCode :
2779399
Title :
A high-assurance measurement repository system
Author :
Bastani, Farokh B. ; Ntafos, Simeon ; Yen, I-Ling ; Harris, Doug E. ; Morrow, Richard R. ; Paul, Raymond
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA
fYear :
2000
fDate :
2000
Firstpage :
265
Lastpage :
272
Abstract :
High-quality measurement data are very useful for assessing the efficacy of high-assurance system engineering techniques and tools. Given the rapidly evolving suite of modern tools and techniques, it is helpful to have a large repository of up-to-date measurement data that can be used to quantitatively assess the impact of state-of-the-art techniques on the quality of the resulting systems. For many types of defects, including Y2K failures, infinite loops, memory overflow, access violations, arithmetic overflow, divide-by-zero, off-by-one errors, timing errors, deadlocks, etc., it may be possible to combine data from a large number of projects and use these to make statistical inferences. This paper presents a highly secure and reliable measurement repository system for measurement data acquisition, storage and analysis. The system is being used by the QuEST Forum, which is a new industry forum consisting of over 100 leading telecommunications companies. The paper describes the decisions that were made in the design of the measurement repository system, as well as implementation strategies that were used in achieving a high-level of confidence in the security and reliability of the system
Keywords :
computer aided software engineering; information storage; software metrics; software reliability; software tools; systems engineering; QuEST Forum; Year-2000 failures; access violations; arithmetic overflow; deadlocks; divide-by-zero errors; high-assurance measurement repository system; high-quality measurement data; implementation strategies; industry forum; infinite loops; measurement data acquisition; measurement data analysis; measurement data storage; memory overflow; off-by-one errors; software quality; statistical inferences; system engineering techniques; system reliability; system security; telecommunications companies; timing errors; up-to-date measurement data; Arithmetic; Communication industry; Data acquisition; Data engineering; Manufacturing; Secure storage; Standards development; System recovery; Systems engineering and theory; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-7695-0927-4
Type :
conf
DOI :
10.1109/HASE.2000.895471
Filename :
895471
Link To Document :
بازگشت