摘要： 在“云大物移智”的新技術(shù)時代背景下,RPA(Robotic Process Automation)流程自動化機(jī)器人技術(shù)在各種不同的業(yè)務(wù)場景已經(jīng)開展了嘗試,但在物流專業(yè)中使用的例子還并不多見。RPA是一種基于編程語言的軟件自動化工具,能通過流程設(shè)計達(dá)到自動運行并操作常規(guī)任務(wù),代替機(jī)械式、高重復(fù)、低價值、大批量的日常操作的目的。從目前廣西電網(wǎng)資產(chǎn)管理系統(tǒng)的現(xiàn)狀和供應(yīng)鏈專業(yè)的工作流程來看,依舊存在大量的重復(fù)性、日常性的指標(biāo)監(jiān)控和流程節(jié)點督辦工作,這些基礎(chǔ)工作占用了業(yè)務(wù)人員大量的時間和精力,供應(yīng)鏈專業(yè)管理效率和數(shù)據(jù)質(zhì)量亟待提升。

摘要： 針對鐵路通信專業(yè)綜合視頻監(jiān)控系統(tǒng)設(shè)計過程中存在的難點,設(shè)計了綜合視頻監(jiān)控布點及電纜計算輔助設(shè)計軟件,實現(xiàn)采集點攝像機(jī)類型及數(shù)量自動配置自動化,實現(xiàn)區(qū)間視頻采集點至匯聚點的最佳連接關(guān)系匹配自動化,并完成電力電纜的選型和數(shù)量計算,輸出形成清晰明了的視頻布點表,便于復(fù)核和后續(xù)設(shè)計工作,且可與輔助繪圖軟件對接,節(jié)省大量的人工時,大幅提高綜合視頻監(jiān)控設(shè)計效率和質(zhì)量。

摘要： 本文根據(jù)實際工程需求,結(jié)合軟件自動化的發(fā)展趨勢,通過測試指標(biāo)規(guī)劃、測試臺制作、自動測試程序開發(fā)等形成了一套平臺化的測試流程,設(shè)計和開發(fā)了一套能夠普遍適用于寬帶多通道接收機(jī)產(chǎn)品的自動測試系統(tǒng),并進(jìn)行分布式網(wǎng)絡(luò)化實現(xiàn),極大提高復(fù)雜多通道接收機(jī)類產(chǎn)品的測試效率,為相關(guān)產(chǎn)品的研發(fā)生產(chǎn)和質(zhì)量測試提供了可靠支撐。

摘要： 軟件缺陷是軟件開發(fā)和維護(hù)過程中不可避免的.隨著現(xiàn)代軟件規(guī)模的不斷變大,軟件缺陷的數(shù)量以及修復(fù)難度隨之增加,為企業(yè)帶來了巨大的經(jīng)濟(jì)損失.修復(fù)軟件缺陷,成為了開發(fā)人員維護(hù)軟件質(zhì)量的重大負(fù)擔(dān).軟件缺陷自動修復(fù)技術(shù)有希望將開發(fā)者從繁重的調(diào)試中解脫出來,近年來成為熱門的研究領(lǐng)域之一.搜集了 94篇該領(lǐng)域最新的高水平論文,進(jìn)行了詳細(xì)的分析和總結(jié).基于缺陷修復(fù)技術(shù)在補丁生成階段所使用的技術(shù)手段不同,系統(tǒng)性地將軟件自動修復(fù)技術(shù)分為4大類,分別是基于啟發(fā)式搜索、基于人工模板、基于語義約束和基于統(tǒng)計分析的修復(fù)技術(shù).特殊地,根據(jù)對近幾年最新研究的總結(jié),首次提出了基于統(tǒng)計分析的技術(shù)分類,對已有分類進(jìn)行了補充和完善.隨后,基于對已有研究的分析,總結(jié)了該領(lǐng)域研究所面臨的關(guān)鍵挑戰(zhàn)及對未來研究的啟示.最后,對缺陷修復(fù)領(lǐng)域常用的基準(zhǔn)數(shù)據(jù)集和開源工具進(jìn)行了總結(jié).

摘要： 本書內(nèi)容基本覆蓋了由AI發(fā)展歷史、數(shù)學(xué)基礎(chǔ)知識、機(jī)器學(xué)習(xí)算法等經(jīng)典知識點,以及深度學(xué)習(xí)、深度強(qiáng)化學(xué)習(xí)等較新理論知識組成的AI核心技術(shù)。同時注重理論聯(lián)系實踐,通過多個章節(jié)重點介紹了如何在工程項目中運用AI來解決問題的諸多經(jīng)驗以及相應(yīng)的模型算法。

摘要： 表單是信息交流的載體,也是信息管理軟件中工作流的基本單位。提出一種基于表單的軟件自動化開發(fā)方法:首先對表單進(jìn)行形式化描述;其次映射到關(guān)系數(shù)據(jù)庫表中的一個表和一個視圖;然后映射到軟件的一個主界面和一個增加界面;最后映射出表單的保存、修改、刪除和查詢等代碼。根據(jù)這個映射流程,利用VB6.0和SQLServer2015開發(fā)出CASE工具,使用該工具能自動生成表單的數(shù)據(jù)庫表、界面和代碼。

摘要： 近年來,人工智能行業(yè)正在飛速發(fā)展,各大科技公司都在盡可能地在從中搶奪一塊市場,其中對于軟件自動化測試系統(tǒng)便是其中很重要的一塊,一款成功的軟件最基本的要求就是與市場主流兼容,本文設(shè)計了一種新的檢測系統(tǒng),檢測效率更高,效果更好。

摘要： 時下已經(jīng)步入計算機(jī)技術(shù)以及計算機(jī)軟件工程發(fā)展的全新時期,各種與計算機(jī)軟件工程相關(guān)的研究將會是該行業(yè)未來的主要發(fā)展方向.計算機(jī)軟件工程項目屬于計算機(jī)科學(xué)技術(shù)研究的重要內(nèi)容之一,就行業(yè)的整體發(fā)展趨勢來看自動化管理前景十分可觀,因此技術(shù)人員致力于計算機(jī)軟件工程項目的自動化管理研究十分有必要.本文主要就自動化管理過程當(dāng)中出現(xiàn)的各種問題進(jìn)行總結(jié),然后在上述基礎(chǔ)上就具體的解決策略進(jìn)行深入探究,希望本文能夠為從事計算機(jī)軟件工程自動化管理研究的技術(shù)人員提供一些可借鑒之處.

摘要： 本文中"智能教育"是指在對"人"具有更科學(xué)理解的基礎(chǔ)上,利用信息技術(shù)構(gòu)造智能工具,研究并形成科學(xué)的教育理論和教育方法,指導(dǎo)教師進(jìn)行教學(xué)實踐.本文的工作是:探討并建立了智能教育的概念模型,提出了基于該模型的智能教育領(lǐng)域工程構(gòu)架.智能教育領(lǐng)域工程包括:支持教學(xué)理論和方法研究,支持將教育理論和教育方法自動集成于教育工具,支持教育軟件和資源自動化.同時,本文基于本體理論、語義Web技術(shù)構(gòu)建了面向教師的教育軟件自動化框架,并詳細(xì)地討論了實現(xiàn)技術(shù)和典型的教育應(yīng)用.最后,展望了智能教育的未來.

摘要： 基于Tableau方法的程序綜合方法以定理證明為基礎(chǔ),將從規(guī)格說明得到程序的過程看作是一個定理證明的過程,如果這個證明存在,那么從證明中可抽取出一個滿足該程序規(guī)格說明的程序.本文證明了通過程序綜合方法構(gòu)造得到的程序是完全正確的程序.

摘要： 基于Tableau方法的程序綜合方法以定理證明為基礎(chǔ),將從規(guī)格說明得到程序的過程看作是一個定理證明的過程,如果這個證明存在,那么從證明中可抽取出一個滿足該程序規(guī)格說明的程序.本文證明了通過程序綜合方法構(gòu)造得到的程序是完全正確的程序.

摘要： 基于Tableau方法的程序綜合方法以定理證明為基礎(chǔ),將從規(guī)格說明得到程序的過程看作是一個定理證明的過程,如果這個證明存在,那么從證明中可抽取出一個滿足該程序規(guī)格說明的程序.本文證明了通過程序綜合方法構(gòu)造得到的程序是完全正確的程序.

