Using architectural modeling for integration testing

Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05

Volumn 1, Issue , 2005, Pages 330-337

  Reza, Hassan ^a   Grant, Emanuel S ^a  

^a University of North Dakota   (United States)

Author keywords

Architectural description languages (ADLs); Hierarchical predicate transition nets (HPrTNs); Software architecture; Software testing

Indexed keywords

ARCHITECTURAL DESCRIPTION LANGUAGES (ADLS); ARCHITECTURAL MODELING; FORMAL SPECIFICATIONS; HIERARCHICAL PREDICATE TRANSITION NETS (HPRTNS); INTEGRATION TESTING; SEPARATION OF CONCERNS; SOFTWARE DEVELOPMENT; SYSTEM TESTING; TESTING METHODS; WATERFALL MODELS;

ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ENGINEERING RESEARCH; LINGUISTICS; MARINE BIOLOGY; SOFTWARE ARCHITECTURE; STRATEGIC PLANNING;

SOFTWARE TESTING;

EID: 34548117188     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. J. Cordy, and T. Dean. A Syntactic Theory of Software Architecture. IEEE Transactions On Software Eng., vol. 21, no. 4, April 1995.
2. E. Juan, J. Tsai, and T. Murata. Compositional Verification of Concurrent System Using Petri-Net-Based Condensation Rules. ACM Transactions on Programming Languages and Systems, vol. 20, no. 5, Sept. 1998.
3. J. Peterson. Petri Nets. Computing Surveys, vol. 9, no. 3, September 1977.
4. Roger Pressman. Software Engineering: A Practitioner's Approach. McGraw Hill, 2005.
5. th World Computer Congress, Beijing, China, August, 2000.
6. H. Muccini, A. Bertolino, and P. Inverardi. Using Software Architecture for Code Testing, IEEE Transactions on Software Eng. vol. 30, no. 3, March 2004.
7. P. Jorgensen. Software Testing: A Craftsman's Approach. CRC Press, Inc, 1995.
8. H. Reza. A Framework for Specifying Software Architecture Based on Petri Net Pattern, Ph.D Dissertation, Department of Computer Science, North Dakota State University, April 2002.
9. N. Medvidovic, and R. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Eng. 2000.
10. th International Conference on the Application and the Theory of Petri Nets, Osaka, Japan, June 1996.
11. D. Garlan, and M. Shaw. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996.
12. th IEEE International Symposium on Software Reliability Engineering (ISSRE'01), Hong Kong, November 2001.
13. W. Tracz. DSSA (domain-specific software architecture) pedagogical example. Software Eng. Notes, July 1995.
14. A. Egyed, and N. Medvidovic. A Formal Approach to Heterogeneous Software Modeling. LNCS. 1783, FASE, 2000.
15. H. Reza, and E. Grant. A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications. The International Conference on Software Engineering Research and Practice, Las Vegas, June 2004.