پایان نامه ارزیابی قابلیت اطمینان معماری خط تولید نرم افزار

فهرست و منابع پایان نامه ارزیابی قابلیت اطمینان معماری خط تولید نرم افزار

فهرست:

1  فصل اول: روش تحقیق ..........................................................................................................

1-1     مقدمه        ........................................................................................................................................................................................ 2

1-2    تعریف مسئله  ........................................................................................................................................................................................ 5

1-3    محدوده تحقیق ....................................................................................................................................................................................... 7

1-4    ساختار پایان نامه .................................................................................................................................................................................... 7 فصل دوم: مروری بر ادبیات موضوع ..................................................................................... 9

2-1    معماری نرم افزار ..................................................................................................................................................................................... 10

2-2   ارزیابی معماری ..................................................................................................................................................................................... 14

2-3   خط تولید نرم افزار ............................................................................................................................................................................... 21

2-4   معماری خط تولید ................................................................................................................................................................................ 23

2-5   جمع بندی  ..................................................................................................................................................................................... 29 فصل سوم: مدل سازی معماری با دید قابلیت اطمینان ..................................................... 30

3- 1 مدل سازی مولفه ها .............................................................................................................................................................................. 31

3- 2 مدل سازی رابط ها .............................................................................................................................................................................. 38

3- 3  مدل سازی سبک ها ........................................................................................................................................................................... 52

3- 4 جمع بندی  ..................................................................................................................................................................................... 55 فصل چهارم: رویکرد پیشنهادی در ارزیابی معماری خط تولید ....................................... 56

4-1    مبانی رویکرد پیشنهادی ..................................................................................................................................................................... 58

4-2   ساخت شبکه بیزین .............................................................................................................................................................................. 61

4-3   بازنمایی عددی شبکه بیزین ............................................................................................................................................................... 65

4-4   ارزیابی مجموعه های تغییر و معماری خط تولید ................................................................................................................................. 70

4-5   جمع بندی  ...................................................................................................................................................................................... 71 فصل پنجم: مطالعه موردی ................................................................................................. 72

5-1    مطالعه موردی: سیستم تصمیم گیری در محیط موبایل ...................................................................................................................... 73

5-2   تحلیل و مقایسه .................................................................................................................................................................................. 83 فصل ششم: نتیجه گیری و کارهای آینده ......................................................................... 86

6-1    جمعبندی و نتیجه گیری ...................................................................................................................................................................... 87

6-2   کارهای آینده  ..................................................................................................................................................................................... 89 منابع .................................................................................................................................... 91

 

             

 

منبع:

 

Gomaa, H., Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. s.l. : Addison Wesley, 2004.

Hendrickson, S. A. and van der Hoek, A., Modeling Product Line Architectures through Change Sets and Relationships. In Proceedings of the 29th international Conference on Software Engineering. International Conference on Software Engineering. IEEE Computer Society, Washington, DC, pp. 189-19, 2007.

Shooman, M. L., Structural models for software reliability prediction. In Proceedings of the 2nd international Conference on Software Engineering , San Francisco, California, United States, pp. 13 - 15, 1976.

Runeson, P. and Regnell, B.,  Derivation of an integrated operational profile and use case model: The Ninth International Symposium on Software Reliability Engineering, IEEE Computer Society, Washington, DC, pp.70, 1998.

Rome Labs, Methodology for Software Reliability Prediction. McCall, J., et al. Technical Report. RADC-TR-87-171, 1987.

Goseva-Popstojanova, K., and Trivedi, K.S., Architecture-based approach to reliability assessment of software systems: Perform. Evaluat, 2001.

Roshandel, R.,  A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level. USC, PhD Thesis, 2006.

Eeles,   P.,        What    is          a          software           architecture?, Available         at: http://www.ibm.com/developerworks/rational/library/feb06/eeles/index.html, 2006. 

IEEE Standards Description: 1471, Available: http://standards.ieee.org/reading/ieee/std_public/description/se/1471-2000_desc.html, 2000.

Clements, P., Kazman, R., Bass, L., Software Architecture in Practice, Second Edition, Addison Wesley, 2003. 

Eden, A. H., Kazman, R., Architecture, Design, Implementation, 25th International Conference on Software Engineering, pp. 149-159, 2003. 

Garlan, D., and Shaw, M.,  An Introduction to Software Architecture, In Ambriola, V. and Tortora, G., eds. Advances in Software Engineering and Knowledge Engineering, Vol. 2, pp. 139, 1993. 

Allen R., HLA: A Standards Effort as Architectural Style, Proc. of the 2nd Int'l Software Architecture Workshop (ISAW-2), pp. 130-133, 1996. 

Perry, D. E., and Wolf, A. L., Foundations for the Study of Software Architecture, ACM SIGSOFT Software Engineering Notes, Vol. 17, No. 4, pp. 40-52, 1992. 

Buschmann, F., Rohnert, H., Schmidt, D.M.S., Pattern Oriented Software Architecture: A System of Patterns, John Wiley & Sons, 1996. 