摘要： 基于Tableau方法的程序綜合方法以定理證明為基礎(chǔ),將從規(guī)格說明得到程序的過程看作是一個定理證明的過程,如果這個證明存在,那么從證明中可抽取出一個滿足該程序規(guī)格說明的程序.本文證明了通過程序綜合方法構(gòu)造得到的程序是完全正確的程序.

摘要： 基于Tableau方法的程序綜合方法以定理證明為基礎(chǔ),將從規(guī)格說明得到程序的過程看作是一個定理證明的過程,如果這個證明存在,那么從證明中可抽取出一個滿足該程序規(guī)格說明的程序.本文證明了通過程序綜合方法構(gòu)造得到的程序是完全正確的程序.

摘要： 基于Tableau方法的程序綜合方法以定理證明為基礎(chǔ),將從規(guī)格說明得到程序的過程看作是一個定理證明的過程,如果這個證明存在,那么從證明中可抽取出一個滿足該程序規(guī)格說明的程序.本文證明了通過程序綜合方法構(gòu)造得到的程序是完全正確的程序.

摘要： 該文在分析軟件自動、自動生成基礎(chǔ)上提出實現(xiàn)信息系統(tǒng)自動生成的三個階段，較為詳細(xì)地論述了自動生成中領(lǐng)域構(gòu)件庫建立和應(yīng)用程序集成的基本方法，其MIS={A,M,W,D,T,C,R}與構(gòu)件庫的自然映射把復(fù)雜的用戶定義過程轉(zhuǎn)換為二維關(guān)系表數(shù)據(jù)處理,不失為解決問題的一種好方法。

摘要： 該文在分析軟件自動、自動生成基礎(chǔ)上提出實現(xiàn)信息系統(tǒng)自動生成的三個階段，較為詳細(xì)地論述了自動生成中領(lǐng)域構(gòu)件庫建立和應(yīng)用程序集成的基本方法，其MIS={A,M,W,D,T,C,R}與構(gòu)件庫的自然映射把復(fù)雜的用戶定義過程轉(zhuǎn)換為二維關(guān)系表數(shù)據(jù)處理,不失為解決問題的一種好方法。

摘要： 該文在分析軟件自動、自動生成基礎(chǔ)上提出實現(xiàn)信息系統(tǒng)自動生成的三個階段，較為詳細(xì)地論述了自動生成中領(lǐng)域構(gòu)件庫建立和應(yīng)用程序集成的基本方法，其MIS={A,M,W,D,T,C,R}與構(gòu)件庫的自然映射把復(fù)雜的用戶定義過程轉(zhuǎn)換為二維關(guān)系表數(shù)據(jù)處理,不失為解決問題的一種好方法。

摘要： 本發(fā)明公開了一種自動化的軟件開發(fā)系統(tǒng)、軟件自動生成方法和設(shè)備，系統(tǒng)包括：自動解耦模塊、軟件建模模塊、流程配置模塊、軟件自動生成模塊和沖突檢查模塊；自動解耦模塊對所述第一頁面間的解耦或關(guān)聯(lián)；軟件建模模塊根據(jù)輸入的需求規(guī)格，設(shè)置軟件對應(yīng)的控件、屬性、邏輯和接口以建立軟件模型；流程配置模塊配置軟件模型的執(zhí)行流程；軟件自動生成模塊自動生成含有可執(zhí)行程序的軟件；所述沖突檢查模塊進(jìn)行沖突檢查和修正。本發(fā)明中需要編程人員手動操作的部分僅包括需求規(guī)格設(shè)計部分和軟件建模部分，其他均由計算機(jī)系統(tǒng)自動執(zhí)行，相較于傳統(tǒng)的軟件開發(fā)模式，本發(fā)明大大提高軟件編程的時間效率并降低了出錯率，能夠適用于快速迭代變更的各類業(yè)務(wù)。

摘要： 本發(fā)明提供了一種軟件測試方法及軟件測試自動化管理系統(tǒng)，涉及測試技術(shù)領(lǐng)域。該方法包括：自動化編譯部署平臺獲取第一源代碼及其對應(yīng)的第一代碼信息；自動化編譯部署平臺對第一源代碼進(jìn)行編譯部署，獲得軟件測試版本；根據(jù)預(yù)置的代碼信息與測試用例之間的對應(yīng)關(guān)系，確定第一代碼信息對應(yīng)的第一測試用例；自動化測試平臺基于第一測試用例對軟件測試版本進(jìn)行功能測試，獲得測試結(jié)果。本發(fā)明實施例中，代碼信息與測試用例之間的對應(yīng)關(guān)系可以事先建立并預(yù)置，從而進(jìn)行測試時，可以根據(jù)該對應(yīng)關(guān)系自動選擇相應(yīng)的測試用例，能夠防止測試新手人為選取測試用例不當(dāng)?shù)那闆r，避免軟件功能存在測試盲區(qū)，提高了功能測試的全面性。

摘要： 公開了用于工業(yè)網(wǎng)絡(luò)的集中和簡化管理的工業(yè)軟件定義網(wǎng)絡(luò)(SDN)架構(gòu)、系統(tǒng)和方法。該工業(yè)SDN架構(gòu)包括：基礎(chǔ)設(shè)施平面，包括物理設(shè)備和虛擬設(shè)備；控制平面，包括用于控制和管理基礎(chǔ)設(shè)施平面中的物理設(shè)備和虛擬設(shè)備的多個控制器，邏輯集中控制器包括網(wǎng)絡(luò)控制器、虛擬化管理控制器和網(wǎng)絡(luò)安全控制器；應(yīng)用平面，包括一個或多個最終用戶工業(yè)應(yīng)用；以及平臺平面，包括軟件服務(wù)和應(yīng)用編程接口(API)的集合，用于定義到應(yīng)用平面到北和控制平面到南的通信接口以在應(yīng)用平面中提供工業(yè)應(yīng)用來可編程地訪問控制平面中的多個控制器中的一個或多個控制器，以用于工業(yè)網(wǎng)絡(luò)的簡化和集中管理。

摘要： 本文中的公開內(nèi)容涉及自動更新自動化乘客輸送裝置的組件中的第一控制器應(yīng)用程序。為了執(zhí)行這個自動更新，禁用所述自動化乘客輸送裝置提供服務(wù)；執(zhí)行從所述第一控制器應(yīng)用程序到第二控制器應(yīng)用程序的切換；以及執(zhí)行所述第二控制器應(yīng)用程序的切換后檢查，其中所述切換后檢查確定當(dāng)所述第二控制器應(yīng)用程序是活動的時所述自動化乘客輸送裝置是否正常工作。當(dāng)所述第二控制器應(yīng)用程序的所述切換后檢查確定所述自動化乘客輸送裝置正常工作時，啟用所述自動化乘客輸送裝置提供所述服務(wù)。

摘要： 本發(fā)明公開了一種自動化的軟件開發(fā)系統(tǒng)、軟件自動生成方法和設(shè)備，系統(tǒng)包括：自動解耦模塊、軟件建模模塊、流程配置模塊、軟件自動生成模塊和沖突檢查模塊；自動解耦模塊對所述第一頁面間的解耦或關(guān)聯(lián)；軟件建模模塊根據(jù)輸入的需求規(guī)格，設(shè)置軟件對應(yīng)的控件、屬性、邏輯和接口以建立軟件模型；流程配置模塊配置軟件模型的執(zhí)行流程；軟件自動生成模塊自動生成含有可執(zhí)行程序的軟件；所述沖突檢查模塊進(jìn)行沖突檢查和修正。本發(fā)明中需要編程人員手動操作的部分僅包括需求規(guī)格設(shè)計部分和軟件建模部分，其他均由計算機(jī)系統(tǒng)自動執(zhí)行，相較于傳統(tǒng)的軟件開發(fā)模式，本發(fā)明大大提高軟件編程的時間效率并降低了出錯率，能夠適用于快速迭代變更的各類業(yè)務(wù)。

