W. T. Tsai, A. Saimi, L. Yu, R. Paul: Scenario-Based Object-Oriented Test Frameworks (Proc. W. T. Tsai, R. Paul, L. Yu, A. Saimi, Z. Cao: Scenario-Based Web Service Testing with Distributed Agents, IEICE Trans. of Minnesota, Minneapolis 2002)Ī. Cockburn: Agile Software Development (Addison Wesley, Reading, MA 2001) Paul: Rapid Verification of Embedded Systems Using Patterns (COMPSAC, IEEE Computer Society Press, Los Alamitos 2003) pp. 466–471į. Zhu: A Requirement Verification Framework for Real-Time Embedded Systems. of IEEE WORDS 2002 (IEEE Computer Society Press, Los Alamitos 2002) pp. 140–151 X. Bai, W. T. Tsai, R. Paul, K. Feng, L. Yu: Scenario-Based Modeling and Its Applications to Object-Oriented Analysis, Design, and Testing, Proc. W. T. Tsai, X. Bai, R. J. Paul , W. Shao, V. Agarwal: End-To-End Integration Testing Design (Proc. of IEEE ISSRE, IEEE Computer Society Press, Los Alamitos 2003) pp. 240–241 ![]() Tsai, C. Fan, R. Paul, L. Yu: Automated Event Tree Analysis Based-on Scenario Specifications (Proc. W. T. Tsai, X. Bai, R. Paul, L. Yu: Scenario-Based Functional Regression Testing (IEEE Proc. ![]() 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology (IEEE Computer Society Press, Los Alamitos 2000) pp. 41–48ĭoD OASD C3I Investment, Acquisition: End-to-End Integration Testing Guidebook (IEEE Computer Society Press, Los Alamitos 2001) W. T. Tsai, V. Agarwal, B. Huang, R. Paul: Augmenting Sequence Constraints in Z and its Application to Testing. W. T. Tsai, Y. Tu, W. Shao, E. Ebner: Testing extensible design patterns in object-oriented frameworks through hierarchical scenario templates, Proc. Minnesota, Minneapolis 1994)ĭ. C. Kung, P. Hsia, J. Gao: Testing Object-Oriented Software (IEEE Computer Society, Los Alamitos, CA 1999) rep., Department of Computer Science and Engineering (Univ. S. Kirani, W. T. Tsai: Specification and Verification of Object-Oriented Programs, tech. R. S. Pressman: Software Engineering: A Practitionerʼs Approach, 5th edn. This process is experimental and the keywords may be updated as the learning algorithm improves. These keywords were added by machine and not by the authors. ![]() E2E T& E technology has been successfully applied to several DoD command-and-control applications as well civilian projects. The technology includes a series of techniques, including automated generation of thin threads from system scenarios automated dependency analysis completeness and consistency analysis based on condition–event pairs in the system specification automated test-case generation based on verification patterns test-case generation based on the topological structure of Boolean expressions automated code generation for system execution as well as for simulation, automated reliability assurance based on the system design structure, dynamic policy specification, analysis, enforcement and simulation automated state-model generation automated sequence-diagram generation model checking on system specifications and model checking based on test-case generation. Currently, E2E T& E technology is entering its fourth generation and being applied to the development and verification of systems in service-oriented architectures (SOA) and web services (WS). Department of Defense (DoD) end-to-end (E2E) testing and evaluation (T& E) technology for high-assurance systems has evolved from specification and analysis of thin threads, through system scenarios, to scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |