面向對象軟件測試方法論之研究

2000年

應用技術

成果簡介

　　本研究為面向對象軟件建立了基于代數規格說明的類級非等價對測試和基于合約規格說明的族級測試的理論模型，構造了相應的兩套算法及策略，進行了相應的三個輔助工具原型的實驗。其理論模型采用了公理化代數方法、重寫邏輯、宏邏輯和有窮狀態轉換圖技術；其實現采用了黑箱與白箱相結合、軟件工程與知識工程（通過邏輯程序設計）相結合的技術。其主要成果發表在軟件工程學世界最高層次期刊ACM TOSEM 十卷一期的一篇54...

相關成果

1. 面向對象軟件測試方法與技術的研究
2. 面向對象軟件并發性的分析與測試方法之研究
3. 面向對象與軟件Agent技術研究
4. 面向對象軟件測試技術的研究
5. 若干類型組合設計存在性理論之研究
6. 面向對象的軟件設計方法的研究
7. 面向對象的分布計算軟件平臺StarBus
8. 面向對象的軟件原型化開發環境
9. 面向對象的分布計算軟件平臺STARBUS
10. 面向對象的乙烯分離系統模擬軟件
12. 面向對象的芳烴裝置分離系統模擬軟件
13. 軟件有效性測試方法研究及其實現
14. 軟件工程中的形式化方法和面向對象技術研究
15. 軟件工程中的形式化方法和面向對象技術
16. 一種具有測試柔性的集成軟件測試方法
17. 一種數據庫依賴軟件單元的測試方法
18. 測試方法研究及應用
19. 面向對象的神經網絡鍋爐優化控制系統軟件
20. 面向對象的建模工具

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

面向對象軟件測試方法論之研究

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功