摘要： 本發(fā)明公開了一種自動化測試軟件測試軟件功能邏輯的方法，包括以下步驟：編寫測試用例表，以測試用例表作為自動化測試軟件的測試規(guī)則輸入；自動化測試軟件讀取測試用例表，獲取到相關(guān)信息逐項進(jìn)行測試并逐次抓取相關(guān)打印，通過讀取打印中的關(guān)鍵字來記錄執(zhí)行結(jié)果，并記錄指定結(jié)果出現(xiàn)的位置，保留相關(guān)打??；自動化測試軟件對測過結(jié)果進(jìn)行匯總，生成最終的測試報告。本方法是通過測試用例表自動進(jìn)行自動化應(yīng)用功能邏輯測試。自動化測試軟件通過讀取測試用例表，獲取需要測試的功能點及其對應(yīng)的預(yù)期結(jié)果，次數(shù)和需要采集的tag，對軟件進(jìn)行自動化功能邏輯測試，最后生成結(jié)果表。較人工方法節(jié)省了人工成本和時間成本。

摘要： 本發(fā)明公開了一種自動化軟件測試方法及裝置，涉及自動化軟件測試領(lǐng)域，所述方法包括：根據(jù)測試任務(wù)下載包含被測軟件的軟件測試腳本的測試資源；通過批量運行所述測試資源，得到所述被測軟件的測試原始記錄；通過對所述被測軟件的測試原始記錄進(jìn)行分析，獲得所述被測軟件的測試結(jié)果。

摘要： 公開了用于工業(yè)網(wǎng)絡(luò)的集中和簡化管理的工業(yè)軟件定義網(wǎng)絡(luò)(SDN)架構(gòu)、系統(tǒng)和方法。該工業(yè)SDN架構(gòu)包括：基礎(chǔ)設(shè)施平面，包括物理設(shè)備和虛擬設(shè)備；控制平面，包括用于控制和管理基礎(chǔ)設(shè)施平面中的物理設(shè)備和虛擬設(shè)備的多個控制器，邏輯集中控制器包括網(wǎng)絡(luò)控制器、虛擬化管理控制器和網(wǎng)絡(luò)安全控制器；應(yīng)用平面，包括一個或多個最終用戶工業(yè)應(yīng)用；以及平臺平面，包括軟件服務(wù)和應(yīng)用編程接口(API)的集合，用于定義到應(yīng)用平面到北和控制平面到南的通信接口以在應(yīng)用平面中提供工業(yè)應(yīng)用來可編程地訪問控制平面中的多個控制器中的一個或多個控制器，以用于工業(yè)網(wǎng)絡(luò)的簡化和集中管理。

摘要： 本發(fā)明提供了一種軟件測試方法及軟件測試自動化管理系統(tǒng)，涉及測試技術(shù)領(lǐng)域。該方法包括：自動化編譯部署平臺獲取第一源代碼及其對應(yīng)的第一代碼信息；自動化編譯部署平臺對第一源代碼進(jìn)行編譯部署，獲得軟件測試版本；根據(jù)預(yù)置的代碼信息與測試用例之間的對應(yīng)關(guān)系，確定第一代碼信息對應(yīng)的第一測試用例；自動化測試平臺基于第一測試用例對軟件測試版本進(jìn)行功能測試，獲得測試結(jié)果。本發(fā)明實施例中，代碼信息與測試用例之間的對應(yīng)關(guān)系可以事先建立并預(yù)置，從而進(jìn)行測試時，可以根據(jù)該對應(yīng)關(guān)系自動選擇相應(yīng)的測試用例，能夠防止測試新手人為選取測試用例不當(dāng)?shù)那闆r，避免軟件功能存在測試盲區(qū)，提高了功能測試的全面性。

摘要： 本發(fā)明公開了一種基于軟件工程化的嵌入式軟件自動化測試系統(tǒng)，包括需求開發(fā)與管理模塊、設(shè)計開發(fā)與管理模塊以及測試管理模塊，通過軟件工程化將需求開發(fā)與管理、設(shè)計開發(fā)與管理、測試管理集成到一個統(tǒng)一平臺進(jìn)行管理。平臺集成獨立的三方軟件，實現(xiàn)需求、設(shè)計、編碼、測試、執(zhí)行不分離。通過驅(qū)動腳本，實現(xiàn)測試自動化執(zhí)行；同時，該方法實現(xiàn)了文檔的自動生成、自動統(tǒng)計功能，實現(xiàn)了追蹤矩陣的自動建立，能夠快速實現(xiàn)影響域分析，避免遺漏，從而提高軟件質(zhì)量。