 |
|
レビュー - レビューを書くレビューが見つかりませんでした。 目次
他の 17 セクションは表示されていません 多く使われている語句abstract algorithm analyzed array assertions assignment automated tools Automatic branch branch predicate bufpoa classes Cobol complete Conf construct contains correct cost data flow data flow analysis data structures debugging defined described detected digraph directed graph documentation effect elements errors example Figure formal Fortran functional testing gram graph Howden IEEE IEEE Trans implementation incorrect input data input variables inspection iteration logical loop ment method methodology module node operation output paper partition path computations path domain percent phase PL/I possible problem Proc program testing programming language proof requirements segment sequence set of test software bugs software development Software Engineering software quality Software Reliability software system software test specification statement static analysis structured programming subdomains subprogram subroutine symbolic evaluation symbolic execution symbolic testing Table techniques test data selection test predicates test procedure testcase testing strategy theorem tion types validation values verification この書籍への参照Google Scholar の学術資料Software Unit Test Coverage and AdequacyHONG ZHU, PATRICK AV HALL, JOHN HR MAY - 1997 - ACM Computing Surveys Models for Undergraduate Project Courses in Software EngineeringMary Shaw, James E Tomayko Concepts and Criteria to Assess Acceptability of Simulation ...Tuncer I Oren - 1981 - Communications Reverse engineering: Algorithms for program graph productionAniello Cimitile, Ugo de Carlini - 1991 - Software: Practice and Experience ウェブページからの参照Software Testing Techniques Pseudo-Random Behavioral ATPG - VLSI, 1995. Proceedings., Fifth ... Abstract An integrated verification and testing environment 書誌情報
|
