计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
28期
216-220
,共5页
企业流程%需求验证%软件工程
企業流程%需求驗證%軟件工程
기업류정%수구험증%연건공정
需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动.目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间.该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性.
需求驗證是為瞭確保需求規格說明具有良好特性(完整性、一緻性、無二義性)而對需求規格說明進行的一種審查活動.目前廣汎使用的需求驗證技術存在著兩箇問題:難以處理大型、複雜的需求文檔;審查過程需要相噹長的時間.該文所研究的基于企業流程的需求形式化驗證技術,通過對需求文檔中企業流程各活動之間的邏輯關繫進行驗證,從而髮現其中的不一緻性和二義性.
수구험증시위료학보수구규격설명구유량호특성(완정성、일치성、무이의성)이대수구규격설명진행적일충심사활동.목전엄범사용적수구험증기술존재착량개문제:난이처리대형、복잡적수구문당;심사과정수요상당장적시간.해문소연구적기우기업류정적수구형식화험증기술,통과대수구문당중기업류정각활동지간적라집관계진행험증,종이발현기중적불일치성화이의성.