Vibhu S., Kishor S., Quantifying software performance, reliability and security: An architecturebased approach, Elsevier, J. Syst. Softw, pp. 493-509, 2006.

System Analysis Reference Reliability, Availability and Optimization, Reliasoft publishing 2003.  [18] Laprie,  J. C., and Kanoun K., Handbook of Software Reliability Engineering, M. R. Lyu, Editor, chapter “Software Reliability and System Reliability”, New York, NY, 1996. 

Swapna, S., Gokhale, S., Analytical Models for Architecture-based Software Reliability Prediction: A Unification Framework. IEEE Transactions on Reliability, pp. 578 – 590, 2006.

Gokhale, S., and Trivedi, K. S., A time/structure based software reliability model. Annals of Software Engineering, pp. 85 – 121, 1999. 

Ou Y. and Dugan J. B., Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Trans. on Reliability, pp. 220 – 230, 2003. 

Cheung, R.C., A user-oriented software reliability model. IEEE Transactions on Software Engineering, pp. 118-125, 1980.

Wang, W., Mei-Hwa, D.,  Architecture-based software reliability modeling , Elsevier, pp. 141, 2005. 

Wang, W., Pan, D., Chen, M., Hetrogrnouse Software Reliability Modeling, 13th international Symposium on software Reliability Engineering, IEEE, pp. 41, 2002.

Rasmussen, J.L.,  and Singh, M., Designing a Security System by Means of Coloured Petri Nets. In Proc. ICATPN, Springer- Verlag, 1996. 

Hadipour Sanati, H., an Executable model of Softtware Architecture, Thesis, Shahid Beheshti University, 2005. 

Jensen, K.” Coloured Petri Nets. Basic concepts, analysis methods and practical use. Analysis Methods,”. Springer, Berlin, pp. 145-153, 1994. 

Huang, C., Liang, W. Object-oriented development of the embedded system based on Petri-nets, Computer Standards & Interfaces on Elsevier, pp. 187-203, 2003. 

http://www.daimi.au.dk/CPNTools/, CPN Tools.

Jensen, K., Michael, L., Wells, L., Colored Petri Nets and CPN Tools for modeling and validation of concurrent systems, Springer, pp. 213 – 254, 2007. 

Roshandel, R., Medvidovic, N., Modeling Multiple Aspects of Software Components, in Proceeding of Workshop on Specification and Verification of Component-Based Systems, ESECFSE03, Helsinki, Finland, pp. 54-62, 2003. 

Roshandel, R., Medvidovic, N., Multi-View Software Component Modeling for Dependability, in Architecting Dependable Systems II, Lecture Notes in Computer Science. Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky, (Editors.), pp. 286-306, 2004. 

Liskov, B.H., Wing, J., A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems, pp. 1811 – 1841, 1994. 

Yellin, D.M., Strom, R.E., Protocol Specifications and Component Adaptors, ACM Transactions on Programming Languages and Systems, Vol. 19, No. 2, pp. 292 – 333, 1997. 

Nikunj, R., Medvidovic, N., Phadke, S., Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering, Limerick, Ireland, pp. 178-187, 2000. 

Allen, R., and Garlan, D., Formalizing Architectural Connection. Proceedings of the International Conference on Software Engineering, Sorrento, Italy, pp. 71-80, 1994. 

Bershad, B. N., Anderson, T. E., Lazowska E. D.,  and Levy H. M., Lightweight Remote Procedure Call. ACM Transactions on Computer Systems, 8[1], 1990. 

Birrell, A. D., and Nelson, B. J., Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, pp. 345 – 365, 1984. 

Allen, R.  and Garlan, D. A, Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, pp. 213 – 249, 1997. 

Oreizy, P., and Medvidovic, N., and Taylor, R.N, Runtime software adaptation: framework, approaches, and styles" , ICSE Companion : Companion of the 30th international conference on Software engineering, isbn:978-1-60558-079-1, pp. 899-91, 2008. 

Ren, J., Taylor, R., Dourish, P., Redmiles, D., Towards an Architectural Treatment of Software Security: A Connector-Centric Approach. In Proceedings of the Workshop on Software Engineering for Secure Systems, International Conference on Software Engineering, pp. 1-7, 2005. 

Ducasse, S., Richner, T., Executable connectors: towards reusable design elements, Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 483-499, 1997. 

Hoare, C. A. R., Communicating Sequential Processes. Prentice Hall, 1985. 

http://www.omg.org/docs/ad/97-08-05.pdf., Rational Partners. UML Notation Guide. Object Management Group document ad/97-08-05. Available from 1997. 

Aldrich, J., Chambers, C., Notkin, D., ArchJava: connecting software architecture to implementation, Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida, pp. 19-25, 2002. 

Roshandel, R., and Medvidovic, N., Coupling Static and Dynamic Semantics in an Architecture Description Language, in Proc. Working Conf. Complex and Dynamic Systems Architectures, Brisbane, Australia, pp. 123-133, 2001. 

