【摘 要】
：
当对可靠的系统结构化的时候,除了通过构建的方式来改善系统的可靠性（如容错和多余的机制）外,对于系统的评估也同样重要,并由此来认可系统的可靠性。现有很多不同的方法来评估
论文部分内容阅读
当对可靠的系统结构化的时候,除了通过构建的方式来改善系统的可靠性（如容错和多余的机制）外,对于系统的评估也同样重要,并由此来认可系统的可靠性。现有很多不同的方法来评估系统的可靠性,测试因而成为一种重要的方式。目前关于软件结构测试的工作表明,应用一致性测试技术产生可信度是可能的,这种可信度是在软件架构中可期望的行为,指定了架构描述语言。这项工作中,探讨了为了减少重复测试而修改系统的费用,回归测试可以怎样被系统化地应用在软件架构层面上,评估了进化的系统的回归测试性。考虑了评估＂自顶向下＂和＂自底向上＂等进化方
其他文献
【正】 △买肉一定要买好肉,不要贪便宜买病、死猪肉。那么,就要学会鉴别病、死的猪肉。死猪肉:肉色充血,肥肉浅红色或棕红色。病猪肉:猪肉有淋巴核,猪肉有一点点深色的血点,
第一條為了盬o歸僑、僑眷的合法的權利和利益,根據憲法,制定本法。第二條歸僑是指回國定居的華僑。華僑是指定居在國外的中國公民。僑眷是指華僑、歸僑在國內的眷屬。本法所
地处长江上游的重庆市是西南地区的经济中心。这里地域辽阔,资源丰盛,交通便利。许多华侨和华人来重庆考察后,均认为是内地投资建厂的理想之地。截至去年12月止,该市已批准的
值此中华人民共和国成立四十三周年之际,中国的改革开放也进入了新的发展阶段。改革开放对于普通的中国人意味着什么呢?本刊记者李富根、侯瑞麗访问了科研人员、个体户、工人
兩年前,四十八歲的周桂田,身高僅一點六四米,體重竟高達八十七公斤,臃腫不堪且不說,還被高血壓、心臟病等疾患苦苦糾纏,使她十分煩惱,甚至產生厭世念頭。一九八九年,一個偶然
【正】 1993年8月8日,以“仓场合一、批零合一”为特色的中国大陆首家货仓式批发自选商场——广州天河南方大厦广客隆贸易有限公司开业迎客。开业以来,天河南方大厦广客隆商
在香港提到罗德丞,很少有人不知道;而且,不少人会现出敬仰的表情,或出于对他是香港大家族之后的仰慕,或出于对他本人大律师身份的崇敬。近年来,中英谈判的争执,不少人忧心忡
“台胞體育服務中心諮詢?Q嗎?我是台灣人,請問北京標準洞高爾夫球場如何收費?”“我希望參加今年的唐山冬泳、哈爾濱的冰雪節,請問能否協助安排?……”——一九九○年七月二
我刊中文版(《現代中國》)創刊十週年紀念的日子就要到了。此刻,我書桌上放着的是愛潑斯坦寫的《宋慶齡傳》的厚厚一大疊英文原稿,我受他的委託,正在把這部巨著譯成中文。著
在煙波浩渺的福建莆田湄洲灣,有一座形如眉宇、面積十六平方公里的小島,像一塊晶瑩的瑪瑙,鑲嵌在萬頃碧波之中。其東南瀕臨台灣海峽,與寶島台灣遙遙相望。這就是“海神”媽祖