河湖長制綜合管理信息平臺(tái)建設(shè)項(xiàng)目總體設(shè)計(jì)方案

網(wǎng)絡(luò)與信息安全保障體系系統(tǒng)安全設(shè)計(jì)思想與原則（1）設(shè)計(jì)思想根據(jù)《全國水利信息化規(guī)劃》中對(duì)安全的界定，安全的系統(tǒng)才是可用的系統(tǒng)。信息系統(tǒng)的安全是相對(duì)的，但必須將其安全性放在首位。完整有效的安全體系要具備科學(xué)性、先進(jìn)性、整體性并適合目標(biāo)環(huán)境，同時(shí)為了保證體系建設(shè)的可擴(kuò)展性、可持續(xù)性以及投資的有效性和最終目標(biāo)的達(dá)成，需要對(duì)其做出相對(duì)全面且具有適度前瞻性與可操作性的規(guī)劃。本項(xiàng)目主要是基于國家軟件評(píng)測三級(jí)等保安全要求的設(shè)計(jì)思想和水利信息化規(guī)劃的安全要求進(jìn)行設(shè)計(jì)。設(shè)計(jì)保障系統(tǒng)運(yùn)行安全的各種措施，如防病毒措施、冗余措施，備份與恢復(fù)措施。設(shè)計(jì)各種主動(dòng)防范措施，如入侵檢測系統(tǒng)。設(shè)計(jì)日志系統(tǒng)，以便于事后備查取證?？紤]到安全的動(dòng)態(tài)性，需要采用漏洞分析工具不斷地對(duì)系統(tǒng)進(jìn)行漏洞檢查、安全分析、風(fēng)險(xiǎn)評(píng)估，以及安全加固和漏洞修補(bǔ)等。設(shè)計(jì)物理安全措施，如冗余電源、防雷擊、機(jī)房安全設(shè)計(jì)等。設(shè)計(jì)用戶訪問系統(tǒng)時(shí)的身份入口控制、資源訪問授權(quán)和訪問日志。（2）設(shè)計(jì)原則在安全體系設(shè)計(jì)時(shí)遵循以下原則：風(fēng)險(xiǎn)與代價(jià)相平衡。主動(dòng)與被動(dòng)相結(jié)合。部分與整體相協(xié)調(diào)。一致性。層次性。易操作性。網(wǎng)絡(luò)與信息安全保障策略青海河湖長制綜合管理信息平臺(tái)將搭建在青海電子政務(wù)云上，除滿足國家軟件評(píng)測三級(jí)等保要求，密碼統(tǒng)一采用國產(chǎn)密碼。平臺(tái)將利用青海電子政務(wù)云現(xiàn)有的硬件環(huán)境、操作系統(tǒng)安全等網(wǎng)絡(luò)安全基礎(chǔ)環(huán)境，從技術(shù)與管理上加強(qiáng)網(wǎng)絡(luò)與信息系統(tǒng)安全防護(hù)水平，通過在網(wǎng)絡(luò)級(jí)、系統(tǒng)級(jí)、應(yīng)用級(jí)采取有效防護(hù)措施，防止信息網(wǎng)絡(luò)癱瘓，防止應(yīng)用系統(tǒng)破壞，防止業(yè)務(wù)數(shù)據(jù)丟失，防止企業(yè)信息泄密，防止終端病毒感染，防止有害信息傳播，防止惡意滲透攻擊，確保信息系統(tǒng)安全穩(wěn)定運(yùn)行，確保業(yè)務(wù)數(shù)據(jù)安全。省、地市、縣各級(jí)河長制通過電子政務(wù)外網(wǎng)進(jìn)行河長制業(yè)務(wù)應(yīng)用系統(tǒng)訪問，并通過網(wǎng)絡(luò)映射實(shí)現(xiàn)與社會(huì)公眾服務(wù)平臺(tái)和移動(dòng)應(yīng)用服務(wù)的互聯(lián)互通。結(jié)合用戶訪問權(quán)限、數(shù)據(jù)安全策略等安全技術(shù)，本項(xiàng)目重點(diǎn)建設(shè)系統(tǒng)數(shù)據(jù)安全和系統(tǒng)應(yīng)用安全，構(gòu)建青海省河長制湖長制綜合管理信息平臺(tái)網(wǎng)絡(luò)與信息安全保障體系。平臺(tái)安全保障體系應(yīng)用安全系統(tǒng)應(yīng)用安全主要考慮用戶應(yīng)用操作時(shí)確保用戶的合法性，使用戶只能按照規(guī)定的權(quán)限和訪問控制規(guī)則進(jìn)行操作，通過統(tǒng)一用戶及授權(quán)、系統(tǒng)監(jiān)控實(shí)現(xiàn)。（1）用戶身份認(rèn)證服務(wù)：采取用戶授權(quán)，口令管理，安全審計(jì)。通過訪問控制以加強(qiáng)數(shù)據(jù)庫數(shù)據(jù)的保密性，數(shù)據(jù)庫用戶設(shè)置角色有：數(shù)據(jù)交換用戶、業(yè)務(wù)數(shù)據(jù)訪問用戶、數(shù)據(jù)庫操作使用者等，也可以由系統(tǒng)管理員設(shè)定；對(duì)各種角色有不同訪問控制：拒絕訪問者、讀者、作者、編輯者、管理者等；每種訪問控制擁有相應(yīng)的權(quán)限，權(quán)限有管理、編輯、刪除、創(chuàng)建。為了保證數(shù)據(jù)的安全性，數(shù)據(jù)庫用戶只應(yīng)該被授予那些完成工作必須的權(quán)限，即“最小權(quán)限”原則。在設(shè)置好用戶權(quán)限的同時(shí)，對(duì)用戶帳號(hào)的密碼進(jìn)行加密處理，確保在任何地方都不會(huì)出現(xiàn)密碼的明文。防治多用戶操作產(chǎn)生的數(shù)據(jù)不一致。數(shù)據(jù)更新時(shí)建立共享封鎖，一旦一個(gè)更新事務(wù)開始，對(duì)其他用戶只允許讀數(shù)據(jù)，不允許更新修改，直到更新事務(wù)提交，釋放封鎖。（2）系統(tǒng)運(yùn)行狀況監(jiān)控：對(duì)系統(tǒng)運(yùn)行狀況進(jìn)行監(jiān)控，當(dāng)某一環(huán)節(jié)發(fā)生故障或問題時(shí)，能夠給出相應(yīng)的信息提示。代碼安全制定平臺(tái)版本上線管理制度，嚴(yán)格對(duì)上線平臺(tái)進(jìn)行漏洞掃描和代碼檢查，避免平臺(tái)受到SQL注入、跨站腳本等形式的不安全攻擊。數(shù)據(jù)安全采用備份管理軟件和數(shù)據(jù)庫數(shù)據(jù)備份技術(shù)，制定定期數(shù)據(jù)備份機(jī)制，有條件的宜采用異地備份，保障數(shù)據(jù)安全。對(duì)涉密數(shù)據(jù)按國家相關(guān)規(guī)定進(jìn)行管理。（1）數(shù)據(jù)傳輸安全本系統(tǒng)部署于青海政務(wù)外網(wǎng)上，采用以下技術(shù)實(shí)現(xiàn)數(shù)據(jù)傳輸安全：數(shù)據(jù)加密。接入計(jì)算機(jī)的認(rèn)證。IP地址過濾。https訪問。（2）數(shù)據(jù)庫備份可以采用命令行腳本的方式自動(dòng)進(jìn)行，也可以選擇成熟的備份軟件完成。日常備份策略：每周在訪問量比較小的時(shí)候做一次全備份；每天對(duì)業(yè)務(wù)數(shù)據(jù)做一次全備份或增量備份；每次業(yè)務(wù)數(shù)據(jù)做大調(diào)整后應(yīng)立即做一次全備份；具體策略將根據(jù)各個(gè)系統(tǒng)的運(yùn)行情況及數(shù)據(jù)重要性確定。（3）備份任務(wù)管理依據(jù)數(shù)據(jù)備份和恢復(fù)策略，對(duì)本項(xiàng)目的各項(xiàng)備份任務(wù)進(jìn)行管理，包括備份時(shí)間、間隔、范圍、存放等。有權(quán)限的用戶可對(duì)上述備份任務(wù)進(jìn)行配置。數(shù)據(jù)恢復(fù)是指生產(chǎn)運(yùn)行中任一環(huán)節(jié)、任一時(shí)刻出現(xiàn)故障而導(dǎo)致整個(gè)系統(tǒng)部分或全部不能正常工作時(shí)，所必需采用的相應(yīng)的恢復(fù)手段。必須首先制訂良好的備份策略，這樣，當(dāng)故障發(fā)生時(shí)，才可以有條不紊地快速恢復(fù)。安全保證策略安全機(jī)制對(duì)系統(tǒng)所涉及的設(shè)備、人員、行為等實(shí)行集中、全方位、動(dòng)態(tài)的安全管理，建立安全機(jī)制。系統(tǒng)訪問備份（1）應(yīng)用軟件的日志備份首先，需要應(yīng)用軟件有完備的系統(tǒng)日志，其次，這部分的備份工作主要依賴系統(tǒng)管理員定期完成。這部分的實(shí)現(xiàn)非常簡單，只要在操作系統(tǒng)中制定一個(gè)腳本，讓系統(tǒng)自動(dòng)定期完成就可以了。（2）系統(tǒng)恢復(fù)制定系統(tǒng)災(zāi)難恢復(fù)預(yù)案。當(dāng)系統(tǒng)運(yùn)行中任一環(huán)節(jié)、任一時(shí)刻出現(xiàn)故障而導(dǎo)致整個(gè)系統(tǒng)部分或全部不能正常工作時(shí)，采用相應(yīng)恢復(fù)手段。平臺(tái)涉及互聯(lián)網(wǎng)，因此要保證移動(dòng)應(yīng)用的網(wǎng)絡(luò)與數(shù)據(jù)安全。結(jié)合政務(wù)云的安全防護(hù)體系，建立集防入侵、防病毒、加密、安全認(rèn)證和訪問控制于一體的安全體系。加強(qiáng)分級(jí)管理從應(yīng)用程序、數(shù)據(jù)庫多方面進(jìn)行分級(jí)設(shè)置管理，防范內(nèi)部人員的破壞。系統(tǒng)性能設(shè)計(jì)青海省河長制湖長制綜合管理信息平臺(tái)總體采用B/S模式，結(jié)合移動(dòng)APP、微信公眾號(hào)和小程序應(yīng)用等實(shí)現(xiàn)，為了保證系統(tǒng)的穩(wěn)定、安全、高效運(yùn)行，所以平臺(tái)的性能保證主要從以下幾個(gè)方面考慮。系統(tǒng)架構(gòu)對(duì)系統(tǒng)性能的保證青海省河長制湖長制綜合管理信息平臺(tái)基于青海省水利數(shù)據(jù)中心一期和云平臺(tái)架構(gòu)進(jìn)行實(shí)現(xiàn)，平臺(tái)具有統(tǒng)一的綜合數(shù)據(jù)庫和各類應(yīng)用服務(wù)基礎(chǔ)，能夠滿足各級(jí)河長用戶以及移動(dòng)用戶，對(duì)平臺(tái)在正常的網(wǎng)絡(luò)環(huán)境下，支持不少于10000個(gè)使用用戶連接；200個(gè)用戶并發(fā)訪問普通頁面響應(yīng)時(shí)間不大于3秒的系統(tǒng)及時(shí)性和可靠性要求。平臺(tái)基于云架構(gòu)思和軟件即服務(wù)（SaaS：SoftwareasaService）的思想進(jìn)行設(shè)計(jì)，平臺(tái)技術(shù)架構(gòu)如下圖所示。平臺(tái)將用戶數(shù)據(jù)和用戶功能設(shè)計(jì)為一個(gè)個(gè)的服務(wù)，可以解決多級(jí)用戶數(shù)據(jù)存取和用戶功能定制問題；在服務(wù)層和接口層實(shí)現(xiàn)負(fù)載均衡，可對(duì)應(yīng)用服務(wù)器進(jìn)行動(dòng)態(tài)擴(kuò)展，實(shí)現(xiàn)應(yīng)用服務(wù)器的可伸縮調(diào)整，并解決請(qǐng)求的高并發(fā)；通過水利數(shù)據(jù)中心統(tǒng)一的綜合數(shù)據(jù)庫，在服務(wù)和應(yīng)用層之間通過負(fù)載均衡實(shí)現(xiàn)服務(wù)和應(yīng)用的可伸縮性擴(kuò)充；各級(jí)河長和移動(dòng)用戶根據(jù)各自所屬行政區(qū)可以使用不同的數(shù)據(jù)資源、地圖資源和定制的功能；應(yīng)用通過網(wǎng)絡(luò)下載到用戶端本端。平臺(tái)技術(shù)架構(gòu)圖系統(tǒng)界面設(shè)計(jì)對(duì)系統(tǒng)性能的保證針對(duì)青海省河長制湖長制綜合管理信息平臺(tái)特點(diǎn)，突破了傳統(tǒng)的頁面展示風(fēng)格，重點(diǎn)對(duì)信息展示方式進(jìn)行了設(shè)計(jì)重構(gòu)，系統(tǒng)采用全新的、網(wǎng)站行業(yè)流行的扁平化設(shè)計(jì)風(fēng)格及“一條線”訪問模式等，通過這樣的設(shè)計(jì)，系統(tǒng)達(dá)到了簡潔、高端、大氣的效果，給用戶使用帶來了更加流暢的交互體驗(yàn)和極大的愉悅感。河長制湖長制綜合管理信息平臺(tái)界面設(shè)計(jì)圖一河一檔界面設(shè)計(jì)圖巡查事件處理界面設(shè)計(jì)圖簡潔——減少了信息層次。系統(tǒng)改變了傳統(tǒng)的功能菜單展示效果，不再是以前一層一層的樹狀功能菜單，功能菜單埋的很深，不容易被用戶找到的情景，而是將用戶最為關(guān)注的信息，以圖標(biāo)或表格等直觀的方式在系統(tǒng)界面上展示出來，使整個(gè)界面效果簡約又清晰。高端——設(shè)計(jì)簡潔、內(nèi)容精簡、交互優(yōu)雅。系統(tǒng)簡潔的UI設(shè)計(jì)、精簡的結(jié)構(gòu)布局與內(nèi)容展現(xiàn)，再加上先進(jìn)的HTML5技術(shù)，將交互設(shè)計(jì)發(fā)揮到極致，為用戶帶去極其優(yōu)雅的用戶體驗(yàn)。大氣——識(shí)別度極高且配色融洽的UI設(shè)計(jì)。清晰簡潔的單頁網(wǎng)站結(jié)構(gòu)、識(shí)別度極高且配色融洽的UI設(shè)計(jì)、結(jié)合CSS3等現(xiàn)代技術(shù)所展現(xiàn)的優(yōu)雅的用戶體驗(yàn)！結(jié)合本項(xiàng)目的建設(shè)需求，我們把整個(gè)系統(tǒng)作為一個(gè)工作平臺(tái)來設(shè)計(jì)，用戶重點(diǎn)關(guān)注的內(nèi)容將在一個(gè)統(tǒng)一的工作平臺(tái)上來展示，用戶也可以定制自己需要的內(nèi)容，點(diǎn)擊工作平臺(tái)中相應(yīng)的內(nèi)容，用戶可以看到更詳細(xì)的信息，故此本系統(tǒng)的界面設(shè)計(jì)主要從3個(gè)方面考慮。1、以用戶為中心系統(tǒng)以用戶為中心，以用戶角色來劃分，用戶可以根據(jù)角色來定制自己的專題。界面設(shè)計(jì)時(shí)，主要應(yīng)用了web表單、主從窗格、儀表板等展示方式，使得用戶登錄系統(tǒng)以后，提供給用戶的是“幫助完成一些日常工作的感覺，如收發(fā)郵件、即時(shí)通信、業(yè)務(wù)工作管理等，用戶快速查看、跳轉(zhuǎn)、執(zhí)行、完成，連貫的動(dòng)作，界面簡單直接，讓用戶可以全神貫注于任務(wù)本身”，而不再是以前不管任何用戶，看到的都是一樣的系統(tǒng)，做任何工作需要到系統(tǒng)中去搜尋自己需要的功能。用戶定制，不止是當(dāng)前系統(tǒng)的系統(tǒng)或功能定制，也可以是已有系統(tǒng)的功能模塊和規(guī)劃建設(shè)的系統(tǒng)功能定制，充分體現(xiàn)了信息系統(tǒng)平臺(tái)整合的思想。系統(tǒng)通過強(qiáng)大的數(shù)據(jù)挖掘技術(shù)，自動(dòng)統(tǒng)計(jì)分析用戶活動(dòng)軌跡，將用戶訪問最多的功能模塊，自動(dòng)在系統(tǒng)主界面上統(tǒng)計(jì)出來，便于用戶應(yīng)用。工作臺(tái)界面設(shè)計(jì)圖2、APP應(yīng)用設(shè)計(jì)隨著計(jì)算機(jī)信息技術(shù)迅速的發(fā)展和移動(dòng)APP應(yīng)用普及，我們?cè)谙到y(tǒng)界面設(shè)計(jì)時(shí)，充分應(yīng)用現(xiàn)代人的思維模式，突破以前信息化應(yīng)用系統(tǒng)只關(guān)注功能，弱化信息展示方式的傳統(tǒng)思維，將界面展示重點(diǎn)放在了信息展示方式上，以工作平臺(tái)、導(dǎo)航條、標(biāo)簽條、工具條和狀態(tài)條的方式，將各個(gè)子系統(tǒng)劃分開來，使整個(gè)界面看起來簡約清晰。另外，系統(tǒng)也改變了傳統(tǒng)的功能菜單展示效果，不再是以前一層一層的樹狀功能菜單，功能菜單埋的很深，不容易被用戶找到的情景，而是將用戶最為關(guān)注的信息，以圖標(biāo)或表格等直觀的方式在系統(tǒng)界面上展示出來，使整個(gè)界面效果看起來簡約又清晰。當(dāng)然，我們還提供傳統(tǒng)風(fēng)格的界面設(shè)計(jì)，可以根據(jù)用戶的需要進(jìn)行更換。APP應(yīng)用界面設(shè)計(jì)圖3、三端統(tǒng)一基于APP應(yīng)用設(shè)計(jì)風(fēng)格和以用戶為中心的設(shè)計(jì)思想，系統(tǒng)可以實(shí)現(xiàn)PC端、手機(jī)端、微信端的統(tǒng)一，使得用戶不管用什么介質(zhì)登錄我們的系統(tǒng)，都能看到同樣的風(fēng)格、同樣的信息。按照上述設(shè)計(jì)思想，我們將青海省河長制湖長制綜合管理信息平臺(tái)等功能模塊設(shè)計(jì)在同一個(gè)工作平臺(tái)上，用戶只要點(diǎn)擊自己需要的內(nèi)容，就能看到更加詳細(xì)的內(nèi)容，保證了界面設(shè)計(jì)友好、美觀，同時(shí)又具有易理解性、易學(xué)習(xí)性和易操作性等特點(diǎn)。系統(tǒng)運(yùn)行環(huán)境對(duì)系統(tǒng)性能的保證基于J2EE平臺(tái)開發(fā)的青海省河長制湖長制綜合管理信息平臺(tái)，支持MicrosoftWindowsServer2008以上操作系統(tǒng)，支持MySOL數(shù)據(jù)庫和ArcGIS平臺(tái)等基礎(chǔ)運(yùn)行環(huán)境，系統(tǒng)建成以后在WindowsXP/Windows7系統(tǒng)IE8.0～10.0及以上版本瀏覽器的PC終端上，都能實(shí)現(xiàn)軟件功能操作。系統(tǒng)運(yùn)行時(shí)間對(duì)系統(tǒng)性能的保證系統(tǒng)開發(fā)完成后將由專門的測試團(tuán)隊(duì)和第三方測試機(jī)構(gòu)對(duì)系統(tǒng)進(jìn)行整體測試，尤為關(guān)注系統(tǒng)長時(shí)間運(yùn)行后的穩(wěn)定性和大并發(fā)情況下的宕機(jī)情況，針對(duì)青海省河長制湖長制綜合管理信息平臺(tái)項(xiàng)目，我們還將采用上述方式進(jìn)行測試和檢測，并結(jié)合實(shí)際運(yùn)行環(huán)境進(jìn)行測試驗(yàn)證，保證系統(tǒng)提供7*24小時(shí)的連續(xù)運(yùn)行。系統(tǒng)可擴(kuò)展性對(duì)系統(tǒng)性能的保證青海省河長制湖長制綜合管理信息平臺(tái)的可擴(kuò)展性，主要表現(xiàn)在以下幾個(gè)方面：1）系統(tǒng)設(shè)計(jì)的可擴(kuò)展系統(tǒng)采用全模塊化設(shè)計(jì)，引用標(biāo)準(zhǔn)的接口，符合水利部等相關(guān)技術(shù)規(guī)范和要求，能夠集成和擴(kuò)展水利數(shù)據(jù)中心的業(yè)務(wù)功能，實(shí)現(xiàn)水資源、水文、氣象部門之間的數(shù)據(jù)交換與共享；同時(shí)采用智能化設(shè)計(jì)，軟件內(nèi)部功能以及應(yīng)用均可擴(kuò)展。2）移動(dòng)應(yīng)用的可擴(kuò)展我公司提供的業(yè)務(wù)應(yīng)用系統(tǒng)在設(shè)計(jì)時(shí)就為基于智能手機(jī)的河長制移動(dòng)巡查系統(tǒng)預(yù)留了接口，能夠很方便地接入，現(xiàn)已成熟運(yùn)用于多個(gè)項(xiàng)目。3）系統(tǒng)開發(fā)的可擴(kuò)展系統(tǒng)基于青海省水利數(shù)據(jù)中心研發(fā)思想，通過應(yīng)用支撐平臺(tái)實(shí)現(xiàn)對(duì)業(yè)務(wù)應(yīng)用的統(tǒng)一管理、數(shù)據(jù)庫的統(tǒng)一建設(shè)、應(yīng)用服務(wù)的標(biāo)準(zhǔn)制定，包括命名約定、規(guī)范或協(xié)議、數(shù)據(jù)庫、應(yīng)用系統(tǒng)模塊名稱、接口名稱、系統(tǒng)服務(wù)名稱及輸入輸出參數(shù)等的統(tǒng)一管理標(biāo)準(zhǔn)體系，為系統(tǒng)和數(shù)據(jù)維護(hù)、查詢、監(jiān)控提供支持，也為新功能或系統(tǒng)的開發(fā)提供更大的擴(kuò)展空間。其他性能保證措施1、開放性支持多種硬件平臺(tái)，采用通用軟件開發(fā)平臺(tái)進(jìn)行設(shè)計(jì)編碼，具備良好的可移植性，支持與其它系統(tǒng)的數(shù)據(jù)交換和共享，支持與其它商品軟件的數(shù)據(jù)交換。2、安全性系統(tǒng)都是采用實(shí)名認(rèn)證的方式，通過統(tǒng)一的用戶認(rèn)證、授權(quán)和訪問控制，支持?jǐn)?shù)據(jù)庫存儲(chǔ)加密，數(shù)據(jù)交換的信息包加密，數(shù)據(jù)傳輸通道加密，發(fā)生安全事件時(shí)，以事件觸發(fā)的方式通知系統(tǒng)管理員處理。3、可靠性軟件可靠性設(shè)計(jì)通過采用相應(yīng)的技術(shù)和工具來減少錯(cuò)誤的發(fā)生，從而保證系統(tǒng)數(shù)據(jù)維護(hù)、查詢、分析、計(jì)算的正確性和準(zhǔn)確性。系統(tǒng)可靠性設(shè)計(jì)將主要采用以下三種方法。（1）軟件可靠性分配。軟件可靠性分配是將需求分析中形成的可靠性指標(biāo)分配到各個(gè)軟件部件，是軟件可靠性工程設(shè)計(jì)的基礎(chǔ)，是在充分考慮軟件及其開發(fā)過程的特征并繼承和發(fā)展可靠性工程已有成果的基礎(chǔ)上發(fā)展起來的。目前，主要有快速分配法，以及基于重要度、運(yùn)行時(shí)間和復(fù)雜度分配等方法，而后者是普遍使用的方法。（2）軟件重用設(shè)計(jì)。重用設(shè)計(jì)是在軟件設(shè)計(jì)過程中對(duì)現(xiàn)有成果進(jìn)行充分再利用的活動(dòng)，是提高軟件生產(chǎn)率、降低開發(fā)成本和提高軟件可靠性的最有效途徑之一。特別在面向?qū)ο蟪绦蛟O(shè)計(jì)方法獲得廣泛應(yīng)用后，軟件重用日益受到人們的重視，并逐漸成為可靠軟件設(shè)計(jì)的重要方法。（3）軟件形式化設(shè)計(jì)。要獲得較高的軟件故障獨(dú)立性往往很困難最佳的解決辦法是采用形式化的程序設(shè)計(jì)、編程系統(tǒng)及驗(yàn)證方法。使用以數(shù)學(xué)為基礎(chǔ)的描述是解決軟件設(shè)計(jì)的精確性和正確性的最好辦法。為了使軟件設(shè)計(jì)的每個(gè)階段都能得到有效的測試和驗(yàn)證，最高一級(jí)的技術(shù)要求（即軟件需求分析）必須采用形式化的分析、說明和表達(dá)。4、標(biāo)準(zhǔn)化各項(xiàng)軟件開發(fā)工具