计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2005年
12期
3295-3297,3300
,共4页
B方法%形式化方法%弹道计算机%抽象机%不变式
B方法%形式化方法%彈道計算機%抽象機%不變式
B방법%형식화방법%탄도계산궤%추상궤%불변식
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性.在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性.
針對任務關鍵性的武器裝備控製領域,選用B方法來設計通用彈道計算機程序,顯著地提高瞭軟件的質量和可靠性.在開髮過程中,利用抽象機機製對基本彈道計算機進行建模,併通過逐步精化的方法擴展彈道計算機功能,從而有效地控製瞭彈道計算參數之間的複雜關繫,依賴不變式技術形式化地保證瞭軟件運行時的安全性,併使得生成的程序具有良好的重用性和可擴展性.
침대임무관건성적무기장비공제영역,선용B방법래설계통용탄도계산궤정서,현저지제고료연건적질량화가고성.재개발과정중,이용추상궤궤제대기본탄도계산궤진행건모,병통과축보정화적방법확전탄도계산궤공능,종이유효지공제료탄도계산삼수지간적복잡관계,의뢰불변식기술형식화지보증료연건운행시적안전성,병사득생성적정서구유량호적중용성화가확전성.
