• <blockquote id="fficu"><optgroup id="fficu"></optgroup></blockquote>
    

    <table id="fficu"></table>
    <sup id="fficu"></sup>
    

    <output id="fficu"></output>
      2. 
    
      
    
      
                                    20240703
                            
      
            關(guān)注中國自動(dòng)化產(chǎn)業(yè)發(fā)展的先行者！
            
      
                
				
                
                
                
            
      
        
      
    
      

      

    
      
    
      
        
        
        
        
       
					
      
				
      
					
      
												
      
							工業(yè)智能邊緣計算2024年會(huì )
						
      
												
      
							2024
						
      
												
      
							2024中國自動(dòng)化產(chǎn)業(yè)年會(huì )
						
      
												
      
							2023年工業(yè)安全大會(huì )
						
      
												
      
							OICT公益講堂
						
      
						
					
      
				
      
				
      
			
      
		
    
      

      

    
      
    
    

      


      
        
      
            
            當前位置：首頁(yè) >> 案例 >> 案例首頁(yè)
        
      
        
      
            
      案例頻道
      
        
      
		
      
			
      
				
      Kaputt在核安全級軟件單元測試上的應用研究
      
				
      
					
				
      
				
                
				
				
      
                    
      北京廣利核系統工程有限公司 董玲玲 曹宗生 李旗 劉元
      摘要：在核安全級軟件的測試中，單元測試是必不可少的測試手段之一。目前，部分核安全級軟件采用函數式編程語(yǔ)言OCaml開(kāi)發(fā)，但針對該語(yǔ)言開(kāi)發(fā)的核安全級軟件進(jìn)行單元測試，尚缺乏具體的執行標準，通過(guò)確認測試來(lái)補充。本文提出采用第三方測試工具Kaputt對OCaml開(kāi)發(fā)的核安全軟件進(jìn)行單元測試的方法，介紹Kaputt的測試模式、測試執行過(guò)程，及測試后分析關(guān)鍵字的覆蓋率，以判斷測試是否完備。該方法已在自主化核安全級軟件測試中進(jìn)行實(shí)踐，取得良好的效果。
      關(guān)鍵詞：函數式編程；OCaml；Kaputt；單元測試
      在線(xiàn)預覽：Kaputt在核安全級軟件單元測試上的應用研究
      摘自《自動(dòng)化博覽》2017年5月刊
      
				
      
			
      
			
      
                                    
      熱點(diǎn)新聞
      
                    
                
                                    
      推薦產(chǎn)品
      
                    
                			
      
		
      

        


	
      

    









    



      
    
    x
    
    
      


      • 在線(xiàn)反饋
      

      

      


      1.我有以下需求：
      

      
    
        
            
      
            
      
            
      
                  
          		

      

      2.詳細的需求：
      

      

      
    姓名:
    

      

      
    單位:
    

      

      
    電話(huà):
    

      

      
    郵件:
    

      

      
    

      
      

      

      

      

      

      

      




欧美精品欧美人与动人物牲交_日韩乱码人妻无码中文_国产私拍大尺度在线视频_亚洲男人综合久久综合天

    3. <blockquote id="fficu"><optgroup id="fficu"></optgroup></blockquote>
      

      <table id="fficu"></table>
      <sup id="fficu"></sup>
      

      <output id="fficu"></output>
        2.