计算机系统应用
計算機繫統應用
계산궤계통응용
APPLICATIONS OF THE COMPUTER SYSTEMS
2012年
5期
77-81
,共5页
形式化描述%测试序列生成%状态转换图%B 方法%效用谓词
形式化描述%測試序列生成%狀態轉換圖%B 方法%效用謂詞
형식화묘술%측시서렬생성%상태전환도%B 방법%효용위사
基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提供了最原始可靠的依据.通过 B 抽象机操作的规范型,依据测试理论,可以将原操作等价于多个效用谓词(effect predication)的形式.按照路径覆盖得到状态转换图,并对状态图做了确定性处理;运用基于状态图的测试准则,生成有效的测试序列,提高测试的有效性和效率
基于嚴格數學理論的軟件形式化規格說明,經過逐層精化,不僅可以讓軟件開髮過程更加有效精準,而且為測試用例測試序列的自動生成提供瞭最原始可靠的依據.通過 B 抽象機操作的規範型,依據測試理論,可以將原操作等價于多箇效用謂詞(effect predication)的形式.按照路徑覆蓋得到狀態轉換圖,併對狀態圖做瞭確定性處理;運用基于狀態圖的測試準則,生成有效的測試序列,提高測試的有效性和效率
기우엄격수학이론적연건형식화규격설명,경과축층정화,불부가이양연건개발과정경가유효정준,이차위측시용례측시서렬적자동생성제공료최원시가고적의거.통과 B 추상궤조작적규범형,의거측시이론,가이장원조작등개우다개효용위사(effect predication)적형식.안조로경복개득도상태전환도,병대상태도주료학정성처리;운용기우상태도적측시준칙,생성유효적측시서렬,제고측시적유효성화효솔