计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2007年
5期
1005-1006,1019
,共3页
软件测试%有限自动机%软件规约%完整性%一致性
軟件測試%有限自動機%軟件規約%完整性%一緻性
연건측시%유한자동궤%연건규약%완정성%일치성
面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少.虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不是更高层次上的对面向对象软件规约的测试.提出了一种基于有限自动机的测试框架以测试面向对象软件规约中存在的不完整性和不一致性.该方法有别于公式证明和模型检查,它直接依据可执行的有限自动机来执行测试而不是人工的推导公式证明也不产生大量的状态空间.
麵嚮對象方法已經逐步代替基于過程的方法成為軟件開髮的主流,然而麵嚮對象軟件的測試和維護代價卻併沒有因此而減少.雖然在麵嚮對象軟件測試方麵做瞭很多的研究工作,但是大多數針對麵嚮對象軟件測試的研究都是針對單一類的測試,而不是更高層次上的對麵嚮對象軟件規約的測試.提齣瞭一種基于有限自動機的測試框架以測試麵嚮對象軟件規約中存在的不完整性和不一緻性.該方法有彆于公式證明和模型檢查,它直接依據可執行的有限自動機來執行測試而不是人工的推導公式證明也不產生大量的狀態空間.
면향대상방법이경축보대체기우과정적방법성위연건개발적주류,연이면향대상연건적측시화유호대개각병몰유인차이감소.수연재면향대상연건측시방면주료흔다적연구공작,단시대다수침대면향대상연건측시적연구도시침대단일류적측시,이불시경고층차상적대면향대상연건규약적측시.제출료일충기우유한자동궤적측시광가이측시면향대상연건규약중존재적불완정성화불일치성.해방법유별우공식증명화모형검사,타직접의거가집행적유한자동궤래집행측시이불시인공적추도공식증명야불산생대량적상태공간.