Dias, M., Vieira, M., Software Architecture Analysis based on Statechart Semantics. International Workshop on Software Specification and Design, IWSSD-10, San Diego, CA, USA, 2000. 

Abowd, G, Allen, R., and Garlan, D., Using style to give meaning to software architecture. In Proceeding of SIGSOFT: Foundations of Software Engineering, Software Engineering Notes 118(3), pages 9–20. ACM Press, 1993. 

Asikainen, T., Soininen, T., et al. A Koala-Based Approach for Modeling and Deploying Configurable Software Product Families. 5th International Workshop on Product-Family Engineering. pp. 225-249, 2003. 

Ommering, R.v., Linden, F.v.d., et al. The Koala Component Model for Consumer Electronics Software. IEEE Computer. 33(3), pp. 78-85, 2000. 

Sinnema, M., Deelstra, S., et al. COVAMOF: A Framework for Modeling Variability in Software Product Families. 3rd International Software Product Lines Conference. pp. 197-213, 2004. 

Svahnberg, M., van Gurp, J., et al. A Taxonomy of Variability Realization Techniques. Software Practice and Experience. 35(8), pp.  705-754, 2005. 

Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L., Early prediction of software component reliability, Proceedings of the 30th international conference on Software engineering, Leipzig, Germany, 111-120, 2008. 

West, M., and Harrison, P.J., Bayesian Forecasting and Dynamic Models, 2nd. Springer-Verlag, New York, 1997. 

Murphy, K., A Brief Introduction to Graphical Models and Bayesian Networks,

http://www.cs.ubc.ca/~murphyk/Bayes/bnintro.html

Heckerman, D., Jordan, M., A Tutorial on Learning with Bayesian Networks. In Learning in Graphical Models, , ed. MIT Press, Cambridge, MA, 1999. 

Dias, M., Vieira, M., Richardson, D. J., Analyzing Software architecture with Argus I. ICSE2000 - Formal Research Demo, pp. 758 – 761, 2000. 

Medvidovic, N., and Taylor, R., A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. Software Engineering, 26[1], pp. 70 – 93, 2000. 

Wagner, F., Schmuki, R., Wagner T., Wolstenholme, P., Modeling Software with Finite State Machines: A Practical Approach, by Taylor & Francis Group, LLC, 2006. 

Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S., Feature Oriented Domain Analysis (FODA) Feasibility Study, Technical Report CMU/SEI-90-TR-021, 1990.

Griss, M., Favaro, J., d'Alessandro, M., Integrating Feature Modeling with the RSEB, in: Proceedings of the Fifth International Conference on Software Reuse, pp. 76–85, 1998.

Riebisch, M., Streitferdt, D., Pashov, I., Modeling Variability for Object-Oriented Product Lines, Workshop Reader of Object-Oriented Technology at ECOOP 2003, Springer, Lecture Notes in Computer Science, vol. 3013, pp. 165–178, 2004. 

Czarnecki, K., Helsen, S., Eisenecker, U., Formalizing cardinality-based feature models and their specialization, Software Process Improvement and Practice 10 (1), pp. 7–29, 2005. 

von der Maßen, T., Lichter, H., Modeling Variability by UML Use Case Diagrams, in: Proceedings of the International Workshop on Requirements Engineering for Product Lines 2002, Technical Report ALR-2002-033, 2002. 

Halmans, G., Pohl, K., Communicating the variability of a software product family to customers, Software and Systems Modeling 2 (1), pp. 15–36, 2003. 

Hotz, L., Krebs, T., Wolter, K., Nijhuis, J., Deelstra, S., Sinnema, M., MacGregor, J., Configuration in Industrial Product Families –The ConIPF Methodology, IOS Press, ISBN 158603-641-6, 2006. 

Sinnema, M., Deelstra, S., Nijhuis, J., Bosch, J., COVAMOF: A Framework for Modeling Variability in Software Product Families, in: Proceedings of the Third Software Product Line Conference (SPLC 2004), Springer Verlag Lecture Notes on Computer Science, vol. 3154 (LNCS 3154), pp. 197–213, 2004. 

Beuche, D., Papajewski, H., Variability management with feature models, Science of Computer Programming 53 (3), pp. 333–352, 2004. 

Pure Systems website, available from: http://www.pure-systems.com/ [13] C. Krueger, Variation Management for Software Production Lines, in: Proc. of the 2nd International Software Product Line Conference, volume 2379 of LNCS, San Diego, USA, ACM Press, ISBN 3-540-43985-4, , pp. 37–48, 2002.

Asikainen, T., Soininen, T., Männistö, T., A Koala-Based Approach for Modeling and Deploying Configurable Software Product Families, in: 5th Workshop on Product Family Engineering (PFE-5), Springer Verlag Lecture Notes on Computer Science, vol. 3014 (LNCS 3014), pp. 225– 249, 2004.